Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- castL :: Connection L a b => Cast L a b
- castR :: Connection R a b => Cast R a b
- class Connection (k :: Side) a b where
Documentation
class Connection (k :: Side) a b where Source #
A chain of Galois connections of length 2 or 3.