Safe Haskell	None
Language	Haskell98

Control.Arrow.Sequence

Contents

Synopsis

SeqT arrow.

newtype SeqTArrow m a b #

Constructors

SeqTArrow
Fields runSeqTArrow' :: Kleisli (SeqT m) a b

Instances

Monad m => ArrowKleisli m (SeqTArrow m) #
Methods arrM :: (a -> m b) -> SeqTArrow m a b #
Monad m => ArrowListLike Seq (SeqTArrow m) #
Methods embed :: SeqTArrow m (Seq a) a # observe :: SeqTArrow m a b -> SeqTArrow m a (Seq b) #
Monad m => Arrow (SeqTArrow m) #
Methods arr :: (b -> c) -> SeqTArrow m b c # first :: SeqTArrow m b c -> SeqTArrow m (b, d) (c, d) # second :: SeqTArrow m b c -> SeqTArrow m (d, b) (d, c) # (***) :: SeqTArrow m b c -> SeqTArrow m b' c' -> SeqTArrow m (b, b') (c, c') # (&&&) :: SeqTArrow m b c -> SeqTArrow m b c' -> SeqTArrow m b (c, c') #
Monad m => ArrowZero (SeqTArrow m) #
Methods zeroArrow :: SeqTArrow m b c #
Monad m => ArrowPlus (SeqTArrow m) #
Methods (<+>) :: SeqTArrow m b c -> SeqTArrow m b c -> SeqTArrow m b c #
Monad m => ArrowChoice (SeqTArrow m) #
Methods left :: SeqTArrow m b c -> SeqTArrow m (Either b d) (Either c d) # right :: SeqTArrow m b c -> SeqTArrow m (Either d b) (Either d c) # (+++) :: SeqTArrow m b c -> SeqTArrow m b' c' -> SeqTArrow m (Either b b') (Either c c') # (\|\|\|) :: SeqTArrow m b d -> SeqTArrow m c d -> SeqTArrow m (Either b c) d #
Monad m => ArrowApply (SeqTArrow m) #
Methods app :: SeqTArrow m (SeqTArrow m b c, b) c #
Monad m => Category * (SeqTArrow m) #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #

runSeqTArrow :: SeqTArrow m a b -> a -> m (Seq b) #

Seq arrow.