Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Documentation
A strict left fold / strict Moore machine
L' (r -> b) (r -> a -> r) r |
Corepresentable L' Source # | |
Profunctor L' Source # | |
Choice L' Source # | |
Closed L' Source # | |
Costrong L' Source # | |
Folding L' Source # | |
Scan L' Source # | |
AsL' L' Source # | We can convert a lazy fold to itself |
AsL1' L' Source # | |
AsRM L' Source # | We can convert from a strict left folding to a right or monoidal fold |
AsRM1 L' Source # | |
Cosieve L' [] Source # | |
Monad (L' a) Source # | |
Functor (L' a) Source # | |
MonadFix (L' a) Source # | |
Applicative (L' a) Source # | |
Distributive (L' a) Source # | |
Representable (L' a) Source # | |
MonadZip (L' a) Source # | |
Comonad (L' a) Source # | |
ComonadApply (L' a) Source # | |
Apply (L' a) Source # | |
Bind (L' a) Source # | |
Extend (L' a) Source # | |
MonadReader [a] (L' a) Source # | |
type Corep L' Source # | |
type Rep (L' a) Source # | |