Safe Haskell | None |
---|
- newtype SeqTArrow m a b = SeqTArrow {
- runSeqTArrow' :: Kleisli (SeqT m) a b
- runSeqTArrow :: SeqTArrow m a b -> a -> m (Seq b)
- type SeqArrow a b = SeqTArrow Identity a b
- runSeqArrow :: SeqArrow a b -> a -> Seq b
SeqT arrow.
newtype SeqTArrow m a b Source
SeqTArrow | |
|
(Arrow (SeqTArrow m), Monad m) => ArrowKleisli m (SeqTArrow m) | |
(Arrow (SeqTArrow m), Monad m) => ArrowF Seq (SeqTArrow m) | |
(Category (SeqTArrow m), Monad m) => Arrow (SeqTArrow m) | |
(Arrow (SeqTArrow m), Monad m) => ArrowZero (SeqTArrow m) | |
(ArrowZero (SeqTArrow m), Monad m) => ArrowPlus (SeqTArrow m) | |
(Arrow (SeqTArrow m), Monad m) => ArrowChoice (SeqTArrow m) | |
(Arrow (SeqTArrow m), Monad m) => ArrowApply (SeqTArrow m) | |
Monad m => Category (SeqTArrow m) |
runSeqTArrow :: SeqTArrow m a b -> a -> m (Seq b)Source
Seq arrow.
runSeqArrow :: SeqArrow a b -> a -> Seq bSource