Data.Swagger.Internal.TypeShape

Documentation

data TypeShape

Shape of a datatype.

Constructors

Enumeration

A simple enumeration.

SumOfProducts

A product or a sum of non-unit products.

Mixed

Mixed sum type with both unit and non-unit constructors.

type family ProdCombine (a :: TypeShape) (b :: TypeShape) :: TypeShape where ...

A combined shape for a product type.

Equations

ProdCombine Mixed b = Mixed

ProdCombine a Mixed = Mixed

ProdCombine a b = SumOfProducts

type family SumCombine (a :: TypeShape) (b :: TypeShape) :: TypeShape where ...

A combined shape for a sum type.

Equations

SumCombine Enumeration Enumeration = Enumeration

SumCombine SumOfProducts SumOfProducts = SumOfProducts

SumCombine a b = Mixed

type family TypeHasSimpleShape t (f :: Symbol) :: Constraint where ...

Equations

TypeHasSimpleShape t f = GenericHasSimpleShape t f (GenericShape (Rep t))

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

Equations

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.")

type family GenericShape (g :: * -> *) :: TypeShape

Infer a TypeShape for a generic representation of a type.

Instances

type GenericShape (f :*: g)

Defined in Data.Swagger.Internal.TypeShape

type GenericShape (f :*: g) = ProdCombine (GenericShape f) (GenericShape g)

type GenericShape (f :+: g)

Defined in Data.Swagger.Internal.TypeShape

type GenericShape (f :+: g) = SumCombine (GenericShape f) (GenericShape g)

type GenericShape (C1 c (f :*: g))

Defined in Data.Swagger.Internal.TypeShape

type GenericShape (C1 c (f :*: g)) = 'SumOfProducts

type GenericShape (C1 c (S1 s f))

Defined in Data.Swagger.Internal.TypeShape

type GenericShape (C1 c (S1 s f)) = 'SumOfProducts

type GenericShape (C1 c (U1 :: Type -> Type))

Defined in Data.Swagger.Internal.TypeShape

type GenericShape (C1 c (U1 :: Type -> Type)) = 'Enumeration

type GenericShape (D1 d f)

Defined in Data.Swagger.Internal.TypeShape

type GenericShape (D1 d f) = GenericShape f