Safe Haskell	None
Language	Haskell2010

Control.Arrow.Profunctor

Documentation

newtype WrappedProfunctor p a b Source #

Constructors

WrappedProfunctor
Fields unwrapProfunctor :: p a b

Instances

Instances details

(Profunctor p, Category p, Strong p) => Arrow (WrappedProfunctor p) Source #
Instance details Defined in Control.Arrow.Profunctor Methods arr :: (b -> c) -> WrappedProfunctor p b c # first :: WrappedProfunctor p b c -> WrappedProfunctor p (b, d) (c, d) # second :: WrappedProfunctor p b c -> WrappedProfunctor p (d, b) (d, c) # (***) :: WrappedProfunctor p b c -> WrappedProfunctor p b' c' -> WrappedProfunctor p (b, b') (c, c') # (&&&) :: WrappedProfunctor p b c -> WrappedProfunctor p b c' -> WrappedProfunctor p b (c, c') #
(ProfunctorZero p, Category p, Strong p) => ArrowZero (WrappedProfunctor p) Source #
Instance details Defined in Control.Arrow.Profunctor Methods zeroArrow :: WrappedProfunctor p b c #
(ProfunctorPlus p, Category p, Strong p) => ArrowPlus (WrappedProfunctor p) Source #
Instance details Defined in Control.Arrow.Profunctor Methods (<+>) :: WrappedProfunctor p b c -> WrappedProfunctor p b c -> WrappedProfunctor p b c #
(Choice p, Category p, Strong p) => ArrowChoice (WrappedProfunctor p) Source #
Instance details Defined in Control.Arrow.Profunctor Methods left :: WrappedProfunctor p b c -> WrappedProfunctor p (Either b d) (Either c d) # right :: WrappedProfunctor p b c -> WrappedProfunctor p (Either d b) (Either d c) # (+++) :: WrappedProfunctor p b c -> WrappedProfunctor p b' c' -> WrappedProfunctor p (Either b b') (Either c c') # (\|\|\|) :: WrappedProfunctor p b d -> WrappedProfunctor p c d -> WrappedProfunctor p (Either b c) d #
(Category p, Strong p, ProfunctorApply p) => ArrowApply (WrappedProfunctor p) Source #
Instance details Defined in Control.Arrow.Profunctor Methods app :: WrappedProfunctor p (WrappedProfunctor p b c, b) c #
(Category p, Strong p, Costrong p) => ArrowLoop (WrappedProfunctor p) Source #
Instance details Defined in Control.Arrow.Profunctor Methods loop :: WrappedProfunctor p (b, d) (c, d) -> WrappedProfunctor p b c #
Category p => Category (WrappedProfunctor p :: Type -> Type -> Type) Source #
Instance details Defined in Control.Arrow.Profunctor Methods id :: forall (a :: k). WrappedProfunctor p a a # (.) :: forall (b :: k) (c :: k) (a :: k). WrappedProfunctor p b c -> WrappedProfunctor p a b -> WrappedProfunctor p a c #