Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data HetConstraintWitness c t where Source #
MkHetConstraintWitness :: forall k (c :: k -> Constraint) (t :: k). c t => HetConstraintWitness c t |
class HetConstraint c t where Source #
hetConstraint :: HetConstraintWitness c t Source #
Instances
c t => HetConstraint (c :: k -> Constraint) (t :: k) Source # | |
Defined in Data.Type.Witness.General.HetConstraint hetConstraint :: HetConstraintWitness c t Source # |