Control.Arrow.Sequence

SeqT arrow.

newtype SeqTArrow m a b

Constructors

SeqTArrow

Fields

runSeqTArrow' :: Kleisli (SeqT m) a b

Instances

Monad m => ArrowKleisli m (SeqTArrow m)

Monad m => ArrowF 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.

type SeqArrow a b = SeqTArrow Identity a b

runSeqArrow :: SeqArrow a b -> a -> Seq b