BifunctorLaws

laws

BifunctorTests

discipline

BimonadLaws

laws

BimonadTests

discipline

bifunctor

BifunctorTests

bifunctorComposition

BifunctorLaws

bifunctorIdentity

BifunctorLaws

bifunctorLeftMapComposition

BifunctorLaws

bifunctorLeftMapIdentity

BifunctorLaws

bifunctorRightMapComposition

BifunctorLaws

bifunctorRightMapIdentity

BifunctorLaws

bimonad

BimonadTests