| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Constraint.Extras
- class ArgDict f where
- type ConstraintsFor f (c :: k -> Constraint) :: Constraint
- type ConstraintsFor' f (c :: k -> Constraint) (g :: k' -> k) :: Constraint
- type Has c f = (ArgDict f, ConstraintsFor f c)
- type Has' c f g = (ArgDict f, ConstraintsFor' f c g)
- has :: forall c f a r. Has c f => f a -> (c a => r) -> r
- has' :: forall c g f a r. Has' c f g => f a -> (c (g a) => r) -> r
- whichever :: forall c t a r. ForallF c t => (c (t a) => r) -> r
- class Implies1 c d where
Documentation
class ArgDict f where Source #
Provides proof of the existence of a constraint on a GADT
Associated Types
type ConstraintsFor f (c :: k -> Constraint) :: Constraint Source #
type ConstraintsFor' f (c :: k -> Constraint) (g :: k' -> k) :: Constraint Source #
Methods
argDict :: ConstraintsFor f c => f a -> Dict (c a) Source #
argDict' :: ConstraintsFor' f c g => f a -> Dict (c (g a)) Source #
type Has c f = (ArgDict f, ConstraintsFor f c) Source #
type Has' c f g = (ArgDict f, ConstraintsFor' f c g) Source #