ReducibleLaws

laws

ReducibleTests

discipline

raiseErrorAttempt

ApplicativeErrorLaws

recoverConsistentWithRecoverWith

ApplicativeErrorLaws

reduceLeftToConsistentWithReduceMap

ReducibleLaws

reduceRightToConsistentWithReduceMap

ReducibleLaws

reducible

ReducibleTests

rhs

IsEq

rightFoldConsistentWithFoldMap

FoldableLaws

rightIdentity

Isomorphisms