Safe Haskell | None |
---|---|
Language | Haskell2010 |
- generateKotlinForDefDataClass :: KotlinType a => Proxy a -> [Text]
- defKotlinImports :: 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]
- generateKotlinForAPIClass :: Text -> [Text] -> [Text]
- data KotlinOptions = KotlinOptions {}
- data UrlPrefix
- defKotlinOptions :: KotlinOptions
- data Spec = Spec {}
- specsToDir :: [Spec] -> FilePath -> IO ()
- class KotlinType a
- data Proxy k t :: forall k. k -> * = Proxy
Documentation
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.
KotlinOptions | |
|
defKotlinOptions :: KotlinOptions Source #
Default options for generating Kotlin code. The default options are: > { urlPrefix = Static "" > , emptyResponseKotlinTypes = [ toKotlinType NoContent ] > , stringKotlinTypes = [ toKotlinType "" ] > }
Convenience re-exports from the Kotlin module
class KotlinType a Source #
KotlinType Bool Source # | |
KotlinType Char Source # | |
KotlinType Double Source # | |
KotlinType Float Source # | |
KotlinType Int Source # | |
KotlinType Int8 Source # | |
KotlinType Int16 Source # | |
KotlinType Int32 Source # | |
KotlinType Int64 Source # | |
KotlinType () Source # | |
KotlinType Text Source # | |
KotlinType UTCTime Source # | |
KotlinType NoContent Source # | |
KotlinType a => KotlinType [a] Source # | |
KotlinType a => KotlinType (Maybe a) Source # | |
KotlinType v => KotlinType (IntMap v) Source # | |
(KotlinType a, KotlinType b) => KotlinType (a, b) Source # | |
(KotlinType k, KotlinType v) => KotlinType (Map k v) Source # | |
KotlinType a => KotlinType (Proxy * a) Source # | |
Convenience re-exports from Data.Proxy
data Proxy k t :: forall k. k -> * #
A concrete, poly-kinded proxy type
Monad (Proxy *) | |
Functor (Proxy *) | |
Applicative (Proxy *) | |
Foldable (Proxy *) | |
Generic1 (Proxy *) | |
Contravariant (Proxy *) | |
Alternative (Proxy *) | |
MonadPlus (Proxy *) | |
Bounded (Proxy k s) | |
Enum (Proxy k s) | |
Eq (Proxy k s) | |
Ord (Proxy k s) | |
Read (Proxy k s) | |
Show (Proxy k s) | |
Ix (Proxy k s) | |
Generic (Proxy k t) | |
Monoid (Proxy k s) | |
KotlinType a => KotlinType (Proxy * a) Source # | |
type Rep1 (Proxy *) | |
type Rep (Proxy k t) | |