| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Constraint.Extras
Synopsis
- class ArgDict f where
- type ConstraintsFor (c :: * -> Constraint) f :: Constraint
- type Has c f = (ArgDict f, ConstraintsFor c f)
- class Implies1 c d where
Documentation
class ArgDict f where Source #
Provides proof of the existence of a constraint on a GADT
Minimal complete definition
Associated Types
type ConstraintsFor (c :: * -> Constraint) f :: Constraint Source #
Methods
argDict :: ConstraintsFor c f => f a -> Dict (c a) Source #
type Has c f = (ArgDict f, ConstraintsFor c f) Source #