Id

cats

InvariantLaws

laws

InvariantMonoidalLaws

laws

InvariantMonoidalTests

discipline

InvariantTests

discipline

IsEq

laws

IsEqArrow

laws

Isomorphisms

CartesianTests

invariant

Isomorphisms InvariantTests

invariantComposition

InvariantLaws

invariantIdentity

InvariantLaws

invariantMonoidal

InvariantMonoidalTests

invariantMonoidalAssociativity

InvariantMonoidalLaws

invariantMonoidalLeftIdentity

InvariantMonoidalLaws

invariantMonoidalRightIdentity

InvariantMonoidalLaws