Safe Haskell	None
Language	GHC2024

Proarrow.Category.Instance.Zero

Documentation

data VOID Source Github #

Instances

Instances details

CategoryOf VOID Source Github #

The category with no objects, the initial category.

Instance details

Defined in Proarrow.Category.Instance.Zero

Associated Types

type (~>)
Instance details Defined in Proarrow.Category.Instance.Zero type (~>) = Zero
type Ob (a :: VOID)
Instance details Defined in Proarrow.Category.Instance.Zero type Ob (a :: VOID) = Bottom

DaggerProfunctor Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Methods

dagger :: forall (a :: VOID) (b :: VOID). Zero a b -> Zero b a Source Github #

Promonad Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Methods

id :: forall (a :: VOID). Ob a => Zero a a Source Github #

(.) :: forall (b :: VOID) (c :: VOID) (a :: VOID). Zero b c -> Zero a b -> Zero a c Source Github #

ThinProfunctor Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Associated Types

type HasArrow Zero (a :: VOID) (b :: VOID)
Instance details Defined in Proarrow.Category.Instance.Zero type HasArrow Zero (a :: VOID) (b :: VOID) = ()

Methods

arr :: forall (a :: VOID) (b :: VOID). (Ob a, Ob b, HasArrow Zero a b) => Zero a b Source Github #

withArr :: forall (a :: VOID) (b :: VOID) r. Zero a b -> (HasArrow Zero a b => r) -> r Source Github #

Profunctor Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Methods

dimap :: forall (c :: VOID) (a :: VOID) (b :: VOID) (d :: VOID). (c ~> a) -> (b ~> d) -> Zero a b -> Zero c d Source Github #

lmap :: forall (c :: VOID) (a :: VOID) (b :: VOID). (c ~> a) -> Zero a b -> Zero c b Source Github #

rmap :: forall (b :: VOID) (d :: VOID) (a :: VOID). (b ~> d) -> Zero a b -> Zero a d Source Github #

(\\) :: forall (a :: VOID) (b :: VOID) r. ((Ob a, Ob b) => r) -> Zero a b -> r Source Github #

CategoryOf k => FunctorForRep (Initiate :: VOID +-> k) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Fam

Methods

fmap :: forall (a :: VOID) (b :: VOID). (a ~> b) -> ((Initiate :: VOID +-> k) @ a) ~> ((Initiate :: VOID +-> k) @ b) Source Github #

HasInitialObject k => HasColimits (Unweighted :: VOID -> () -> Type) k Source Github #

Instance details

Defined in Proarrow.Category.Colimit

Methods

colimit :: forall (d :: k +-> VOID). Corepresentable d => ((Unweighted :: VOID -> () -> Type) :.: Colimit (Unweighted :: VOID -> () -> Type) d) :~> d Source Github #

colimitUniv :: forall (d :: k +-> VOID) (p :: k +-> ()). (Corepresentable d, Profunctor p) => (((Unweighted :: VOID -> () -> Type) :.: p) :~> d) -> p :~> Colimit (Unweighted :: VOID -> () -> Type) d Source Github #

HasTerminalObject k => HasLimits (Unweighted :: () -> VOID -> Type) k Source Github #

Instance details

Defined in Proarrow.Category.Limit

Methods

limit :: forall (d :: VOID +-> k). Representable d => (Limit (Unweighted :: () -> VOID -> Type) d :.: (Unweighted :: () -> VOID -> Type)) :~> d Source Github #

limitUniv :: forall (d :: VOID +-> k) (p :: () +-> k). (Representable d, Profunctor p) => ((p :.: (Unweighted :: () -> VOID -> Type)) :~> d) -> p :~> Limit (Unweighted :: () -> VOID -> Type) d Source Github #

type (~>) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

type (~>) = Zero

type Ob (a :: VOID) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

type Ob (a :: VOID) = Bottom

type HasArrow Zero (a :: VOID) (b :: VOID) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

type HasArrow Zero (a :: VOID) (b :: VOID) = ()

type Colimit (Unweighted :: VOID -> () -> Type) (d :: k +-> VOID) Source Github #

Instance details

Defined in Proarrow.Category.Colimit

type Colimit (Unweighted :: VOID -> () -> Type) (d :: k +-> VOID) = Corep (InitialLimit d)

type Limit (Unweighted :: () -> VOID -> Type) (d :: VOID +-> k) Source Github #

Instance details

Defined in Proarrow.Category.Limit

type Limit (Unweighted :: () -> VOID -> Type) (d :: VOID +-> k) = Rep (TerminalLimit d)

type (Initiate :: VOID +-> k) @ (a :: VOID) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Fam

type (Initiate :: VOID +-> k) @ (a :: VOID) = Any :: k

data Zero (a :: VOID) (b :: VOID) Source Github #

Instances

Instances details

DaggerProfunctor Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Methods

dagger :: forall (a :: VOID) (b :: VOID). Zero a b -> Zero b a Source Github #

Promonad Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Methods

id :: forall (a :: VOID). Ob a => Zero a a Source Github #

(.) :: forall (b :: VOID) (c :: VOID) (a :: VOID). Zero b c -> Zero a b -> Zero a c Source Github #

ThinProfunctor Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Associated Types

type HasArrow Zero (a :: VOID) (b :: VOID)
Instance details Defined in Proarrow.Category.Instance.Zero type HasArrow Zero (a :: VOID) (b :: VOID) = ()

Methods

arr :: forall (a :: VOID) (b :: VOID). (Ob a, Ob b, HasArrow Zero a b) => Zero a b Source Github #

withArr :: forall (a :: VOID) (b :: VOID) r. Zero a b -> (HasArrow Zero a b => r) -> r Source Github #

Profunctor Zero Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

Methods

dimap :: forall (c :: VOID) (a :: VOID) (b :: VOID) (d :: VOID). (c ~> a) -> (b ~> d) -> Zero a b -> Zero c d Source Github #

lmap :: forall (c :: VOID) (a :: VOID) (b :: VOID). (c ~> a) -> Zero a b -> Zero c b Source Github #

rmap :: forall (b :: VOID) (d :: VOID) (a :: VOID). (b ~> d) -> Zero a b -> Zero a d Source Github #

(\\) :: forall (a :: VOID) (b :: VOID) r. ((Ob a, Ob b) => r) -> Zero a b -> r Source Github #

type HasArrow Zero (a :: VOID) (b :: VOID) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Zero

type HasArrow Zero (a :: VOID) (b :: VOID) = ()

class Bottom where Source Github #

Methods

no :: a Source Github #