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

Safe HaskellNone
LanguageHaskell2010

Data.Extensible.Dictionary

Synopsis

Documentation

type DictOf c g h = forall xs. WrapForall c g xs => h :* xs Source

dictShow :: forall h. DictOf Show h (Match h (Int -> ShowS)) Source

dictEq :: forall h. DictOf Eq h (Wrap2 h Bool) Source

dictOrd :: forall h. DictOf Ord h (Wrap2 h Ordering) Source

data WrapMonoid h x Source

Constructors

WrapMonoid 

Fields

unwrapEmpty :: h x
 
unwrapAppend :: h x -> h x -> h x
 

dictMonoid :: forall h. DictOf Monoid h (WrapMonoid h) Source

type WrapForall c h = Forall (Instance1 c h) Source

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