Control.Object.Process

Documentation

newtype Process m a b

An object which is specialized to be a Mealy machine

Constructors

Process

Fields

unProcess :: Object (Request a b) m

Instances

Monad m => Category * (Process m)

Monad m => Arrow (Process m)

Monad m => ArrowChoice (Process m)

Monad m => Strong (Process m)

Monad m => Choice (Process m)

Monad m => Profunctor (Process m)

Functor f => Functor (Process f a)

Applicative f => Applicative (Process f a)

(Applicative m, Fractional o) => Fractional (Process m i o)

(Applicative m, Num o) => Num (Process m i o)

(Applicative f, Monoid b) => Monoid (Process f a b)

_Process :: (Profunctor p, Functor f) => p (Process m a b) (f (Process m a b)) -> p (Object (Request a b) m) (f (Object (Request a b) m))

_Process :: Iso' (Object (Request a b) m) (Process m a b)