Safe Haskell	None
Language	GHC2024

Proarrow.Profunctor.Arrow

Contents

Orphan instances

Documentation

swap :: (b, a) -> (a, b) Source Github #

newtype Arr (arr :: CAT Type) a b Source Github #

Constructors

Arr
Fields unArr :: arr a b

Instances

Instances details

ArrowLoop arr => Costrong Type (Arr arr :: Type -> Type -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow Methods coact :: (Ob a, Ob x, Ob y) => Arr arr (Act a x) (Act a y) -> Arr arr x y Source Github #
Arrow arr => Strong Type (Arr arr :: Type -> Type -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow Methods act :: (a ~> b) -> Arr arr x y -> Arr arr (Act a x) (Act b y) Source Github #
Arrow arr => MonoidalProfunctor (Arr arr :: Type -> Type -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow Methods par0 :: Arr arr (Unit :: Type) (Unit :: Type) Source Github # par :: Arr arr x1 x2 -> Arr arr y1 y2 -> Arr arr (x1 y1) (x2 y2) Source Github #
Arrow arr => Profunctor (Arr arr :: Type -> Type -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow Methods dimap :: (c ~> a) -> (b ~> d) -> Arr arr a b -> Arr arr c d Source Github # lmap :: (c ~> a) -> Arr arr a b -> Arr arr c b Source Github # rmap :: (b ~> d) -> Arr arr a b -> Arr arr a d Source Github # (\\) :: ((Ob a, Ob b) => r) -> Arr arr a b -> r Source Github #
ArrowApply arr => Representable (Arr arr :: Type -> Type -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow Methods index :: Arr arr a b -> a ~> (Arr arr % b) Source Github # tabulate :: Ob b => (a ~> (Arr arr % b)) -> Arr arr a b Source Github # repMap :: (a ~> b) -> (Arr arr % a) ~> (Arr arr % b) Source Github # trivialRep :: Ob a => Arr arr (Arr arr % a) a Source Github #
Arrow arr => Promonad (Arr arr :: Type -> Type -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow Methods id :: Ob a => Arr arr a a Source Github # (.) :: Arr arr b c -> Arr arr a b -> Arr arr a c Source Github #
ArrowChoice arr => MonoidalProfunctor (Coprod (Arr arr) :: COPROD Type -> COPROD Type -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow Methods par0 :: Coprod (Arr arr) (Unit :: COPROD Type) (Unit :: COPROD Type) Source Github # par :: forall (x1 :: COPROD Type) (x2 :: COPROD Type) (y1 :: COPROD Type) (y2 :: COPROD Type). Coprod (Arr arr) x1 x2 -> Coprod (Arr arr) y1 y2 -> Coprod (Arr arr) (x1 y1) (x2 y2) Source Github #
type (Arr arr :: Type -> Type -> Type) % (a :: Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Arrow type (Arr arr :: Type -> Type -> Type) % (a :: Type) = arr () a

Orphan instances

MonadFix m => Costrong Type (Kleisli m :: Type -> Type -> Type) Source Github #
Instance details Methods coact :: (Ob a, Ob x, Ob y) => Kleisli m (Act a x) (Act a y) -> Kleisli m x y Source Github #
Monad m => Strong Type (Kleisli m :: Type -> Type -> Type) Source Github #
Instance details Methods act :: (a ~> b) -> Kleisli m x y -> Kleisli m (Act a x) (Act b y) Source Github #
Monad m => MonoidalProfunctor (Kleisli m :: Type -> Type -> Type) Source Github #
Instance details Methods par0 :: Kleisli m (Unit :: Type) (Unit :: Type) Source Github # par :: Kleisli m x1 x2 -> Kleisli m y1 y2 -> Kleisli m (x1 y1) (x2 y2) Source Github #
Functor m => Profunctor (Kleisli m :: Type -> Type -> Type) Source Github #
Instance details Methods dimap :: (c ~> a) -> (b ~> d) -> Kleisli m a b -> Kleisli m c d Source Github # lmap :: (c ~> a) -> Kleisli m a b -> Kleisli m c b Source Github # rmap :: (b ~> d) -> Kleisli m a b -> Kleisli m a d Source Github # (\\) :: ((Ob a, Ob b) => r) -> Kleisli m a b -> r Source Github #
Functor m => Representable (Kleisli m :: Type -> Type -> Type) Source Github #
Instance details Methods index :: Kleisli m a b -> a ~> (Kleisli m % b) Source Github # tabulate :: Ob b => (a ~> (Kleisli m % b)) -> Kleisli m a b Source Github # repMap :: (a ~> b) -> (Kleisli m % a) ~> (Kleisli m % b) Source Github # trivialRep :: Ob a => Kleisli m (Kleisli m % a) a Source Github #
MonadPlus m => Strong (COPROD Type) (Kleisli m :: Type -> Type -> Type) Source Github #
Instance details Methods act :: forall (a :: COPROD Type) (b :: COPROD Type) x y. (a ~> b) -> Kleisli m x y -> Kleisli m (Act a x) (Act b y) Source Github #
Monad m => Promonad (Kleisli m :: Type -> Type -> Type) Source Github #
Instance details Methods id :: Ob a => Kleisli m a a Source Github # (.) :: Kleisli m b c -> Kleisli m a b -> Kleisli m a c Source Github #
Promonad p => Category (FromProfunctor p :: Type -> Type -> Type) Source Github #
Instance details Methods id :: FromProfunctor p a a Github # (.) :: FromProfunctor p b c -> FromProfunctor p a b -> FromProfunctor p a c Github #
MonadPlus m => MonoidalProfunctor (Coprod (Kleisli m) :: COPROD Type -> COPROD Type -> Type) Source Github #
Instance details Methods par0 :: Coprod (Kleisli m) (Unit :: COPROD Type) (Unit :: COPROD Type) Source Github # par :: forall (x1 :: COPROD Type) (x2 :: COPROD Type) (y1 :: COPROD Type) (y2 :: COPROD Type). Coprod (Kleisli m) x1 x2 -> Coprod (Kleisli m) y1 y2 -> Coprod (Kleisli m) (x1 y1) (x2 y2) Source Github #
(MonoidalProfunctor p, Promonad p) => Arrow (FromProfunctor p) Source Github #
Instance details Methods arr :: (b -> c) -> FromProfunctor p b c Github # first :: FromProfunctor p b c -> FromProfunctor p (b, d) (c, d) Github # second :: FromProfunctor p b c -> FromProfunctor p (d, b) (d, c) Github # (***) :: FromProfunctor p b c -> FromProfunctor p b' c' -> FromProfunctor p (b, b') (c, c') Github # (&&&) :: FromProfunctor p b c -> FromProfunctor p b c' -> FromProfunctor p b (c, c') Github #
(Representable p, MonoidalProfunctor p, Promonad p) => ArrowApply (FromProfunctor p) Source Github #
Instance details Methods app :: FromProfunctor p (FromProfunctor p b c, b) c Github #
(DistributiveProfunctor p, Promonad p) => ArrowChoice (FromProfunctor p) Source Github #
Instance details Methods left :: FromProfunctor p b c -> FromProfunctor p (Either b d) (Either c d) Github # right :: FromProfunctor p b c -> FromProfunctor p (Either d b) (Either d c) Github # (+++) :: FromProfunctor p b c -> FromProfunctor p b' c' -> FromProfunctor p (Either b b') (Either c c') Github # (\|\|\|) :: FromProfunctor p b d -> FromProfunctor p c d -> FromProfunctor p (Either b c) d Github #
(Costrong Type p, MonoidalProfunctor p, Promonad p) => ArrowLoop (FromProfunctor p) Source Github #
Instance details Methods loop :: FromProfunctor p (b, d) (c, d) -> FromProfunctor p b c Github #