| Copyright | (c) Edward Kmett 2014 |
|---|---|
| License | BSD3 |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Hask.Rep
Contents
Description
Representability
class Representable p where Source
Minimal complete definition
Nothing
Instances
| 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
Minimal complete definition
Nothing
Instances
| 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
Instances
| 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
Instances
| 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 |