Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Documentation
right folds / a reversed Moore machine
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) Source # | |