2015-11-16 18:40:15 +01:00
|
|
|
-- | Generalizes all the data needed to make code generation work with
|
|
|
|
-- arbitrary programming languages.
|
|
|
|
module Servant.Foreign
|
|
|
|
( HasForeign(..)
|
2015-11-28 09:13:26 +01:00
|
|
|
, HasForeignType(..)
|
2015-11-16 18:40:15 +01:00
|
|
|
, Segment(..)
|
|
|
|
, SegmentType(..)
|
|
|
|
, FunctionName
|
|
|
|
, QueryArg(..)
|
|
|
|
, HeaderArg(..)
|
|
|
|
, ArgType(..)
|
|
|
|
, Req
|
|
|
|
, captureArg
|
|
|
|
, defReq
|
|
|
|
, concatCase
|
|
|
|
, snakeCase
|
|
|
|
, camelCase
|
|
|
|
-- lenses
|
|
|
|
, argType
|
|
|
|
, argName
|
|
|
|
, isCapture
|
|
|
|
, funcName
|
|
|
|
, path
|
|
|
|
, reqUrl
|
|
|
|
, reqBody
|
|
|
|
, reqHeaders
|
|
|
|
, reqMethod
|
2015-11-28 09:13:26 +01:00
|
|
|
, reqReturnType
|
2015-11-16 18:40:15 +01:00
|
|
|
, segment
|
|
|
|
, queryStr
|
2015-12-02 12:21:37 +01:00
|
|
|
, listFromAPI
|
|
|
|
, GenerateList(..)
|
2015-11-16 18:40:15 +01:00
|
|
|
-- re-exports
|
|
|
|
, module Servant.API
|
|
|
|
) where
|
|
|
|
|
|
|
|
import Servant.API
|
|
|
|
import Servant.Foreign.Internal
|