Safe Haskell | Trustworthy |
---|
Documentation
A Moore Machine
forall r . L (r -> b) (r -> a -> r) r |
Profunctor L | |
Choice L | |
Folding L | |
Scan L | |
AsL' L | We can convert from a lazy left folding to a strict left folding. |
AsL1' L | |
AsRM L | We can convert from a lazy left folding to a right or monoidal fold |
AsRM1 L | |
Monad (L a) | |
Functor (L a) | |
Applicative (L a) | |
MonadZip (L a) | |
Comonad (L a) | |
ComonadApply (L a) | |
Apply (L a) | |
Bind (L a) | |
Extend (L a) |