extensible-0.3.4: Extensible, efficient, lens-friendly data types
Data.Extensible.Dictionary
Synopsis
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
class c (h x) => Instance1 c h x Source
Composition for a class and a wrapper
Instances