Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class AllConstraint c w where Source #
allConstraint :: forall t. Dict (c (w t)) Source #
Instances
AllConstraint Show NaturalType Source # | |
Defined in Data.Type.Witness.Specific.Natural allConstraint :: forall (t :: kt). Dict (Show (NaturalType t)) Source # | |
AllConstraint Show SymbolType Source # | |
Defined in Data.Type.Witness.Specific.Symbol allConstraint :: forall (t :: kt). Dict (Show (SymbolType t)) Source # | |
AllConstraint Show ((:~:) t :: kt -> Type) Source # | |
Defined in Data.Type.Witness.General.AllConstraint | |
(AllConstraint Show p, AllConstraint Show q) => AllConstraint Show (EitherType p q :: kt -> Type) Source # | |
Defined in Data.Type.Witness.Specific.Either allConstraint :: forall (t :: kt0). Dict (Show (EitherType p q t)) Source # |