Copyright	(C) 2012 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Machine.MooreT

Description

http://en.wikipedia.org/wiki/Moore_machine

Synopsis

newtype MooreT m a b = MooreT {
- runMooreT :: m (b, a -> MooreT m a b)
}
unfoldMooreT :: Functor m => (s -> m (b, a -> s)) -> s -> MooreT m a b
upgrade :: Applicative m => Moore a b -> MooreT m a b
hoist :: Functor n => (forall x. m x -> n x) -> MooreT m a b -> MooreT n a b
couple :: Monad m => MooreT m a b -> MealyT m b a -> m c
firstM :: (Functor m, Monad m) => (a' -> m a) -> MooreT m a b -> MooreT m a' b
secondM :: Monad m => (b -> m b') -> MooreT m a b -> MooreT m a b'

Documentation

newtype MooreT m a b Source #

Moore machine, with applicative effects

Constructors

MooreT

Fields

runMooreT :: m (b, a -> MooreT m a b)

Instances

Instances details

AutomatonM MooreT Source #

Instance details

Defined in Data.Machine.MooreT

Methods

autoT :: forall (m :: Type -> Type) a b. Monad m => MooreT m a b -> ProcessT m a b Source #

(Functor m, Monad m) => Costrong (MooreT m) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

unfirst :: MooreT m (a, d) (b, d) -> MooreT m a b #

unsecond :: MooreT m (d, a) (d, b) -> MooreT m a b #

Functor m => Profunctor (MooreT m) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

dimap :: (a -> b) -> (c -> d) -> MooreT m b c -> MooreT m a d #

lmap :: (a -> b) -> MooreT m b c -> MooreT m a c #

rmap :: (b -> c) -> MooreT m a b -> MooreT m a c #

(#.) :: forall a b c q. Coercible c b => q b c -> MooreT m a b -> MooreT m a c #

(.#) :: forall a b c q. Coercible b a => MooreT m b c -> q a b -> MooreT m a c #

Applicative m => Applicative (MooreT m a) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

pure :: a0 -> MooreT m a a0 #

(<*>) :: MooreT m a (a0 -> b) -> MooreT m a a0 -> MooreT m a b #

liftA2 :: (a0 -> b -> c) -> MooreT m a a0 -> MooreT m a b -> MooreT m a c #

(*>) :: MooreT m a a0 -> MooreT m a b -> MooreT m a b #

(<*) :: MooreT m a a0 -> MooreT m a b -> MooreT m a a0 #

Functor m => Functor (MooreT m a) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

fmap :: (a0 -> b) -> MooreT m a a0 -> MooreT m a b #

(<$) :: a0 -> MooreT m a b -> MooreT m a a0 #

(Distributive m, Applicative m) => Distributive (MooreT m a) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

distribute :: Functor f => f (MooreT m a a0) -> MooreT m a (f a0) #

collect :: Functor f => (a0 -> MooreT m a b) -> f a0 -> MooreT m a (f b) #

distributeM :: Monad m0 => m0 (MooreT m a a0) -> MooreT m a (m0 a0) #

collectM :: Monad m0 => (a0 -> MooreT m a b) -> m0 a0 -> MooreT m a (m0 b) #

Applicative m => Pointed (MooreT m a) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

point :: a0 -> MooreT m a a0 #

(Applicative m, Monoid b) => Monoid (MooreT m a b) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

mempty :: MooreT m a b #

mappend :: MooreT m a b -> MooreT m a b -> MooreT m a b #

mconcat :: [MooreT m a b] -> MooreT m a b #

(Applicative m, Semigroup b) => Semigroup (MooreT m a b) Source #

Instance details

Defined in Data.Machine.MooreT

Methods

(<>) :: MooreT m a b -> MooreT m a b -> MooreT m a b #

sconcat :: NonEmpty (MooreT m a b) -> MooreT m a b #

stimes :: Integral b0 => b0 -> MooreT m a b -> MooreT m a b #

unfoldMooreT :: Functor m => (s -> m (b, a -> s)) -> s -> MooreT m a b Source #

Construct a MooreT machine from a state valuation and transition action

upgrade :: Applicative m => Moore a b -> MooreT m a b Source #

hoist :: Functor n => (forall x. m x -> n x) -> MooreT m a b -> MooreT n a b Source #

couple :: Monad m => MooreT m a b -> MealyT m b a -> m c Source #

firstM :: (Functor m, Monad m) => (a' -> m a) -> MooreT m a b -> MooreT m a' b Source #

secondM :: Monad m => (b -> m b') -> MooreT m a b -> MooreT m a b' Source #