Machine

Documentation

module Data.Machine.Concurrent

(⇝) :: Monad m => MachineT m k b -> ProcessT m b c -> MachineT m k c infixl 9

(⇜) :: Monad m => ProcessT m b c -> MachineT m k b -> MachineT m k c infixr 9

(↣) :: MonadBaseControl IO m => MachineT m k b -> ProcessT m b c -> MachineT m k c infixl 7

(↢) :: MonadBaseControl IO m => ProcessT m b c -> MachineT m k b -> MachineT m k c infixr 7

(⧻) :: forall m a b c d. MonadBaseControl IO m => ProcessT m a b -> ProcessT m c d -> ProcessT m (Either a c) (Either b d) infixr 6

(⫴) :: forall m a b r. MonadBaseControl IO m => ProcessT m a r -> ProcessT m b r -> ProcessT m (Either a b) r infixr 6