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