License | BSD-style (see the file LICENSE) |
---|---|

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

## Synopsis

- newtype MealyT m a b = MealyT {}
- arrPure :: (a -> b) -> MealyT Identity a b
- arrM :: Functor m => (a -> m b) -> MealyT m a b
- upgrade :: Applicative m => Mealy a b -> MealyT m a b
- scanMealyT :: Applicative m => (a -> b -> a) -> a -> MealyT m b a
- scanMealyTM :: Functor m => (a -> b -> m a) -> a -> MealyT m b a

# Documentation

`Mealy`

machine, with applicative effects

#### Instances

AutomatonM MealyT Source # | |

Monad m => Arrow (MealyT m) Source # | |

Functor m => Profunctor (MealyT m) Source # | |

Defined in Data.Machine.MealyT dimap :: (a -> b) -> (c -> d) -> MealyT m b c -> MealyT m a d # lmap :: (a -> b) -> MealyT m b c -> MealyT m a c # rmap :: (b -> c) -> MealyT m a b -> MealyT m a c # (#.) :: forall a b c q. Coercible c b => q b c -> MealyT m a b -> MealyT m a c # (.#) :: forall a b c q. Coercible b a => MealyT m b c -> q a b -> MealyT m a c # | |

Monad m => Category (MealyT m :: Type -> Type -> Type) Source # | |

Functor m => Functor (MealyT m a) Source # | |

Applicative m => Applicative (MealyT m a) Source # | |

Defined in Data.Machine.MealyT | |

Pointed m => Pointed (MealyT m a) Source # | |

Defined in Data.Machine.MealyT | |

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

(Semigroup b, Monoid b, Applicative m) => Monoid (MealyT m a b) Source # | |

scanMealyT :: Applicative m => (a -> b -> a) -> a -> MealyT m b a Source #

scanMealyTM :: Functor m => (a -> b -> m a) -> a -> MealyT m b a Source #