moore -package:clash-prelude

module Data.Machine.Moore
machines
http://en.wikipedia.org/wiki/Moore_machine
data Moore a b
machines Data.Machine.Moore
Moore machines
Moore :: b -> (a -> Moore a b) -> Moore a b
machines Data.Machine.Moore
module Data.Machine.MooreT
machines
http://en.wikipedia.org/wiki/Moore_machine
newtype MooreT m a b
machines Data.Machine.MooreT
Moore machine, with applicative effects
MooreT :: m (b, a -> MooreT m a b) -> MooreT m a b
machines Data.Machine.MooreT
module Data.ByteString.Search.BoyerMoore
stringsearch
Deprecated: Use the new interface instead
logMoore :: Monoid m => Moore m m
machines Data.Machine.Moore
Accumulate the input as a sequence.
unfoldMoore :: (s -> (b, a -> s)) -> s -> Moore a b
machines Data.Machine.Moore
Construct a Moore machine from a state valuation and transition function
runMooreT :: MooreT m a b -> m (b, a -> MooreT m a b)
machines Data.Machine.MooreT
unfoldMooreT :: Functor m => (s -> m (b, a -> s)) -> s -> MooreT m a b
machines Data.Machine.MooreT
Construct a MooreT machine from a state valuation and transition action