All files / src/draw/partF Equivalence.ts

100% Statements 28/28
100% Branches 14/14
100% Functions 3/3
100% Lines 28/28

Press n or j to go to the next uncovered block, b, p or k for the previous block.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 571x 1x 1x 1x                                     1x 1x 20x 530x 530x 530x 530x 530x 530x 530x 530x 530x   1x 1x 209x 209x 202x   1x 1x 142x 142x 138x         1x         1x  
import {Effect, Equivalence as EQ, pipe} from 'effect'
import {getEquivalence as getArrayEquivalence} from 'effect/Array'
import {AlignedEquivalence, HorizontalEquivalence} from '../align.js'
import {
  ColumnF,
  isColumnF,
  isEmptyF,
  isRowF,
  isTextF,
  matchPartF,
  RowF,
  type PartF,
} from './types.js'
 
/**
 * Build an
 * [Equivalence](https://effect-ts.github.io/effect/effect/Equivalence.ts.html)
 * for a {@link PartF} from an equivalence of its underlying type.
 * @category drawing
 * @category instances
 * @function
 */
export const getEquivalence =
  <A>(equalsA: EQ.Equivalence<A>): EQ.Equivalence<PartF<A>> =>
  (self: PartF<A>, that: PartF<A>) =>
    pipe(
      self,
      matchPartF<A, boolean>(
        isEmptyF(that),
        show => isTextF(that) && that.show === show,
        self => isRowF(that) && getRowFEquals(equalsA)(self, that),
        self => isColumnF(that) && getColumnFEquals(equalsA)(self, that),
      ),
    )
 
const getRowFEquals =
  <A>(equalsA: EQ.Equivalence<A>): EQ.Equivalence<RowF<A>> =>
  ({cells: selfCells, ...self}, {cells: thatCells, ...that}) =>
    AlignedEquivalence(self, that) &&
    getArrayEquivalence(equalsA)(selfCells, thatCells)
 
const getColumnFEquals =
  <A>(equalsA: EQ.Equivalence<A>): EQ.Equivalence<ColumnF<A>> =>
  ({cells: selfCells, ...self}, {cells: thatCells, ...that}) =>
    HorizontalEquivalence(self, that) &&
    getArrayEquivalence(equalsA)(selfCells, thatCells)
 
/**
 * @category internal
 */
export const equalsSuccess: Effect.Effect<void, undefined> = Effect.succeed({})
 
/**
 * @category internal
 */
export const equalsFail: Effect.Effect<void, undefined> = Effect.fail(void {})