Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Wrapped

Documentation

newtype Wrapped (p :: k -> k1 -> Type) (a :: k) (b :: k1) Source Comments #

Constructors

Wrapped
Fields unWrapped :: p a b

Instances

Instances details

ThinProfunctor p => Enriched CONSTRAINT (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Enriched Methods underlying :: forall (a :: k) (b :: j). Wrapped p a b -> (Unit :: CONSTRAINT) ~> Hom CONSTRAINT (Wrapped p) a b Source Comments # enriched :: forall (a :: k) (b :: j). (Ob a, Ob b) => ((Unit :: CONSTRAINT) ~> Hom CONSTRAINT (Wrapped p) a b) -> Wrapped p a b Source Comments #
CodiscreteProfunctor p => Enriched () (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Enriched Methods underlying :: forall (a :: k) (b :: j). Wrapped p a b -> (Unit :: ()) ~> Hom () (Wrapped p) a b Source Comments # enriched :: forall (a :: k) (b :: j). (Ob a, Ob b) => ((Unit :: ()) ~> Hom () (Wrapped p) a b) -> Wrapped p a b Source Comments #
Profunctor p => Enriched Type (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Enriched Methods underlying :: forall (a :: k) (b :: j). Wrapped p a b -> (Unit :: Type) ~> Hom Type (Wrapped p) a b Source Comments # enriched :: forall (a :: k) (b :: j). (Ob a, Ob b) => ((Unit :: Type) ~> Hom Type (Wrapped p) a b) -> Wrapped p a b Source Comments #
DaggerProfunctor p => Enriched (Type, Type) (Wrapped p :: j -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Enriched Methods underlying :: forall (a :: j) (b :: j). Wrapped p a b -> (Unit :: (Type, Type)) ~> Hom (Type, Type) (Wrapped p) a b Source Comments # enriched :: forall (a :: j) (b :: j). (Ob a, Ob b) => ((Unit :: (Type, Type)) ~> Hom (Type, Type) (Wrapped p) a b) -> Wrapped p a b Source Comments #
MonoidalProfunctor p => MonoidalProfunctor (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods par0 :: Wrapped p (Unit :: k) (Unit :: j) Source Comments # par :: forall (x1 :: k) (x2 :: j) (y1 :: k) (y2 :: j). Wrapped p x1 x2 -> Wrapped p y1 y2 -> Wrapped p (x1 y1) (x2 y2) Source Comments #
Profunctor p => Profunctor (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods dimap :: forall (c :: k) (a :: k) (b :: j) (d :: j). (c ~> a) -> (b ~> d) -> Wrapped p a b -> Wrapped p c d Source Comments # (\\) :: forall (a :: k) (b :: j) r. ((Ob a, Ob b) => r) -> Wrapped p a b -> r Source Comments #
DaggerProfunctor p => DaggerProfunctor (Wrapped p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods dagger :: forall (a :: k) (b :: k). Wrapped p a b -> Wrapped p b a Source Comments #
Promonad p => Promonad (Wrapped p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods id :: forall (a :: k). Ob a => Wrapped p a a Source Comments # (.) :: forall (b :: k) (c :: k) (a :: k). Wrapped p b c -> Wrapped p a b -> Wrapped p a c Source Comments #
(Comonoid c, Monoid m, MonoidalProfunctor p) => Monoid (Wrapped p c m :: Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods mempty :: (Unit :: Type) ~> Wrapped p c m Source Comments # mappend :: (Wrapped p c m ** Wrapped p c m) ~> Wrapped p c m Source Comments #
MonoidalProfunctor p => Monoid (Wrapped p :: k2 -> k1 -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods mempty :: (Unit :: k2 -> k1 -> Type) ~> Wrapped p Source Comments # mappend :: (Wrapped p ** Wrapped p) ~> Wrapped p Source Comments #
type Hom CONSTRAINT (Wrapped p :: k -> j -> Type) (a :: k) (b :: j) Source Comments #
Instance details Defined in Proarrow.Category.Enriched type Hom CONSTRAINT (Wrapped p :: k -> j -> Type) (a :: k) (b :: j) = 'CNSTRNT (HasArrow p a b)
type Hom () (Wrapped p :: k -> j -> Type) (a :: k) (b :: j) Source Comments #
Instance details Defined in Proarrow.Category.Enriched type Hom () (Wrapped p :: k -> j -> Type) (a :: k) (b :: j) = '()
type Hom Type (Wrapped p :: k -> j -> Type) (a :: k) (b :: j) Source Comments #
Instance details Defined in Proarrow.Category.Enriched type Hom Type (Wrapped p :: k -> j -> Type) (a :: k) (b :: j) = p a b
type Hom (Type, Type) (Wrapped p :: j -> j -> Type) (a :: j) (b :: j) Source Comments #
Instance details Defined in Proarrow.Category.Enriched type Hom (Type, Type) (Wrapped p :: j -> j -> Type) (a :: j) (b :: j) = '(p a b, p b a)