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'

Category L1'

Profunctor L1'

Choice L1'

Strong L1'

Semigroupoid L1'

Scan L1'

AsL1' L1'

AsRM1 L1'

Monad (L1' a)

Functor (L1' a)

Applicative (L1' a)

Pointed (L1' a)

Apply (L1' a)