superconstraints-0.0.1: Access an instance's constraints

Safe HaskellNone
LanguageHaskell2010

Data.Constraint.Super

Synopsis

Documentation

class HasSuper c where Source #

Minimal complete definition

instantiate, super

Associated Types

type Super c :: Constraint Source #

Methods

instantiate :: HasSuper c :- c Source #

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

normalizeInstanceHead :: Type -> Q Type Source #

getClassName :: Type -> Maybe Name Source #

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

Note: this is not compatible with PolyKinds