Control.Category.Cartesian.Closed

Cartesian Closed Category

class Cartesian k => CCC k where

A CCC has full-fledged monoidal finite products and exponentials

Associated Types

type Exp k :: * -> * -> *

Methods

apply :: Product k (Exp k a b) a `k` b

curry :: (Product k a b `k` c) -> a `k` Exp k b c

uncurry :: (a `k` Exp k b c) -> Product k a b `k` c

Instances

CCC (->)

unitCCC :: CCC k => a `k` Exp k b (Product k b a)

counitCCC :: CCC k => Product k b (Exp k b a) `k` a

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 :: * -> * -> *

Methods

coapply :: b `k` Sum k (Coexp k a b) a

cocurry :: (c `k` Sum k a b) -> Coexp k b c `k` a

uncocurry :: (Coexp k b c `k` a) -> c `k` Sum k a b

unitCoCCC :: CoCCC k => a `k` Sum k b (Coexp k b a)

counitCoCCC :: CoCCC k => Coexp k b (Sum k b a) `k` a