Data.Type.Witness.General.WitnessConstraint

Documentation

class WitnessConstraint c w where

Methods

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

Instances

WitnessConstraint Eq w => WitnessConstraint Eq (ListProductType w :: Type -> Type)

Defined in Data.Type.Witness.Specific.List.Product

Methods

witnessConstraint :: forall (t :: k). ListProductType w t -> Dict (Eq t)

WitnessConstraint Eq w => WitnessConstraint Eq (ListSumType w :: Type -> Type)

Defined in Data.Type.Witness.Specific.List.Sum

Methods

witnessConstraint :: forall (t :: k). ListSumType w t -> Dict (Eq t)

WitnessConstraint (c :: k -> Constraint) (EmptyType :: k -> Type)

Defined in Data.Type.Witness.Specific.Empty

Methods

witnessConstraint :: forall (t :: k0). EmptyType t -> Dict (c t)

c t => WitnessConstraint (c :: k -> Constraint) ((:~:) t :: k -> Type)

Defined in Data.Type.Witness.General.WitnessConstraint

Methods

witnessConstraint :: forall (t0 :: k0). (t :~: t0) -> Dict (c t0)

(WitnessConstraint c p, WitnessConstraint c q) => WitnessConstraint (c :: k -> Constraint) (EitherType p q :: k -> Type)

Defined in Data.Type.Witness.Specific.Either

Methods

witnessConstraint :: forall (t :: k0). EitherType p q t -> Dict (c t)

WitnessConstraint c w2 => WitnessConstraint (c :: k -> Constraint) (PairType w1 w2 :: k -> Type)

right-biased

Defined in Data.Type.Witness.Specific.Pair

Methods

witnessConstraint :: forall (t :: k0). PairType w1 w2 t -> Dict (c t)

WitnessConstraint (c :: k1 -> Constraint) (Compose Dict c :: k1 -> Type)

Defined in Data.Type.Witness.General.WitnessConstraint

Methods

witnessConstraint :: forall (t :: k). Compose Dict c t -> Dict (c t)