Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Convert (f :: a -> Type) (g :: a -> Type) where Source #
The Convert class is aimed at exposing a single interface that lets us convert between eons. However this is generalizable to any injective relationship between types.