Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
data Dictionary c h x Source
The associated dictionary which subsumes essential methods.
library :: WrapForall c h xs => Dictionary c h :* xs Source
Fetch the Dictionary
.
type WrapForall c h = Forall (Instance1 c h) Source
Forall upon a wrapper