| Copyright | 2008 Edward Kmett |
|---|---|
| License | BSD |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable (class-associated types) |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Control.Category.Cartesian.Closed
Description
Synopsis
- class Cartesian k => CCC (k :: Type -> Type -> Type) where
- unitCCC :: CCC k => k a (Exp k b (Product k b a))
- counitCCC :: CCC k => k (Product k b (Exp k b a)) a
- class CoCartesian k => CoCCC (k :: Type -> Type -> Type) where
- unitCoCCC :: CoCCC k => k a (Sum k b (Coexp k b a))
- counitCoCCC :: CoCCC k => k (Coexp k b (Sum k b a)) a
Cartesian Closed Category
class Cartesian k => CCC (k :: Type -> Type -> Type) where Source #
A CCC has full-fledged monoidal finite products and exponentials
Methods
apply :: k (Product k (Exp k a b) a) b Source #
Instances
| CCC (->) Source # | |||||
Defined in Control.Category.Cartesian.Closed Associated Types
| |||||