Safe Haskell	None
Language	GHC2024

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

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 #
Corepresentable p => Corepresentable (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods coindex :: forall (a :: k) (b :: j). Wrapped p a b -> (Wrapped p %% a) ~> b Source Comments # cotabulate :: forall (a :: k) (b :: j). Ob a => ((Wrapped p %% a) ~> b) -> Wrapped p a b Source Comments # corepMap :: forall (a :: k) (b :: k). (a ~> b) -> (Wrapped p %% a) ~> (Wrapped p %% b) Source Comments #
Representable p => Representable (Wrapped p :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods index :: forall (a :: k) (b :: j). Wrapped p a b -> a ~> (Wrapped p % b) Source Comments # tabulate :: forall (b :: j) (a :: k). Ob b => (a ~> (Wrapped p % b)) -> Wrapped p a b Source Comments # repMap :: forall (a :: j) (b :: j). (a ~> b) -> (Wrapped p % a) ~> (Wrapped p % b) Source Comments #
Representable j => HasColimits (Wrapped j :: i -> a -> Type) k Source Comments #
Instance details Defined in Proarrow.Category.Colimit Methods colimit :: forall (d :: k +-> i). Corepresentable d => (Wrapped j :.: Colimit (Wrapped j) d) :~> d Source Comments # colimitUniv :: forall (d :: k +-> i) (p :: k +-> a). (Corepresentable d, Profunctor p) => ((Wrapped j :.: p) :~> d) -> p :~> Colimit (Wrapped j) d Source Comments #
Corepresentable j => HasLimits (Wrapped j :: a -> i -> Type) k Source Comments #
Instance details Defined in Proarrow.Category.Limit Methods limit :: forall (d :: i +-> k). Representable d => (Limit (Wrapped j) d :.: Wrapped j) :~> d Source Comments # limitUniv :: forall (d :: i +-> k) (p :: a +-> k). (Representable d, Profunctor p) => ((p :.: Wrapped j) :~> d) -> p :~> Limit (Wrapped j) d 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 Colimit (Wrapped j :: i -> a -> Type) (d :: k +-> i) Source Comments #
Instance details Defined in Proarrow.Category.Colimit type Colimit (Wrapped j :: i -> a -> Type) (d :: k +-> i) = RepCostar j :.: d
type Limit (Wrapped j :: a -> i -> Type) (d :: i +-> k) Source Comments #
Instance details Defined in Proarrow.Category.Limit type Limit (Wrapped j :: a -> i -> Type) (d :: i +-> k) = d :.: CorepStar j
type (Wrapped p :: k -> j -> Type) %% (a :: k) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped type (Wrapped p :: k -> j -> Type) %% (a :: k) = p %% a
type (Wrapped p :: k -> j -> Type) % (a :: j) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped type (Wrapped p :: k -> j -> Type) % (a :: j) = p % a