| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Pandora.Paradigm.Structure.Ability.Convertible
Documentation
class Convertible f t u a where Source #
Methods
conversion :: Tagged f (t a) -> u a Source #
convert :: forall f t u a. Convertible f t u a => t a -> u a Source #