Monad.Law
SourceSummary↑
associativity?(monad, fun1, fun2) |
left_identity?(value, construct_fun, fun) |
right_identity?(monad, construct_fun) |
associativity?(monad, fun1, fun2) |
left_identity?(value, construct_fun, fun) |
right_identity?(monad, construct_fun) |