Id
cats
InjectKLaws
laws
InjectKTests
discipline
InjectLaws
laws
InjectTests
discipline
InvariantLaws
laws
InvariantMonoidalLaws
laws
InvariantMonoidalTests
discipline
InvariantSemigroupalLaws
laws
InvariantSemigroupalTests
discipline
InvariantTests
discipline
IsEq
laws
IsEqArrow
laws
Isomorphisms
SemigroupalTests
indexTabulateIsId
RepresentableLaws
inject
InjectLaws
InjectTests
injectK
InjectKLaws
InjectKTests
injectKRoundTripInj
InjectKLaws
injectKRoundTripPrj
InjectKLaws
injectRoundTripInj
InjectLaws
injectRoundTripPrj
InjectLaws
invariant
InvariantTests
Isomorphisms
invariantComposition
InvariantLaws
invariantIdentity
InvariantLaws
invariantMonoidal
InvariantMonoidalTests
invariantMonoidalAssociativity
InvariantMonoidalLaws
invariantMonoidalLeftIdentity
InvariantMonoidalLaws
invariantMonoidalRightIdentity
InvariantMonoidalLaws
invariantSemigroupal
InvariantSemigroupalTests
isomorphicFunctor
NonEmptyParallelLaws
isomorphicPure
ParallelLaws