Control.Arrow.ArrowP

Documentation

newtype ArrowP a p b c

Constructors

ArrowP

Fields

• strip :: a b c

Instances

Category a => Category (ArrowP a p :: Type -> Type -> Type)

Defined in Control.Arrow.ArrowP

Methods

id :: forall (a0 :: k). ArrowP a p a0 a0

(.) :: forall (b :: k) (c :: k) (a0 :: k). ArrowP a p b c -> ArrowP a p a0 b -> ArrowP a p a0 c

ArrowCircuit a => ArrowCircuit (ArrowP a p)

Defined in Control.Arrow.ArrowP

Methods

delay :: b -> ArrowP a p b b

Arrow a => Arrow (ArrowP a p)

Defined in Control.Arrow.ArrowP

Methods

arr :: (b -> c) -> ArrowP a p b c

first :: ArrowP a p b c -> ArrowP a p (b, d) (c, d)

second :: ArrowP a p b c -> ArrowP a p (d, b) (d, c)

(***) :: ArrowP a p b c -> ArrowP a p b' c' -> ArrowP a p (b, b') (c, c')

(&&&) :: ArrowP a p b c -> ArrowP a p b c' -> ArrowP a p b (c, c')

ArrowChoice a => ArrowChoice (ArrowP a p)

Defined in Control.Arrow.ArrowP

Methods

left :: ArrowP a p b c -> ArrowP a p (Either b d) (Either c d)

right :: ArrowP a p b c -> ArrowP a p (Either d b) (Either d c)

(+++) :: ArrowP a p b c -> ArrowP a p b' c' -> ArrowP a p (Either b b') (Either c c')

(|||) :: ArrowP a p b d -> ArrowP a p c d -> ArrowP a p (Either b c) d

ArrowLoop a => ArrowLoop (ArrowP a p)

Defined in Control.Arrow.ArrowP

Methods

loop :: ArrowP a p (b, d) (c, d) -> ArrowP a p b c