extensible-0.3.4: Extensible, efficient, lens-friendly data types

Safe HaskellSafe
LanguageHaskell2010

Data.Extensible.Dictionary

Synopsis

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

class c (h x) => Instance1 c h x Source

Composition for a class and a wrapper

Instances

c (h x) => Instance1 k k c h x Source