Data.Extensible.Internal.Dictionary

Documentation

dictShow :: forall h xs. Forall (ClassComp Show h) xs => Match h (Int -> ShowS) :* xs

dictEq :: forall h xs. Forall (ClassComp Eq h) xs => Wrap2 h Bool :* xs

dictOrd :: forall h xs. Forall (ClassComp Ord h) xs => Wrap2 h Ordering :* xs

data WrapMonoid h x

Constructors

WrapMonoid (h x) (h x -> h x -> h x)

dictMonoid :: forall h xs. Forall (ClassComp Monoid h) xs => WrapMonoid h :* xs