Safe Haskell	None
Language	GHC2024

Proarrow.Profunctor.Ran

Documentation

type (|>) (j1 :: i +-> j) (p :: i +-> k) = Ran ('OP j1) p Source Comments #

data Ran (j1 :: OPPOSITE (i +-> j)) (p :: i +-> k) (a :: k) (b :: j) where Source Comments #

Constructors

Ran
Fields :: forall {k} {j} {i} (a :: k) (b :: j) (j2 :: i +-> j) (p :: i +-> k). (Ob a, Ob b) => { unRan :: forall (x :: i). j2 b x -> p a x } -> Ran ('OP j2) p a b

Instances

Instances details

(Profunctor p, Profunctor j2) => Profunctor (Ran ('OP j2) p :: k -> j1 -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran Methods dimap :: forall (c :: k) (a :: k) (b :: j1) (d :: j1). (c ~> a) -> (b ~> d) -> Ran ('OP j2) p a b -> Ran ('OP j2) p c d Source Comments # (\\) :: forall (a :: k) (b :: j1) r. ((Ob a, Ob b) => r) -> Ran ('OP j2) p a b -> r Source Comments #
(HasLimits j2 k, Representable d) => Representable (Ran ('OP j2) d :: k -> j1 -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran Methods index :: forall (a :: k) (b :: j1). Ran ('OP j2) d a b -> a ~> (Ran ('OP j2) d % b) Source Comments # tabulate :: forall (b :: j1) (a :: k). Ob b => (a ~> (Ran ('OP j2) d % b)) -> Ran ('OP j2) d a b Source Comments # repMap :: forall (a :: j1) (b :: j1). (a ~> b) -> (Ran ('OP j2) d % a) ~> (Ran ('OP j2) d % b) Source Comments #
(p ~ j, Profunctor p) => Promonad (Ran ('OP j) p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran Methods id :: forall (a :: k). Ob a => Ran ('OP j) p a a Source Comments # (.) :: forall (b :: k) (c :: k) (a :: k). Ran ('OP j) p b c -> Ran ('OP j) p a b -> Ran ('OP j) p a c Source Comments #
Functor (Ran :: OPPOSITE (i +-> j) -> (i +-> k) -> k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran Methods map :: forall (a :: OPPOSITE (i +-> j)) (b :: OPPOSITE (i +-> j)). (a ~> b) -> (Ran a :: (i +-> k) -> k -> j -> Type) ~> (Ran b :: (i +-> k) -> k -> j -> Type) Source Comments #
Profunctor j2 => Corepresentable (Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) :: (k -> j1 -> Type) -> (i +-> k) -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran Methods coindex :: forall (a :: k -> j1 -> Type) (b :: i +-> k). Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) a b -> (Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) %% a) ~> b Source Comments # cotabulate :: forall (a :: k -> j1 -> Type) (b :: i +-> k). Ob a => ((Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) %% a) ~> b) -> Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) a b Source Comments # corepMap :: forall (a :: k -> j1 -> Type) (b :: k -> j1 -> Type). (a ~> b) -> (Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) %% a) ~> (Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) %% b) Source Comments #
Profunctor j2 => Functor (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran Methods map :: forall (a :: i +-> k) (b :: i +-> k). (a ~> b) -> Ran ('OP j2) a ~> Ran ('OP j2) b Source Comments #
type (Ran ('OP j2) d :: k -> j1 -> Type) % (a :: j1) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran type (Ran ('OP j2) d :: k -> j1 -> Type) % (a :: j1) = Limit j2 d % a
type (Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) :: (k -> j1 -> Type) -> (i +-> k) -> Type) %% (p :: k -> j1 -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran type (Star (Ran ('OP j2) :: (i +-> k) -> k -> j1 -> Type) :: (k -> j1 -> Type) -> (i +-> k) -> Type) %% (p :: k -> j1 -> Type) = p :.: j2

runRan :: forall {i} {j1} {k} j2 (b :: j1) (x :: i) p (a :: k). Profunctor j2 => j2 b x -> Ran ('OP j2) p a b -> p a x Source Comments #

runRanProf :: forall {i} {j1} {k} (j2 :: i +-> j1) (p :: i +-> k). (Profunctor j2, Profunctor p) => (Ran ('OP j2) p :.: j2) ~> p Source Comments #

flipRan :: forall {i} {k2} {k} (j :: i -> k2) (p :: k2 +-> k). (Functor j, Profunctor p) => (Costar j |> p) ~> (p :.: Star j) Source Comments #

flipRanInv :: forall {j1} {i} {k} (j2 :: j1 -> i) (p :: i +-> k). (Functor j2, Profunctor p) => (p :.: Star j2) ~> (Costar j2 |> p) Source Comments #

type PWRan (j1 :: i +-> j) (p :: i +-> k) (a :: j) = (j1 |> p) % a Source Comments #

class (Representable p, Representable j1, Representable (j1 |> p)) => PointwiseRightKanExtension (j1 :: i +-> j) (p :: i +-> k) Source Comments #

Instances

Instances details

(Representable p, Representable j2, Representable (j2 \|> p)) => PointwiseRightKanExtension (j2 :: i +-> j1) (p :: i +-> k) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran

type PWLift (j :: i +-> k) (p :: i +-> k1) (a :: k1) = (j |> p) %% a Source Comments #

class (Corepresentable j1, Corepresentable p, Corepresentable (j1 |> p)) => PointwiseLeftKanLift (j1 :: i +-> j) (p :: i +-> k) Source Comments #

Instances

Instances details

(Corepresentable j2, Corepresentable p, Corepresentable (j2 \|> p)) => PointwiseLeftKanLift (j2 :: i +-> j1) (p :: i +-> k) Source Comments #
Instance details Defined in Proarrow.Profunctor.Ran

ranCompose :: forall {j1} {j2} {i1} {k} (i2 :: j1 +-> j2) (j3 :: i1 +-> j1) (p :: i1 +-> k). (Profunctor i2, Profunctor j3, Profunctor p) => (i2 |> (j3 |> p)) ~> ((i2 :.: j3) |> p) Source Comments #

ranComposeInv :: forall {j1} {j2} {i1} {k} (i2 :: j1 +-> j2) (j3 :: i1 +-> j1) (p :: i1 +-> k). (Profunctor i2, Profunctor j3, Profunctor p) => ((i2 :.: j3) |> p) ~> (i2 |> (j3 |> p)) Source Comments #

ranHom :: forall {i} {k} (p :: i +-> k). Profunctor p => p ~> (((~>) :: CAT i) |> p) Source Comments #

ranHomInv :: forall {i} {k} (p :: i +-> k). Profunctor p => (((~>) :: CAT i) |> p) ~> p Source Comments #