Moduleswagger2-2.9.1Haskell2010

Data.Swagger.Internal.TypeShape

Synopsis

datadata TypeShape

Shape of a datatype.

familytype family ProdCombine (a :: TypeShape) (b :: TypeShape) :: TypeShape where

A combined shape for a product type.

familytype family SumCombine (a :: TypeShape) (b :: TypeShape) :: TypeShape where

A combined shape for a sum type.

familytype family TypeHasSimpleShape t (f :: Symbol) :: Constraint where

familytype family GenericHasSimpleShape t (f :: Symbol) (s :: TypeShape) :: Constraint where

GenericHasSimpleShape t f 'Enumeration = ()
GenericHasSimpleShape t f 'SumOfProducts = ()
GenericHasSimpleShape t f 'Mixed = TypeError (((((('Text "Cannot derive Generic-based Swagger Schema for " ':<>: 'ShowType t) ':$$: ('ShowType t ':<>: 'Text " is a mixed sum type (has both unit and non-unit constructors).")) ':$$: 'Text "Swagger does not have a good representation for these types.") ':$$: (('Text "Use " ':<>: 'Text f) ':<>: 'Text " if you want to derive schema")) ':$$: 'Text "that matches aeson's Generic-based toJSON,") ':$$: 'Text "but that's not supported by some Swagger tools.")

familytype family GenericShape (g :: Type -> Type) :: TypeShape

Infer a TypeShape for a generic representation of a type.

Instances6GenericShape

type GenericShape (C1 c U1) = 'EnumerationDefined in swagger2-2.9.1 · Data.Swagger.Internal.TypeShape
type GenericShape (C1 c (S1 s f)) = 'SumOfProductsDefined in swagger2-2.9.1 · Data.Swagger.Internal.TypeShape
type GenericShape (C1 c (f :*: g)) = 'SumOfProductsDefined in swagger2-2.9.1 · Data.Swagger.Internal.TypeShape
type GenericShape (D1 d f) = GenericShape fDefined in swagger2-2.9.1 · Data.Swagger.Internal.TypeShape
type GenericShape (f :*: g) = ProdCombine (GenericShape f) (GenericShape g)Defined in swagger2-2.9.1 · Data.Swagger.Internal.TypeShape
type GenericShape (f :+: g) = SumCombine (GenericShape f) (GenericShape g)Defined in swagger2-2.9.1 · Data.Swagger.Internal.TypeShape