| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Data.Type.Witness.General.HetConstraint
Documentation
data HetConstraintWitness (c :: k1 -> Constraint) (t :: k2) where Source #
Constructors
| MkHetConstraintWitness :: forall k1 (c :: k1 -> Constraint) (t1 :: k1). c t1 => HetConstraintWitness c t1 |
class HetConstraint (c :: k1 -> Constraint) (t :: k2) where Source #
Methods
hetConstraint :: HetConstraintWitness c t Source #
Instances
| c t => HetConstraint (c :: k -> Constraint) (t :: k) Source # | |
Defined in Data.Type.Witness.General.HetConstraint Methods hetConstraint :: HetConstraintWitness c t Source # | |