Monad.Law

Source

Summary

associativity?(monad, fun1, fun2)
left_identity?(value, construct_fun, fun)
right_identity?(monad, construct_fun)

Functions

associativity?(monad, fun1, fun2)
Source
left_identity?(value, construct_fun, fun)
Source
right_identity?(monad, construct_fun)
Source