Prolude.Swagger

SwaggerType re-export

data SwaggerType (t :: SwaggerKind Type) where

Constructors

SwaggerString :: forall (t :: SwaggerKind Type). SwaggerType t

SwaggerNumber :: forall (t :: SwaggerKind Type). SwaggerType t

SwaggerInteger :: forall (t :: SwaggerKind Type). SwaggerType t

SwaggerBoolean :: forall (t :: SwaggerKind Type). SwaggerType t

SwaggerArray :: forall (t :: SwaggerKind Type). SwaggerType t

SwaggerFile :: SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type)

SwaggerNull :: SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)

SwaggerObject :: SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)

Instances

HasType ParamOtherSchema (Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' ParamOtherSchema (Maybe (SwaggerType 'SwaggerKindParamOtherSchema))

HasType Schema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' Schema (Maybe (SwaggerType 'SwaggerKindSchema))

HasType NamedSchema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' NamedSchema (Maybe (SwaggerType 'SwaggerKindSchema))

HasType Header (Maybe (SwaggerType ('SwaggerKindNormal Header)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' Header (Maybe (SwaggerType ('SwaggerKindNormal Header)))

Eq (SwaggerType t)

Defined in Data.Swagger.Internal

Methods

(==) :: SwaggerType t -> SwaggerType t -> Bool

(/=) :: SwaggerType t -> SwaggerType t -> Bool

Data (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerType 'SwaggerKindSchema -> c (SwaggerType 'SwaggerKindSchema)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerType 'SwaggerKindSchema)

toConstr :: SwaggerType 'SwaggerKindSchema -> Constr

dataTypeOf :: SwaggerType 'SwaggerKindSchema -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerType 'SwaggerKindSchema))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerType 'SwaggerKindSchema))

gmapT :: (forall b. Data b => b -> b) -> SwaggerType 'SwaggerKindSchema -> SwaggerType 'SwaggerKindSchema

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType 'SwaggerKindSchema -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType 'SwaggerKindSchema -> r

gmapQ :: (forall d. Data d => d -> u) -> SwaggerType 'SwaggerKindSchema -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerType 'SwaggerKindSchema -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerType 'SwaggerKindSchema -> m (SwaggerType 'SwaggerKindSchema)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType 'SwaggerKindSchema -> m (SwaggerType 'SwaggerKindSchema)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType 'SwaggerKindSchema -> m (SwaggerType 'SwaggerKindSchema)

Data (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerType 'SwaggerKindParamOtherSchema -> c (SwaggerType 'SwaggerKindParamOtherSchema)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerType 'SwaggerKindParamOtherSchema)

toConstr :: SwaggerType 'SwaggerKindParamOtherSchema -> Constr

dataTypeOf :: SwaggerType 'SwaggerKindParamOtherSchema -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerType 'SwaggerKindParamOtherSchema))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerType 'SwaggerKindParamOtherSchema))

gmapT :: (forall b. Data b => b -> b) -> SwaggerType 'SwaggerKindParamOtherSchema -> SwaggerType 'SwaggerKindParamOtherSchema

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType 'SwaggerKindParamOtherSchema -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType 'SwaggerKindParamOtherSchema -> r

gmapQ :: (forall d. Data d => d -> u) -> SwaggerType 'SwaggerKindParamOtherSchema -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerType 'SwaggerKindParamOtherSchema -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerType 'SwaggerKindParamOtherSchema -> m (SwaggerType 'SwaggerKindParamOtherSchema)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType 'SwaggerKindParamOtherSchema -> m (SwaggerType 'SwaggerKindParamOtherSchema)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType 'SwaggerKindParamOtherSchema -> m (SwaggerType 'SwaggerKindParamOtherSchema)

Typeable t => Data (SwaggerType ('SwaggerKindNormal t))

Defined in Data.Swagger.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerType ('SwaggerKindNormal t) -> c (SwaggerType ('SwaggerKindNormal t))

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerType ('SwaggerKindNormal t))

toConstr :: SwaggerType ('SwaggerKindNormal t) -> Constr

dataTypeOf :: SwaggerType ('SwaggerKindNormal t) -> DataType

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (SwaggerType ('SwaggerKindNormal t)))

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (SwaggerType ('SwaggerKindNormal t)))

gmapT :: (forall b. Data b => b -> b) -> SwaggerType ('SwaggerKindNormal t) -> SwaggerType ('SwaggerKindNormal t)

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType ('SwaggerKindNormal t) -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType ('SwaggerKindNormal t) -> r

gmapQ :: (forall d. Data d => d -> u) -> SwaggerType ('SwaggerKindNormal t) -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerType ('SwaggerKindNormal t) -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerType ('SwaggerKindNormal t) -> m (SwaggerType ('SwaggerKindNormal t))

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType ('SwaggerKindNormal t) -> m (SwaggerType ('SwaggerKindNormal t))

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType ('SwaggerKindNormal t) -> m (SwaggerType ('SwaggerKindNormal t))

Show (SwaggerType t)

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> SwaggerType t -> ShowS

show :: SwaggerType t -> String

showList :: [SwaggerType t] -> ShowS

ToJSON (SwaggerType t)

Defined in Data.Swagger.Internal

Methods

toJSON :: SwaggerType t -> Value

toEncoding :: SwaggerType t -> Encoding

toJSONList :: [SwaggerType t] -> Value

toEncodingList :: [SwaggerType t] -> Encoding

FromJSON (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (SwaggerType 'SwaggerKindSchema)

parseJSONList :: Value -> Parser [SwaggerType 'SwaggerKindSchema]

FromJSON (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (SwaggerType 'SwaggerKindParamOtherSchema)

parseJSONList :: Value -> Parser [SwaggerType 'SwaggerKindParamOtherSchema]

FromJSON (SwaggerType ('SwaggerKindNormal t))

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (SwaggerType ('SwaggerKindNormal t))

parseJSONList :: Value -> Parser [SwaggerType ('SwaggerKindNormal t)]

SwaggerMonoid (SwaggerType t)

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: SwaggerType t

swaggerMappend :: SwaggerType t -> SwaggerType t -> SwaggerType t

AesonDefaultValue (SwaggerType a)

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe (SwaggerType a)

HasType (ParamSchema t) (Maybe (SwaggerType t))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' (ParamSchema t) (Maybe (SwaggerType t))

Alias types

We created type aliases for Swagger.ToSchema and Swagger.ToParamSchema.

type SwaggerToSchema = ToSchema

type SwaggerToParamSchema = ToParamSchema

Functions

defaultDeclareNamedSchema :: Applicative f => (Schema -> Schema) -> proxy a -> f NamedSchema

Function to help with Swagger.ToSchema instances