Portability | non-portable (class-associated types) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Control.Category.Cartesian.Closed
Description
Cartesian Closed Category
class Cartesian k => CCC k where
A CCC
has full-fledged monoidal finite products and exponentials
Associated Types
type Exp k :: * -> * -> *
Instances
CCC (->) |
Co-(Cartesian Closed Category)
class CoCartesian k => CoCCC k where
A Co-CCC has full-fledged comonoidal finite coproducts and coexponentials
Associated Types
type Coexp k :: * -> * -> *
counitCoCCC :: CoCCC k => Coexp k b (Sum k b a) `k` a