Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
library :: forall c xs. Forall c xs => Comp Dict c :* xs Source #
Reify a collection of dictionaries, as you wish.
type WrapForall c h = Forall (Instance1 c h) Source #
Forall upon a wrapper
Safe Haskell | None |
---|---|
Language | Haskell2010 |
library :: forall c xs. Forall c xs => Comp Dict c :* xs Source #
Reify a collection of dictionaries, as you wish.
type WrapForall c h = Forall (Instance1 c h) Source #
Forall upon a wrapper