License	BSD-style (see the file LICENSE)
Maintainer	sjoerd@w3future.com
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Category.Void

Description

Documentation

data Void a b #

Instances details

(Category k, HasInitialObject k) => HasColimits Void k #	An initial object is the colimit of the functor from 0 to k.
Instance details Defined in Data.Category.Limit Methods colimit :: Obj (Nat Void k) f -> Cocone Void k f (ColimitFam Void k f) # colimitFactorizer :: Cocone Void k f n -> k (ColimitFam Void k f) n #
(Category k, HasTerminalObject k) => HasLimits Void k #	A terminal object is the limit of the functor from 0 to k.
Instance details Defined in Data.Category.Limit Methods limit :: Obj (Nat Void k) f -> Cone Void k f (LimitFam Void k f) # limitFactorizer :: Cone Void k f n -> k n (LimitFam Void k f) #
Category Void #	`Void` is the category with no objects.
Instance details Defined in Data.Category.Void Methods src :: forall (a :: k) (b :: k). Void a b -> Obj Void a # tgt :: forall (a :: k) (b :: k). Void a b -> Obj Void b # (.) :: forall (b :: k) (c :: k) (a :: k). Void b c -> Void a b -> Void a c #
type ColimitFam Void k f #
Instance details Defined in Data.Category.Limit type ColimitFam Void k f = InitialObject k
type LimitFam Void k f #
Instance details Defined in Data.Category.Limit type LimitFam Void k f = TerminalObject k

magic :: Void a b -> x #

voidNat :: (Functor f, Functor g, Dom f ~ Void, Dom g ~ Void, Cod f ~ d, Cod g ~ d) => f -> g -> Nat Void d f g #

data Magic (k :: * -> * -> *) #

Constructors

Instances details

Category k => Functor (Magic k) #	Since there is nothing to map in `Void`, there's a functor from it to any other category.
Instance details Defined in Data.Category.Void Associated Types type Dom (Magic k) :: Type -> Type -> Type # type Cod (Magic k) :: Type -> Type -> Type # type (Magic k) :% a # Methods (%) :: Magic k -> Dom (Magic k) a b -> Cod (Magic k) (Magic k :% a) (Magic k :% b) #
type Dom (Magic k) #
Instance details Defined in Data.Category.Void type Dom (Magic k) = Void
type Cod (Magic k) #
Instance details Defined in Data.Category.Void type Cod (Magic k) = k