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

Safe HaskellNone
LanguageHaskell2010

Data.Extensible.Dictionary

Synopsis

Documentation

library :: forall c xs. Forall c xs => Comp Dict c :* xs Source

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