Data.Fold.L1'

Documentation

data L1' a b

A strict Mealy Machine

Constructors

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

Instances

Arrow L1'

ArrowChoice L1'

Profunctor L1'

Choice L1'

Strong L1'

Semigroupoid L1'

Scan L1'

AsL1' L1'

AsRM1 L1'

Category * L1'

Monad (L1' a)

Functor (L1' a)

Applicative (L1' a)

Pointed (L1' a)

Apply (L1' a)