Safe Haskell	None
Language	GHC2024

Proarrow.Object.Terminal

Contents

Orphan instances

Synopsis

class (CategoryOf k, Ob (TerminalObject :: k)) => HasTerminalObject k where
- type TerminalObject :: k
- terminate :: forall (a :: k). Ob a => a ~> (TerminalObject :: k)
terminate' :: forall {k} (a :: k) (a' :: k). HasTerminalObject k => (a ~> a') -> a ~> (TerminalObject :: k)
type El (a :: k) = (TerminalObject :: k) ~> a
class ((Unit :: k) ~ (TerminalObject :: k), HasTerminalObject k, Monoidal k) => Semicartesian k
data family TermF :: k

Documentation

class (CategoryOf k, Ob (TerminalObject :: k)) => HasTerminalObject k where Source Github #

Associated Types

type TerminalObject :: k Source Github #

Methods

terminate :: forall (a :: k). Ob a => a ~> (TerminalObject :: k) Source Github #

Instances

Instances details

HasTerminalObject Nat Source Github #

Instance details

Defined in Proarrow.Category.Instance.Simplex

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Simplex type TerminalObject = 'S 'Z

Methods

terminate :: forall (a :: Nat). Ob a => a ~> (TerminalObject :: Nat) Source Github #

HasTerminalObject Nat Source Github #

Instance details

Defined in Proarrow.Category.Instance.ZX

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.ZX type TerminalObject = 0

Methods

terminate :: forall (a :: Nat). Ob a => a ~> (TerminalObject :: Nat) Source Github #

HasTerminalObject BOOL Source Github #

Instance details

Defined in Proarrow.Category.Instance.Bool

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Bool type TerminalObject = 'TRU

Methods

terminate :: forall (a :: BOOL). Ob a => a ~> (TerminalObject :: BOOL) Source Github #

HasTerminalObject KIND Source Github #

Instance details

Defined in Proarrow.Category.Instance.Cat

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Cat type TerminalObject = 'K ()

Methods

terminate :: forall (a :: KIND). Ob a => a ~> (TerminalObject :: KIND) Source Github #

HasTerminalObject CONSTRAINT Source Github #

Instance details

Defined in Proarrow.Category.Instance.Constraint

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Constraint type TerminalObject = 'CNSTRNT ()

Methods

terminate :: forall (a :: CONSTRAINT). Ob a => a ~> (TerminalObject :: CONSTRAINT) Source Github #

HasTerminalObject COST Source Github #

Instance details

Defined in Proarrow.Category.Instance.Cost

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Cost type TerminalObject = 'C 0

Methods

terminate :: forall (a :: COST). Ob a => a ~> (TerminalObject :: COST) Source Github #

HasTerminalObject FINREL Source Github #

Instance details

Defined in Proarrow.Category.Instance.FinRel

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.FinRel type TerminalObject = 'FR Nat0

Methods

terminate :: forall (a :: FINREL). Ob a => a ~> (TerminalObject :: FINREL) Source Github #

HasTerminalObject FINSET Source Github #

Instance details

Defined in Proarrow.Category.Instance.FinSet

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.FinSet type TerminalObject = 'FS Nat1

Methods

terminate :: forall (a :: FINSET). Ob a => a ~> (TerminalObject :: FINSET) Source Github #

HasTerminalObject LINEAR Source Github #

Instance details

Defined in Proarrow.Category.Instance.Linear

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Linear type TerminalObject = 'L Top

Methods

terminate :: forall (a :: LINEAR). Ob a => a ~> (TerminalObject :: LINEAR) Source Github #

HasTerminalObject POINTED Source Github #

Instance details

Defined in Proarrow.Category.Instance.PointedHask

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.PointedHask type TerminalObject = 'P Void

Methods

terminate :: forall (a :: POINTED). Ob a => a ~> (TerminalObject :: POINTED) Source Github #

HasTerminalObject () Source Github #

Instance details

Defined in Proarrow.Object.Terminal

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Object.Terminal type TerminalObject = '()

Methods

terminate :: forall (a :: ()). Ob a => a ~> (TerminalObject :: ()) Source Github #

HasTerminalObject Type Source Github #

Instance details

Defined in Proarrow.Object.Terminal

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Object.Terminal type TerminalObject = ()

Methods

terminate :: Ob a => a ~> (TerminalObject :: Type) Source Github #

HasTerminalObject k => HasTerminalObject (FAM k) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Fam

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Fam type TerminalObject = DEP () (TerminalProfunctor :: k -> () -> Type)

Methods

terminate :: forall (a :: FAM k). Ob a => a ~> (TerminalObject :: FAM k) Source Github #

HasTerminalObject (FIN ('S n)) => HasTerminalObject (FIN ('S ('S n))) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Fin

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Fin type TerminalObject = 'FS (TerminalObject :: FIN ('S n))

Methods

terminate :: forall (a :: FIN ('S ('S n))). Ob a => a ~> (TerminalObject :: FIN ('S ('S n))) Source Github #

HasTerminalObject (FIN ('S 'Z)) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Fin

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Fin type TerminalObject = 'FZ :: FIN ('S 'Z)

Methods

terminate :: forall (a :: FIN ('S 'Z)). Ob a => a ~> (TerminalObject :: FIN ('S 'Z)) Source Github #

Num a => HasTerminalObject (MatK a) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Mat

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Mat type TerminalObject = 'M 'Z :: MatK a

Methods

terminate :: forall (a0 :: MatK a). Ob a0 => a0 ~> (TerminalObject :: MatK a) Source Github #

HasInitialObject k => HasTerminalObject (OPPOSITE k) Source Github #

Instance details

Defined in Proarrow.Object.Initial

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Object.Initial type TerminalObject = 'OP (InitialObject :: k)

Methods

terminate :: forall (a :: OPPOSITE k). Ob a => a ~> (TerminalObject :: OPPOSITE k) Source Github #

HasTerminalObject k => HasTerminalObject (PROD k) Source Github #

Instance details

Defined in Proarrow.Object.BinaryProduct

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Object.BinaryProduct type TerminalObject = 'PR (TerminalObject :: k)

Methods

terminate :: forall (a :: PROD k). Ob a => a ~> (TerminalObject :: PROD k) Source Github #

(Applicative f, HasTerminalObject k) => HasTerminalObject (AP f k) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Ap

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Ap type TerminalObject = 'A (TerminalObject :: k) :: AP f k

Methods

terminate :: forall (a :: AP f k). Ob a => a ~> (TerminalObject :: AP f k) Source Github #

(HasTerminalObject k, Promonad p) => HasTerminalObject (KLEISLI p) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Kleisli

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Kleisli type TerminalObject = 'KL (TerminalObject :: k) :: KLEISLI p

Methods

terminate :: forall (a :: KLEISLI p). Ob a => a ~> (TerminalObject :: KLEISLI p) Source Github #

(CategoryOf j, CategoryOf k) => HasTerminalObject (j +-> k) Source Github #

Instance details

Defined in Proarrow.Object.Terminal

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Object.Terminal type TerminalObject = TerminalProfunctor :: k -> j -> Type

Methods

terminate :: forall (a :: j +-> k). Ob a => a ~> (TerminalObject :: j +-> k) Source Github #

Monoid m => HasTerminalObject (MONOIDK m) Source Github #

Instance details

Defined in Proarrow.Monoid

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Monoid type TerminalObject = 'M :: MONOIDK m

Methods

terminate :: forall (a :: MONOIDK m). Ob a => a ~> (TerminalObject :: MONOIDK m) Source Github #

(HasTerminalObject j, HasTerminalObject k) => HasTerminalObject (j, k) Source Github #

Instance details

Defined in Proarrow.Object.Terminal

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Object.Terminal type TerminalObject = '(TerminalObject :: j, TerminalObject :: k)

Methods

terminate :: forall (a :: (j, k)). Ob a => a ~> (TerminalObject :: (j, k)) Source Github #

CategoryOf k1 => HasTerminalObject (k1 -> Type) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Nat

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Nat type TerminalObject = Const () :: k1 -> Type

Methods

terminate :: forall (a :: k1 -> Type). Ob a => a ~> (TerminalObject :: k1 -> Type) Source Github #

(HasTerminalObject k, CategoryOf j, CodiscreteProfunctor p) => HasTerminalObject (COLLAGE p) Source Github #

Instance details

Defined in Proarrow.Category.Instance.Collage

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Category.Instance.Collage type TerminalObject = 'R (TerminalObject :: k) :: COLLAGE p

Methods

terminate :: forall (a :: COLLAGE p). Ob a => a ~> (TerminalObject :: COLLAGE p) Source Github #

(Ok cs p, Elem HasTerminalObject cs) => HasTerminalObject (FREE cs p) Source Github #

Instance details

Defined in Proarrow.Object.Terminal

Associated Types

type TerminalObject
Instance details Defined in Proarrow.Object.Terminal type TerminalObject = TermF :: FREE cs p

Methods

terminate :: forall (a :: FREE cs p). Ob a => a ~> (TerminalObject :: FREE cs p) Source Github #

terminate' :: forall {k} (a :: k) (a' :: k). HasTerminalObject k => (a ~> a') -> a ~> (TerminalObject :: k) Source Github #

type El (a :: k) = (TerminalObject :: k) ~> a Source Github #

The type of elements of a.

class ((Unit :: k) ~ (TerminalObject :: k), HasTerminalObject k, Monoidal k) => Semicartesian k Source Github #

Instances

Instances details

((Unit :: k) ~ (TerminalObject :: k), HasTerminalObject k, Monoidal k) => Semicartesian k Source Github #
Instance details Defined in Proarrow.Object.Terminal

data family TermF :: k Source Github #

Instances

Instances details

Elem HasTerminalObject cs => IsFreeOb (TermF :: FREE cs p) Source Github #
Instance details Defined in Proarrow.Object.Terminal Methods withLowerOb :: forall {k} (f :: j +-> k) r. (Representable f, All cs k) => (Ob (Lower f (TermF :: FREE cs p)) => r) -> r Source Github #
type Lower (f :: j +-> k) (TermF :: FREE cs p) Source Github #
Instance details Defined in Proarrow.Object.Terminal type Lower (f :: j +-> k) (TermF :: FREE cs p) = TerminalObject :: k

Orphan instances

(HasTerminalObject k, CategoryOf j) => Representable (TerminalProfunctor :: k -> j -> Type) Source Github #

Instance details

Methods

index :: forall (a :: k) (b :: j). TerminalProfunctor a b -> a ~> ((TerminalProfunctor :: k -> j -> Type) % b) Source Github #

tabulate :: forall (b :: j) (a :: k). Ob b => (a ~> ((TerminalProfunctor :: k -> j -> Type) % b)) -> TerminalProfunctor a b Source Github #

repMap :: forall (a :: j) (b :: j). (a ~> b) -> ((TerminalProfunctor :: k -> j -> Type) % a) ~> ((TerminalProfunctor :: k -> j -> Type) % b) Source Github #

trivialRep :: forall (a :: j). Ob a => TerminalProfunctor ((TerminalProfunctor :: k -> j -> Type) % a) a Source Github #