Empty
*^*->*
emptyIsEmpty
isEmpty
emptyMap
monadPlus
emptyPlusIdentity
isEmpty
enum
ScalazLaw
scalazlaws
enumAll
ScalazLaw
enumMinMaxPred
ScalazLaw
enumMinMaxSucc
ScalazLaw
enumPredN
ScalazLaw
enumPredOrder
ScalazLaw
enumPredSucc
ScalazLaw
enumSuccN
ScalazLaw
enumSuccOrder
ScalazLaw
enumSuccPred
ScalazLaw
equal
ScalazLaw
scalazlaws
equalCommutativity
ScalazLaw
equalNaturality
ScalazLaw
equalReflexive
ScalazLaw
equalTransitive
ScalazLaw
errorsRaised
monadError
errorsStopComputation
monadError
exchange
arrow
extension
arrow