Documentation
(⇝) :: Monad m => MachineT m k b -> ProcessT m b c -> MachineT m k c infixl 9 Source #
(⇜) :: Monad m => ProcessT m b c -> MachineT m k b -> MachineT m k c infixr 9 Source #
(↣) :: MonadBaseControl IO m => MachineT m k b -> ProcessT m b c -> MachineT m k c infixl 7 Source #
(↢) :: MonadBaseControl IO m => ProcessT m b c -> MachineT m k b -> MachineT m k c infixr 7 Source #
(⧻) :: 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 Source #
(⫴) :: forall m a b r. MonadBaseControl IO m => ProcessT m a r -> ProcessT m b r -> ProcessT m (Either a b) r infixr 6 Source #