folds-0.7: Beautiful Folding

Safe HaskellTrustworthy
LanguageHaskell98

Data.Fold.L1'

Synopsis

Documentation

data L1' a b Source

A strict Mealy Machine

Constructors

forall c . L1' (c -> b) (c -> a -> c) (a -> c) 

Instances

Arrow L1' Source 
ArrowChoice L1' Source 
Corepresentable L1' Source 
Profunctor L1' Source 
Choice L1' Source 
Closed L1' Source 
Strong L1' Source 
Costrong L1' Source 
Scan L1' Source 
AsL1' L1' Source 
AsRM1 L1' Source 
Category * L1' Source 
Cosieve L1' NonEmpty Source 
Semigroupoid * L1' Source 
Monad (L1' a) Source 
Functor (L1' a) Source 
MonadFix (L1' a) Source 
Applicative (L1' a) Source 
Distributive (L1' a) Source 
Representable (L1' a) Source 
Pointed (L1' a) Source 
Apply (L1' a) Source 
MonadReader (NonEmpty a) (L1' a) Source 
type Corep L1' = NonEmpty Source 
type Rep (L1' a) = NonEmpty a Source