superconstraints-0.0.2: Access an instance's constraints

Safe HaskellNone
LanguageHaskell2010

Data.Constraint.Super

Synopsis

Documentation

class Super c => HasSuper c where Source #

Minimal complete definition

instantiate

Associated Types

type Super c :: Constraint Source #

Methods

instantiate :: HasSuper c :- c Source #

super :: HasSuper c => Proxy c -> Dict (Super c) Source #

Deprecated: super is no longer necessary; the superclasses of a class with HasSuper are now always available

normalizeInstanceHead :: Type -> Q Type Source #

getClassName :: Type -> Maybe Name Source #

makeSuper :: String -> Q [Dec] Source #

Note: this is not compatible with PolyKinds