arrow-list-0.7: List arrows for Haskell.

Safe HaskellNone
LanguageHaskell98

Control.Arrow.Sequence

Contents

Synopsis

SeqT arrow.

newtype SeqTArrow m a b #

Constructors

SeqTArrow 

Fields

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.

type SeqArrow a b = SeqTArrow Identity a b #

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