Servant.Kotlin.Type

Documentation

data KotlinClass

Constructors

PrimitiveClass KotlinPrimitiveClass

DataClass KotlinDataClass

ExClass KotlinExClass

Instances

Eq KotlinClass

Defined in Servant.Kotlin.Type

Methods

(==) :: KotlinClass -> KotlinClass -> Bool

(/=) :: KotlinClass -> KotlinClass -> Bool

Show KotlinClass

Defined in Servant.Kotlin.Type

Methods

showsPrec :: Int -> KotlinClass -> ShowS

show :: KotlinClass -> String

showList :: [KotlinClass] -> ShowS

GenerateKotlin KotlinClass

Defined in Servant.Kotlin.Internal.Generate

Methods

generateKotlin :: KotlinClass -> [Text]

generateKotlin' :: KotlinClass -> Text

KotlinType a => HasForeignType LangKotlin KotlinClass (a :: Type)

Defined in Servant.Kotlin.Internal.Foreign

Methods

typeFor :: Proxy LangKotlin -> Proxy KotlinClass -> Proxy a -> KotlinClass

data KotlinPrimitiveClass

Constructors

KDouble

KFloat

KLong

KInt

KShort

KByte

KChar

KBoolean

KArray KotlinClass

KString

KUnit

KNullable KotlinClass

KAny

Instances

Eq KotlinPrimitiveClass

Defined in Servant.Kotlin.Type

Methods

(==) :: KotlinPrimitiveClass -> KotlinPrimitiveClass -> Bool

(/=) :: KotlinPrimitiveClass -> KotlinPrimitiveClass -> Bool

Show KotlinPrimitiveClass

Defined in Servant.Kotlin.Type

Methods

showsPrec :: Int -> KotlinPrimitiveClass -> ShowS

show :: KotlinPrimitiveClass -> String

showList :: [KotlinPrimitiveClass] -> ShowS

GenerateKotlin KotlinPrimitiveClass

Defined in Servant.Kotlin.Internal.Generate

Methods

generateKotlin :: KotlinPrimitiveClass -> [Text]

generateKotlin' :: KotlinPrimitiveClass -> Text

data KotlinExClass

Constructors

KList KotlinClass

KHashMap KotlinClass KotlinClass

KPair KotlinClass KotlinClass

KTime

Instances

Eq KotlinExClass

Defined in Servant.Kotlin.Type

Methods

(==) :: KotlinExClass -> KotlinExClass -> Bool

(/=) :: KotlinExClass -> KotlinExClass -> Bool

Show KotlinExClass

Defined in Servant.Kotlin.Type

Methods

showsPrec :: Int -> KotlinExClass -> ShowS

show :: KotlinExClass -> String

showList :: [KotlinExClass] -> ShowS

GenerateKotlin KotlinExClass

Defined in Servant.Kotlin.Internal.Generate

Methods

generateKotlin :: KotlinExClass -> [Text]

generateKotlin' :: KotlinExClass -> Text

data KotlinDataClass

Constructors

KotlinDataClass Text KotlinFields

Instances

Eq KotlinDataClass

Defined in Servant.Kotlin.Type

Methods

(==) :: KotlinDataClass -> KotlinDataClass -> Bool

(/=) :: KotlinDataClass -> KotlinDataClass -> Bool

Show KotlinDataClass

Defined in Servant.Kotlin.Type

Methods

showsPrec :: Int -> KotlinDataClass -> ShowS

show :: KotlinDataClass -> String

showList :: [KotlinDataClass] -> ShowS

GenerateKotlin KotlinDataClass

Defined in Servant.Kotlin.Internal.Generate

Methods

generateKotlin :: KotlinDataClass -> [Text]

generateKotlin' :: KotlinDataClass -> Text

data KotlinFields

Constructors

Node KotlinField

Brunch KotlinFields KotlinFields

Instances

Eq KotlinFields

Defined in Servant.Kotlin.Type

Methods

(==) :: KotlinFields -> KotlinFields -> Bool

(/=) :: KotlinFields -> KotlinFields -> Bool

Show KotlinFields

Defined in Servant.Kotlin.Type

Methods

showsPrec :: Int -> KotlinFields -> ShowS

show :: KotlinFields -> String

showList :: [KotlinFields] -> ShowS

GenerateKotlin KotlinFields

Defined in Servant.Kotlin.Internal.Generate

Methods

generateKotlin :: KotlinFields -> [Text]

generateKotlin' :: KotlinFields -> Text

data KotlinField

Constructors

KotlinField Text KotlinClass

Instances

Eq KotlinField

Defined in Servant.Kotlin.Type

Methods

(==) :: KotlinField -> KotlinField -> Bool

(/=) :: KotlinField -> KotlinField -> Bool

Show KotlinField

Defined in Servant.Kotlin.Type

Methods

showsPrec :: Int -> KotlinField -> ShowS

show :: KotlinField -> String

showList :: [KotlinField] -> ShowS

GenerateKotlin KotlinField

Defined in Servant.Kotlin.Internal.Generate

Methods

generateKotlin :: KotlinField -> [Text]

generateKotlin' :: KotlinField -> Text

class KotlinType a where

Minimal complete definition

Nothing

Methods

toKotlinType :: a -> Maybe KotlinClass

toKotlinType :: (Generic a, GenericKotlinType (Rep a)) => a -> Maybe KotlinClass

Instances

KotlinType Bool

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Bool -> Maybe KotlinClass

KotlinType Char

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Char -> Maybe KotlinClass

KotlinType Double

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Double -> Maybe KotlinClass

KotlinType Float

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Float -> Maybe KotlinClass

KotlinType Int

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Int -> Maybe KotlinClass

KotlinType Int8

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Int8 -> Maybe KotlinClass

KotlinType Int16

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Int16 -> Maybe KotlinClass

KotlinType Int32

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Int32 -> Maybe KotlinClass

KotlinType Int64

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Int64 -> Maybe KotlinClass

KotlinType ()

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: () -> Maybe KotlinClass

KotlinType Text

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Text -> Maybe KotlinClass

KotlinType UTCTime

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: UTCTime -> Maybe KotlinClass

KotlinType NoContent

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: NoContent -> Maybe KotlinClass

KotlinType a => KotlinType [a]

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: [a] -> Maybe KotlinClass

KotlinType a => KotlinType (Maybe a)

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Maybe a -> Maybe KotlinClass

KotlinType v => KotlinType (IntMap v)

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: IntMap v -> Maybe KotlinClass

(KotlinType a, KotlinType b) => KotlinType (a, b)

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: (a, b) -> Maybe KotlinClass

(KotlinType k, KotlinType v) => KotlinType (Map k v)

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Map k v -> Maybe KotlinClass

KotlinType a => KotlinType (Proxy a)

Defined in Servant.Kotlin.Type

Methods

toKotlinType :: Proxy a -> Maybe KotlinClass

class GenericKotlinType f where

Methods

genericToKotlinType :: f a -> Maybe KotlinClass

Instances

KotlinType a => GenericKotlinType (Rec0 a)

Defined in Servant.Kotlin.Type

Methods

genericToKotlinType :: Rec0 a a0 -> Maybe KotlinClass

(Datatype d, GenericKotlinFields f) => GenericKotlinType (D1 d f)

Defined in Servant.Kotlin.Type

Methods

genericToKotlinType :: D1 d f a -> Maybe KotlinClass

class GenericKotlinFields f where

Methods

genericToKotlinFields :: f a -> Maybe KotlinFields

Instances

GenericKotlinFields (U1 :: Type -> Type)

Defined in Servant.Kotlin.Type

Methods

genericToKotlinFields :: U1 a -> Maybe KotlinFields

GenericKotlinFields (f :+: g)

Defined in Servant.Kotlin.Type

Methods

genericToKotlinFields :: (f :+: g) a -> Maybe KotlinFields

(GenericKotlinFields f, GenericKotlinFields g) => GenericKotlinFields (f :*: g)

Defined in Servant.Kotlin.Type

Methods

genericToKotlinFields :: (f :*: g) a -> Maybe KotlinFields

(Constructor c, GenericKotlinFields f) => GenericKotlinFields (C1 c f)

Defined in Servant.Kotlin.Type

Methods

genericToKotlinFields :: C1 c f a -> Maybe KotlinFields

(Selector s, GenericKotlinType a) => GenericKotlinFields (S1 s a)

Defined in Servant.Kotlin.Type

Methods

genericToKotlinFields :: S1 s a a0 -> Maybe KotlinFields

toKotlinType' :: KotlinType a => a -> KotlinClass