| Safe Haskell | None |
|---|
Control.Arrow.Sequence
Contents
- 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
Constructors
| SeqTArrow | |
Fields
| |
Instances
| (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