Data.Swagger.Internal.TypeShape

data TypeShape

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

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

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

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

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