Data.Type.Witness.General.AllConstraint

Documentation

class AllConstraint c w where

Methods

allConstraint :: forall t. Dict (c (w t))

Instances

AllConstraint Show NaturalType

Defined in Data.Type.Witness.Specific.Natural

Methods

allConstraint :: forall (t :: kt). Dict (Show (NaturalType t))

AllConstraint Show SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

allConstraint :: forall (t :: kt). Dict (Show (SymbolType t))

AllConstraint Show ((:~:) t :: kt -> Type)

Defined in Data.Type.Witness.General.AllConstraint

Methods

allConstraint :: forall (t0 :: kt0). Dict (Show (t :~: t0))

(AllConstraint Show p, AllConstraint Show q) => AllConstraint Show (EitherType p q :: kt -> Type)

Defined in Data.Type.Witness.Specific.Either

Methods

allConstraint :: forall (t :: kt0). Dict (Show (EitherType p q t))

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