Data.Machine.MealyT · machines-0.7.4

newtypenewtype MealyT (m :: Type -> Type) a b

Mealy machine, with applicative effects

Instances9AutomatonM, Category, Arrow, Profunctor, Functor, Applicative, …

AutomatonM MealyTDefined in machines-0.7.4 · Data.Machine.MealyT
Monad m => Category (MealyT m)Defined in machines-0.7.4 · Data.Machine.MealyT
Monad m => Arrow (MealyT m)Defined in machines-0.7.4 · Data.Machine.MealyT
Functor m => Profunctor (MealyT m)Defined in machines-0.7.4 · Data.Machine.MealyT
Functor m => Functor (MealyT m a)Defined in machines-0.7.4 · Data.Machine.MealyT
Applicative m => Applicative (MealyT m a)Defined in machines-0.7.4 · Data.Machine.MealyT
Pointed m => Pointed (MealyT m a)Defined in machines-0.7.4 · Data.Machine.MealyT
(Semigroup b, Applicative m) => Semigroup (MealyT m a b)Defined in machines-0.7.4 · Data.Machine.MealyT
(Semigroup b, Monoid b, Applicative m) => Monoid (MealyT m a b)Defined in machines-0.7.4 · Data.Machine.MealyT

valuearrPure :: (a -> b) -> MealyT Identity a b

valuearrM :: Functor m => (a -> m b) -> MealyT m a b

valueupgrade :: Applicative m => Mealy a b -> MealyT m a b

valuescanMealyT :: Applicative m => (a -> b -> a) -> a -> MealyT m b a

valuescanMealyTM :: Functor m => (a -> b -> m a) -> a -> MealyT m b a