Data.Machine.Mealy

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, MonadEffect f) => MonadEffect (MealyT f s)
• (Monad f) => Lazy (MealyT f s a)

runMealyT :: forall f s a. MealyT f s a -> s -> f (Step f s a)

hoistMealyT :: forall f g s. Functor g => (f ~> g) -> (MealyT f s) ~> (MealyT g s)

Transforms a Mealy machine running in the context of f into one running in g, given a natural transformation from f to g.

data Step f s a

Constructors

• Emit a (MealyT f s a)
• Halt

type Source f s = MealyT f Unit s

type Sink f a = MealyT f a Unit

source :: forall f s. Monad f => f s -> Source f s

sink :: forall f a. Monad f => (a -> f Unit) -> Sink f a

stepMealy :: forall f s a. Monad f => s -> MealyT f s a -> f (Step f s a)

runMealy :: forall f. Monad f => MealyT f Unit Unit -> f Unit

pureMealy :: forall f s a. Applicative f => (s -> Step f s a) -> MealyT f s a

mealy :: forall f s a. Applicative f => (s -> f (Step f s a)) -> MealyT f s a

halt :: forall f s a. Applicative f => MealyT f s a

take :: forall f s a. Monad f => Int -> MealyT f s a -> MealyT f s a

drop :: forall f s a. Monad f => Int -> MealyT f s a -> MealyT f s a

loop :: forall f s a. Monad f => MealyT f s a -> MealyT f s a

toUnfoldable :: forall f g s a. Unfoldable g => Comonad f => s -> MealyT f s a -> g a

zipWith :: forall f s a b c. Monad f => (a -> b -> c) -> MealyT f s a -> MealyT f s b -> MealyT f s c

scanl :: forall f s a b. Monad f => (b -> a -> b) -> b -> MealyT f s a -> MealyT f s b

collect :: forall f s a. Monad f => MealyT f s a -> MealyT f s (List a)

singleton :: forall f s a. Monad f => a -> MealyT f s a

fromMaybe :: forall f s a. Monad f => Maybe a -> MealyT f s a

fromArray :: forall f s a. Monad f => Array a -> MealyT f s a

msplit :: forall f s a. Monad f => MealyT f s a -> MealyT f s (Maybe (Tuple a (MealyT f s a)))

interleave :: forall f s a. Monad f => MealyT f s a -> MealyT f s a -> MealyT f s a

when :: forall f s a b. Monad f => MealyT f s a -> (a -> MealyT f s b) -> MealyT f s b

ifte :: forall f s a b. Monad f => MealyT f s a -> (a -> MealyT f s b) -> MealyT f s b -> MealyT f s b

wrapEffect :: forall f s a. Monad f => f a -> MealyT f s a