Module
Data.Machine.Mealy
- Package
- purescript-machines
- Repository
- purescript-contrib/purescript-machines
#MealyT Source
newtype MealyT f s a
Instances
(Monad f) => Functor (MealyT f s)
(Monad f) => Apply (MealyT f s)
(Monad f) => Applicative (MealyT f s)
(Monad f) => Profunctor (MealyT f)
(Monad f) => Strong (MealyT f)
(Monad f) => Semigroup (MealyT f s a)
(Monad f) => Monoid (MealyT f s a)
(Monad f) => Semigroupoid (MealyT f)
(Monad f) => Category (MealyT f)
(Monad f) => Bind (MealyT f s)
(Monad f) => Monad (MealyT f s)
(Monad f) => Alt (MealyT f s)
(Monad f) => Plus (MealyT f s)
(Monad f) => Alternative (MealyT f s)
(Monad f) => MonadZero (MealyT f s)
(Monad f) => MonadPlus (MealyT f s)
(Monad f, MonadEff eff f) => MonadEff eff (MealyT f s)
(Monad f) => Lazy (MealyT f s a)
#halt Source
halt :: forall a s f. Applicative f => MealyT f s a
#wrapEffect Source
wrapEffect :: forall a s f. Monad f => f a -> MealyT f s a
#interleave Source
interleave :: forall a s f. Monad f => MealyT f s a -> MealyT f s a -> MealyT f s a
- Modules
- Data.
Machine. Mealy