Safe Haskell	None
Language	GHC2021

Data.Type.Witness.General.WitnessConstraint

Documentation

class WitnessConstraint (c :: k -> Constraint) (w :: k -> Type) where Source #

Methods

witnessConstraint :: forall (t :: k). w t -> Dict (c t) Source #

Instances

Instances details

WitnessConstraint Eq w => WitnessConstraint Eq (ListProductType w :: Type -> Type) Source #
Instance details Defined in Data.Type.Witness.Specific.List.Product Methods witnessConstraint :: ListProductType w t -> Dict (Eq t) Source #
WitnessConstraint Eq w => WitnessConstraint Eq (ListSumType w :: Type -> Type) Source #
Instance details Defined in Data.Type.Witness.Specific.List.Sum Methods witnessConstraint :: ListSumType w t -> Dict (Eq t) Source #
WitnessConstraint (c :: k -> Constraint) (EmptyType :: k -> Type) Source #
Instance details Defined in Data.Type.Witness.Specific.Empty Methods witnessConstraint :: forall (t :: k). EmptyType t -> Dict (c t) Source #
c t => WitnessConstraint (c :: k -> Constraint) ((:~:) t :: k -> Type) Source #
Instance details Defined in Data.Type.Witness.General.WitnessConstraint Methods witnessConstraint :: forall (t0 :: k). (t :~: t0) -> Dict (c t0) Source #
(WitnessConstraint c p, WitnessConstraint c q) => WitnessConstraint (c :: k -> Constraint) (EitherType p q :: k -> Type) Source #
Instance details Defined in Data.Type.Witness.Specific.Either Methods witnessConstraint :: forall (t :: k). EitherType p q t -> Dict (c t) Source #
WitnessConstraint c w2 => WitnessConstraint (c :: k -> Constraint) (PairType w1 w2 :: k -> Type) Source #	right-biased
Instance details Defined in Data.Type.Witness.Specific.Pair Methods witnessConstraint :: forall (t :: k). PairType w1 w2 t -> Dict (c t) Source #
WitnessConstraint (c :: k1 -> Constraint) (Compose Dict c :: k1 -> Type) Source #
Instance details Defined in Data.Type.Witness.General.WitnessConstraint Methods witnessConstraint :: forall (t :: k1). Compose Dict c t -> Dict (c t) Source #