Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Documentation
right folds / a reversed Moore machine
forall r . R (r -> b) (a -> r -> r) r |
Corepresentable R Source | |
Profunctor R Source | |
Choice R Source | |
Closed R Source | |
Costrong R Source | |
Folding R Source | |
Scan R Source | |
AsRM R Source | We can convert from a lazy right fold to a monoidal fold |
AsRM1 R Source | |
Cosieve R [] Source | |
Monad (R a) Source | |
Functor (R a) Source | |
MonadFix (R a) Source | |
Applicative (R a) Source | |
Distributive (R a) Source | |
Representable (R a) Source | |
MonadZip (R a) Source | |
Comonad (R a) Source | |
ComonadApply (R a) Source | |
Apply (R a) Source | |
Bind (R a) Source | |
Extend (R a) Source | |
MonadReader [a] (R a) Source | |
type Corep R = [] Source | |
type Rep (R a) = [a] Source |