Hask.Adjunction

Documentation

class (Functor f, Functor g, Dom f ~ Cod g, Cod g ~ Dom f) => f -| g | f -> g, g -> f where

Methods

adj :: Iso (->) (->) (->) (Cod f (f a) b) (Cod f (f a') b') (Cod g a (g b)) (Cod g a' (g b'))

Instances

(-|) * * ((,) e) ((->) e)

swap :: (a, b) -> (b, a)

class (Bifunctor p, Bifunctor q) => Curried p q | p -> q, q -> p where

Methods

curried :: Iso (->) (->) (->) (Dom2 p (p a b) c) (Dom2 p (p a' b') c') (Dom2 q a (q b c)) (Dom2 q a' (q b' c'))

Instances

Curried * (,) (->)