Safe Haskell	Safe-Inferred
Language	Haskell98

Control.Arrow.ArrowP

Documentation

newtype ArrowP a p b c Source #

Constructors

ArrowP
Fields strip :: a b c

Instances details

Category a => Category (ArrowP a p :: Type -> Type -> Type) Source #
Instance details 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) Source #
Instance details Defined in Control.Arrow.ArrowP Methods delay :: b -> ArrowP a p b b #
Arrow a => Arrow (ArrowP a p) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Control.Arrow.ArrowP Methods loop :: ArrowP a p (b, d) (c, d) -> ArrowP a p b c #