License	BSD-style (see the file LICENSE)
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Machine.MealyT

Description

http://en.wikipedia.org/wiki/Mealy_machine https://github.com/ivanperez-keera/dunai/blob/develop/src/Data/MonadicStreamFunction/Core.hs#L35 https://hackage.haskell.org/package/auto-0.4.3.0/docs/Control-Auto.html https://hackage.haskell.org/package/varying-0.6.0.0/docs/Control-Varying-Core.html

Synopsis

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

Documentation

newtype MealyT (m :: Type -> Type) a b Source #

Mealy machine, with applicative effects

Constructors

MealyT
Fields runMealyT :: a -> m (b, MealyT m a b)

Instances

Instances details

AutomatonM MealyT Source #
Instance details Defined in Data.Machine.MealyT Methods autoT :: forall (m :: Type -> Type) a b. Monad m => MealyT m a b -> ProcessT m a b Source #
Monad m => Category (MealyT m :: Type -> Type -> Type) Source #
Instance details Defined in Data.Machine.MealyT Methods id :: MealyT m a a # (.) :: MealyT m b c -> MealyT m a b -> MealyT m a c #
Monad m => Arrow (MealyT m) Source #
Instance details Defined in Data.Machine.MealyT Methods arr :: (b -> c) -> MealyT m b c # first :: MealyT m b c -> MealyT m (b, d) (c, d) # second :: MealyT m b c -> MealyT m (d, b) (d, c) # (***) :: MealyT m b c -> MealyT m b' c' -> MealyT m (b, b') (c, c') # (&&&) :: MealyT m b c -> MealyT m b c' -> MealyT m b (c, c') #
Functor m => Profunctor (MealyT m) Source #
Instance details Defined in Data.Machine.MealyT Methods 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 #
Applicative m => Applicative (MealyT m a) Source #
Instance details Defined in Data.Machine.MealyT Methods pure :: a0 -> MealyT m a a0 # (<>) :: MealyT m a (a0 -> b) -> MealyT m a a0 -> MealyT m a b # liftA2 :: (a0 -> b -> c) -> MealyT m a a0 -> MealyT m a b -> MealyT m a c # (>) :: MealyT m a a0 -> MealyT m a b -> MealyT m a b # (<*) :: MealyT m a a0 -> MealyT m a b -> MealyT m a a0 #
Functor m => Functor (MealyT m a) Source #
Instance details Defined in Data.Machine.MealyT Methods fmap :: (a0 -> b) -> MealyT m a a0 -> MealyT m a b # (<$) :: a0 -> MealyT m a b -> MealyT m a a0 #
Pointed m => Pointed (MealyT m a) Source #
Instance details Defined in Data.Machine.MealyT Methods point :: a0 -> MealyT m a a0 #
(Semigroup b, Monoid b, Applicative m) => Monoid (MealyT m a b) Source #
Instance details Defined in Data.Machine.MealyT Methods mempty :: MealyT m a b # mappend :: MealyT m a b -> MealyT m a b -> MealyT m a b # mconcat :: [MealyT m a b] -> MealyT m a b #
(Semigroup b, Applicative m) => Semigroup (MealyT m a b) Source #
Instance details Defined in Data.Machine.MealyT Methods (<>) :: MealyT m a b -> MealyT m a b -> MealyT m a b # sconcat :: NonEmpty (MealyT m a b) -> MealyT m a b # stimes :: Integral b0 => b0 -> MealyT m a b -> MealyT m a b #

arrPure :: (a -> b) -> MealyT Identity a b Source #

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

upgrade :: forall (m :: Type -> Type) a b. Applicative m => Mealy a b -> MealyT m a b Source #

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

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