monad-laws: Monad Laws
In monad: Operators and Generics for Monads

monad-laws

R Documentation

Monad Laws

Classes implementing bind() are expected to satisfy three monad laws: left identity, right identity, and associativity.

`pure`	The function to wrap a value in the monad.
`h`, `g`	Monadic functions. Functions that return monadic objects.
`a`	Any object.
`m`	A monadic object.

The Haskell monad laws can be translated into R as follows:

Left identity:: pure(a) %>-% h is equal to h(a).
Right identity:: m %>-% pure is equal to m.
Associativity:: (m %>-% g) %>-% h is equal to ⁠m %>-% \(x) g(x) %>-% h⁠.