Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Type.Witness.General.HetConstraint
Documentation
data HetConstraintWitness c t where Source #
Constructors
MkHetConstraintWitness :: forall k (c :: k -> Constraint) (t :: k). c t => HetConstraintWitness c t |
class HetConstraint c t 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 # |