License  BSDstyle (see the file LICENSE) 

Safe Haskell  None 
Language  Haskell2010 
 newtype MealyT m a b = MealyT {}
 arrPure :: (a > b) > MealyT Identity a b
 arrM :: Functor m => (a > m b) > MealyT m a b
 upgrade :: Monad m => Mealy a b > MealyT m a b
 scanMealyT :: Monad m => (a > b > a) > a > MealyT m b a
 scanMealyTM :: Functor m => (a > b > m a) > a > MealyT m b a
 embedMealyT :: Monad m => MealyT m a b > [a] > m [b]
Documentation
Mealy
machine, with monadic effects
AutomatonM MealyT Source #  
Monad m => Arrow (MealyT m) Source #  
Functor m => Profunctor (MealyT m) Source #  Profunctor Example:

Monad m => Category * (MealyT m) Source #  
Monad m => Monad (MealyT m a) Source #  
Functor m => Functor (MealyT m a) Source #  
Applicative m => Applicative (MealyT m a) Source #  
Pointed m => Pointed (MealyT m a) Source #  
scanMealyT :: Monad m => (a > b > a) > a > MealyT m b a Source #
scanMealyTM :: Functor m => (a > b > m a) > a > MealyT m b a Source #
embedMealyT :: Monad m => MealyT m a b > [a] > m [b] Source #
embedMealyT Example:
>>>
embedMealyT (arr (+1)) [1,2,3]
[2,3,4]