Moduleghc-internal-10.0.0Haskell2010

GHC.Internal.Magic.Dict

Defines the withDict function. For more information, see Note [withDict] in GHC.Tc.Instance.Class in GHC. The definition of withDict is located in a separate module from GHC.Internal.Magic because withDict is Unsafe (it threatens type class coherence) while GHC.Internal.Magic is Trustworthy.

Use GHC.Exts from the base package instead of importing this module directly.

Synopsis

class WithDict

Packageghc-internal-10.0.0
Exports1
LanguageHaskell2010
LicenceBSD-3-Clause
SourceDict.hs

classclass WithDict (cls :: Constraint) meth where

Source#

The constraint WithDict cls meth can be solved when evidence for the constraint cls can be provided in the form of a dictionary of type meth. This requires cls to be a class constraint whose single method has type meth.

For more (important) details on how this works, see Note [withDict] in GHC.Tc.Instance.Class in GHC.

Methods

withDict :: meth -> (cls => r) -> r