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 # |
withAllConstraint :: forall k (c :: Type -> Constraint) (w :: k -> Type) (a :: k) (r :: Type). AllConstraint c w => w a -> (c (w a) => r) -> r Source #