Function buildIsomorphismLaws

buildIsomorphismLaws<A>(
base: BaseIsomorphismGiven<A>,
): <Encodings extends BaseEncoding<A>>(encodings: Encodings) => LawSet[]
Build typeclass laws for isomorphisms that share their A type parameter.
Type Parameters
- A
Parameters
- base: BaseIsomorphismGiven<A>
Returns <Encodings extends BaseEncoding<A>>(encodings: Encodings) => LawSet[]
- Defined in src/laws/typeclass/concrete/Isomorphism.ts:14