Category k => HasColimits Unit k Source #  The colimit of a single object is that object. 
Instance detailsDefined in Data.Category.Limit 
Category k => HasLimits Unit k Source #  The limit of a single object is that object. 
Instance detailsDefined in Data.Category.Limit 
Category Unit Source #  Unit is the category with one object.

Instance detailsDefined in Data.Category.Unit 
HasBinaryCoproducts Unit Source #  In the category of one object that object is its own coproduct. 
Instance detailsDefined in Data.Category.Limit 
HasBinaryProducts Unit Source #  In the category of one object that object is its own product. 
Instance detailsDefined in Data.Category.Limit 
HasInitialObject Unit Source #  The category of one object has that object as initial object. 
Instance detailsDefined in Data.Category.Limit 
HasTerminalObject Unit Source #  The category of one object has that object as terminal object. 
Instance detailsDefined in Data.Category.Limit 
CartesianClosed Unit Source #  
Instance detailsDefined in Data.Category.CartesianClosed 
HasColimits j k => HasLeftKan (Const j Unit ()) k Source #  The left Kan extension of f along a functor to the unit category is the colimit of f . 
Instance detailsDefined in Data.Category.KanExtension 
HasLimits j k => HasRightKan (Const j Unit ()) k Source #  The right Kan extension of f along a functor to the unit category is the limit of f . 
Instance detailsDefined in Data.Category.KanExtension 
type ColimitFam Unit k f Source #  
Instance detailsDefined in Data.Category.Limit 
type LimitFam Unit k f Source #  
Instance detailsDefined in Data.Category.Limit 
type InitialObject Unit Source #  
Instance detailsDefined in Data.Category.Limit 
type TerminalObject Unit Source #  
Instance detailsDefined in Data.Category.Limit 
type BinaryCoproduct Unit () () Source #  
Instance detailsDefined in Data.Category.Limit 
type BinaryProduct Unit () () Source #  
Instance detailsDefined in Data.Category.Limit 
type Exponential Unit () () Source #  
Instance detailsDefined in Data.Category.CartesianClosed 
type LanFam (Const j Unit ()) k f Source #  
Instance detailsDefined in Data.Category.KanExtension 
type RanFam (Const j Unit ()) k f Source #  
Instance detailsDefined in Data.Category.KanExtension 