Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Constraint.Super
Documentation
class Super c => HasSuper c where Source #
Minimal complete definition
Associated Types
type Super c :: Constraint Source #
Methods
instantiate :: HasSuper c :- c Source #
superconstraints-0.0.2: Access an instance's constraints
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Constraint.Super
class Super c => HasSuper c where Source #
Minimal complete definition
Associated Types
type Super c :: Constraint Source #
Methods
instantiate :: HasSuper c :- c Source #