Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- (<||>) :: Monad m => ReacT i1 o1 m a -> ReacT i2 o2 m a -> ReacT (i1, i2) (o1, o2) m a
- refoldT :: forall o1 o2 i1 i2 m a. Monad m => (o1 -> o2) -> (o1 -> i2 -> Maybe i1) -> ReacT i1 o1 m a -> ReacT i2 o2 m a
- refold :: Monad m => (o1 -> o2) -> (o1 -> i2 -> i1) -> ReacT i1 o1 m a -> ReacT i2 o2 m a
- pipeline :: Monad m => ReacT i z m a -> ReacT z o m a -> ReacT i o m a
Documentation
(<||>) :: Monad m => ReacT i1 o1 m a -> ReacT i2 o2 m a -> ReacT (i1, i2) (o1, o2) m a Source #
The parallel operator for combining computations in ReacT that share the same underlying monad and halting types. No guarantees are given to which device's halting message will be seen by a handler.
refoldT :: forall o1 o2 i1 i2 m a. Monad m => (o1 -> o2) -> (o1 -> i2 -> Maybe i1) -> ReacT i1 o1 m a -> ReacT i2 o2 m a Source #
The refoldT operator is a refold where the input-modifying function yields a type in Maybe