Copyright | (c) Edward Kmett 2014 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Representability
class Representable p where Source
Nothing
Representable * * * (->) | |
Representable Constraint * Constraint (:-) | |
Representable k * k (Down k k f) | |
(Representable k * j p, Representable j * i q, Composed i (Hom i *), Functor j i (Rep j * i q), Category i (Hom i *), Category j (Hom j *)) => Representable k * i (Prof j k i p q) | |
Representable (i -> *) * (i -> *) (Nat * i) |
class Corepresentable p where Source
Nothing
Corepresentable * * * (->) | |
Corepresentable Constraint * * (|=) | |
Corepresentable Constraint * Constraint (:-) | |
Corepresentable Constraint Constraint Constraint (|-) | |
Corepresentable k * k (Up k k f) | |
(Corepresentable j * k p, Corepresentable i * j q, Composed k (Hom k *), Functor j k (Corep j * k p), Category j (Hom j *), Category k (Hom k *)) => Corepresentable i * k (Prof j k i p q) | |
Corepresentable * (k -> *) (k -> *) (Power1 k) | |
Corepresentable (i -> *) * (i -> *) (Nat * i) |
Cat^op -> Prof, Corepresentable, conjoint
Corepresentable k * k (Up k k f) | |
Cartesian k (Cod k k1 f) => Monoidal k * (Up k k f a) | |
Precartesian k (Cod k k1 f) => Semimonoidal * k (Up k k f a) | |
Category k (Cod k k1 f) => Functor k * (Up k k f a) | |
Semimonad * (Up * k f a) | |
(Cartesian k (Cod k k1 f), Monoid k b) => Monoid * (Up k k f a b) | |
(Precartesian k (Cod k k1 f), Semigroup k b) => Semigroup * (Up k k f a b) | |
(Functor k k1 f, Category k1 (Cod k1 k f)) => Contravariant (k -> *) k (Up k k f) | |
Category j (Hom j *) => Contravariant (i -> j -> *) (i -> j) (Up j i) | |
type Corep k * k1 (Up k1 k f) = f |
Cat -> Prof, Representable, companion
Representable k * k (Down k k f) | |
Monoidal k k1 f => Monoidal k * (Down k k f a) | |
Semimonoidal k1 k f => Semimonoidal * k (Down k k f a) | |
(Functor k k1 f, Category k1 (Cod k1 k f)) => Functor k * (Down k k f a) | |
Semimonad * f => Semimonad * (Down * * f a) | |
(Monoidal k1 k f, Monoid k1 b) => Monoid * (Down k k f a b) | |
(Semimonoidal k k1 f, Semigroup k1 b) => Semigroup * (Down k k f a b) | |
Category k (Cod k k1 f) => Contravariant (k -> *) k (Down k k f) | |
Category i (Hom i *) => Functor (j -> i) (i -> j -> *) (Down i j) | |
type Rep k * k1 (Down k1 k f) = f |