witness-0.7: values that witness types
Safe HaskellNone
LanguageGHC2021

Data.Type.Witness.General.AllConstraint

Documentation

class AllConstraint (c :: kw -> Constraint) (w :: kt -> kw) where Source #

Methods

allConstraint :: forall (t :: kt). Dict (c (w t)) Source #

Instances

Instances details
AllConstraint Show NaturalType Source # 
Instance details

Defined in Data.Type.Witness.Specific.Natural

Methods

allConstraint :: forall (t :: Nat). Dict (Show (NaturalType t)) Source #

AllConstraint Show SymbolType Source # 
Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

allConstraint :: forall (t :: Symbol). Dict (Show (SymbolType t)) Source #

AllConstraint Show ((:~:) t :: kt -> Type) Source # 
Instance details

Defined in Data.Type.Witness.General.AllConstraint

Methods

allConstraint :: forall (t0 :: kt). Dict (Show (t :~: t0)) Source #

(AllConstraint Show p, AllConstraint Show q) => AllConstraint Show (EitherType p q :: kt -> Type) Source # 
Instance details

Defined in Data.Type.Witness.Specific.Either

Methods

allConstraint :: forall (t :: kt). Dict (Show (EitherType p q t)) Source #

withAllConstraint :: forall k c w (a :: k) r. AllConstraint c w => w a -> (c (w a) => r) -> r Source #

allShow :: forall k w (t :: k). AllConstraint Show w => w t -> String Source #