12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
// deno-lint-ignore-file no-explicit-any
import type { Setoid } from "./type_classes.ts";
/******************************************************************************* * Constructors ******************************************************************************/
export const fromEquals = <A>(  equals: (x: A) => (y: A) => boolean,): Setoid<A> => ({  equals: (x) => (y) => x === y || equals(x)(y),});
/******************************************************************************* * Module Instances ******************************************************************************/
export const setoidStrict: Setoid<unknown> = {  equals: (a) => (b) => a === b,};
export const setoidString: Setoid<string> = setoidStrict;
export const setoidNumber: Setoid<number> = setoidStrict;
export const setoidBoolean: Setoid<boolean> = setoidStrict;
export const setoidDate: Setoid<Date> = {  equals: (x) => (y) => x.valueOf() === y.valueOf(),};
/******************************************************************************* * Module Getters ******************************************************************************/
export const getStructSetoid = <O extends Readonly<Record<string, any>>>(  eqs: { [K in keyof O]: Setoid<O[K]> },): Setoid<O> =>  fromEquals((x) =>    (y) => {      for (const k in eqs) {        if (!eqs[k].equals(x[k])(y[k])) {          return false;        }      }      return true;    }  );
export const getTupleSetoid = <T extends ReadonlyArray<Setoid<any>>>(  ...eqs: T): Setoid<{ [K in keyof T]: T[K] extends Setoid<infer A> ? A : never }> =>  fromEquals((x) => (y) => eqs.every((E, i) => E.equals(x[i])(y[i])));