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 
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 
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 ColimitFam Unit k f Source #  
Instance detailsDefined in Data.Category.Limit 
type LimitFam Unit k f Source #  
Instance detailsDefined in Data.Category.Limit 
type Exponential Unit () () Source #  
Instance detailsDefined in Data.Category.CartesianClosed 