| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Servant.Kotlin.Internal.Generate
- class GenerateKotlin a where
- generateKotlinForDefDataClass :: KotlinType a => Proxy a -> [Text]
- generateKotlinForDefDataClass' :: KotlinClass -> [Text]
- defKotlinImports :: Text
- generateKotlinForAPIClass :: Text -> [Text] -> [Text]
- generateKotlinForAPI :: (HasForeign LangKotlin KotlinClass api, GenerateList KotlinClass (Foreign KotlinClass api)) => Proxy api -> [Text]
- generateKotlinForAPIWith :: (HasForeign LangKotlin KotlinClass api, GenerateList KotlinClass (Foreign KotlinClass api)) => KotlinOptions -> Proxy api -> [Text]
- data KotlinOptions = KotlinOptions {}
- defKotlinOptions :: KotlinOptions
- data UrlPrefix
Documentation
class GenerateKotlin a where Source #
Minimal complete definition
generateKotlinForDefDataClass :: KotlinType a => Proxy a -> [Text] Source #
generateKotlinForAPI :: (HasForeign LangKotlin KotlinClass api, GenerateList KotlinClass (Foreign KotlinClass api)) => Proxy api -> [Text] Source #
Generate Kotlin code for the API with default options. Returns a list of Kotlin functions to query your Servant API from Kotlin.
generateKotlinForAPIWith :: (HasForeign LangKotlin KotlinClass api, GenerateList KotlinClass (Foreign KotlinClass api)) => KotlinOptions -> Proxy api -> [Text] Source #
Generate Kotlin code for the API with custom options.
data KotlinOptions Source #
Options to configure how code is generated.
Constructors
| KotlinOptions | |
Fields
| |
defKotlinOptions :: KotlinOptions Source #
Default options for generating Kotlin code. The default options are: > { urlPrefix = Static "" > , emptyResponseKotlinTypes = [ toKotlinType NoContent ] > , stringKotlinTypes = [ toKotlinType "" ] > }