Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Documentation
A reversed Mealy machine
forall c. R1 (c -> b) (a -> c -> c) (a -> c) |
Instances
Arrow R1 Source # | |
ArrowChoice R1 Source # | |
Profunctor R1 Source # | |
Costrong R1 Source # | |
Strong R1 Source # | |
Corepresentable R1 Source # | |
Choice R1 Source # | |
Closed R1 Source # | |
Defined in Data.Fold.R1 | |
Scan R1 Source # | |
AsRM1 R1 Source # | |
Cosieve R1 NonEmpty Source # | |
Defined in Data.Fold.R1 | |
Monad (R1 a) Source # | |
Functor (R1 a) Source # | |
MonadFix (R1 a) Source # | |
Defined in Data.Fold.R1 | |
Applicative (R1 a) Source # | |
Distributive (R1 a) Source # | |
Representable (R1 a) Source # | |
MonadZip (R1 a) Source # | |
Apply (R1 a) Source # | |
Pointed (R1 a) Source # | |
Defined in Data.Fold.R1 | |
Category R1 Source # | |
Semigroupoid R1 Source # | |
MonadReader (NonEmpty a) (R1 a) Source # | |
type Corep R1 Source # | |
Defined in Data.Fold.R1 | |
type Rep (R1 a) Source # | |
Defined in Data.Fold.R1 |