Safe Haskell | None |
---|---|
Language | Haskell98 |
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.
Constructors
SeqTArrow | |
Fields
|
Instances
Monad m => ArrowKleisli m (SeqTArrow m) # | |
Monad m => ArrowListLike Seq (SeqTArrow m) # | |
Monad m => Arrow (SeqTArrow m) # | |
Monad m => ArrowZero (SeqTArrow m) # | |
Monad m => ArrowPlus (SeqTArrow m) # | |
Monad m => ArrowChoice (SeqTArrow m) # | |
Monad m => ArrowApply (SeqTArrow m) # | |
Monad m => Category * (SeqTArrow m) # | |
runSeqTArrow :: SeqTArrow m a b -> a -> m (Seq b) #
Seq arrow.
runSeqArrow :: SeqArrow a b -> a -> Seq b #