| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Extensible.Dictionary
- class Reifiable c where
- data Dictionary c h x
- library :: WrapForall c h xs => Dictionary c h :* xs
- type WrapForall c h = Forall (Instance1 c h)
- class c (h x) => Instance1 c h x
Documentation
class Reifiable c where Source
Reifiable classes
Associated Types
data Dictionary c h x Source
The associated dictionary which subsumes essential methods.
type WrapForall c h = Forall (Instance1 c h) Source
Forall upon a wrapper