Data.Machine.Moore · machines-0.7.4

datadata Moore a b

Source#

Moore machines

Constructors

Moore b (a -> Moore a b)

Instances22Closed, Costrong, Profunctor, Corepresentable, Automaton, Cosieve, …

Closed MooreDefined in machines-0.7.4 · Data.Machine.Moore
Costrong MooreDefined in machines-0.7.4 · Data.Machine.Moore
Profunctor MooreDefined in machines-0.7.4 · Data.Machine.Moore
Corepresentable MooreDefined in machines-0.7.4 · Data.Machine.Moore
Automaton MooreDefined in machines-0.7.4 · Data.Machine.Moore
Cosieve Moore []Defined in machines-0.7.4 · Data.Machine.Moore
Monad (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
slow diagonalization
Functor (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
MonadFix (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
Applicative (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
MonadZip (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
Distributive (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
Comonad (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
ComonadApply (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
Representable (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
Copointed (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
Pointed (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
MonadReader [a] (Moore a)Defined in machines-0.7.4 · Data.Machine.Moore
Semigroup b => Semigroup (Moore a b)Defined in machines-0.7.4 · Data.Machine.Moore
Monoid b => Monoid (Moore a b)Defined in machines-0.7.4 · Data.Machine.Moore
type Corep Moore = []Defined in machines-0.7.4 · Data.Machine.Moore
type Rep (Moore a) = [a]Defined in machines-0.7.4 · Data.Machine.Moore

valuelogMoore :: Monoid m => Moore m m

Source#

Accumulate the input as a sequence.

valueunfoldMoore :: (s -> (b, a -> s)) -> s -> Moore a b

Source#

Construct a Moore machine from a state valuation and transition function