Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
Orphan instances
WrapForall k * Bounded h xs => Bounded ((:*) k h xs) Source # | |
WrapForall k * Eq h xs => Eq ((:*) k h xs) Source # | |
WrapForall k * Eq h xs => Eq ((:|) k h xs) Source # | |
(Eq ((:*) k h xs), WrapForall k * Ord h xs) => Ord ((:*) k h xs) Source # | |
(Eq ((:|) k h xs), WrapForall k * Ord h xs) => Ord ((:|) k h xs) Source # | |
WrapForall k * Show h xs => Show ((:*) k h xs) Source # | |
WrapForall k * Show h xs => Show ((:|) k h xs) Source # | |
WrapForall k * Semigroup h xs => Semigroup ((:*) k h xs) Source # | |
WrapForall k * Monoid h xs => Monoid ((:*) k h xs) Source # | |
WrapForall k * Arbitrary h xs => Arbitrary ((:*) k h xs) Source # | |
WrapForall k * Arbitrary h xs => Arbitrary ((:|) k h xs) Source # | |
WrapForall k * NFData h xs => NFData ((:*) k h xs) Source # | |
WrapForall k * NFData h xs => NFData ((:|) k h xs) Source # | |