Servant.Kotlin.Type

Documentation

data KotlinClass

Constructors

PrimitiveClass KotlinPrimitiveClass

DataClass KotlinDataClass

ExClass KotlinExClass

Instances

Eq KotlinClass

Methods

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

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

Show KotlinClass

Methods

showsPrec :: Int -> KotlinClass -> ShowS

show :: KotlinClass -> String

showList :: [KotlinClass] -> ShowS

GenerateKotlin KotlinClass

Methods

generateKotlin :: KotlinClass -> [Text]

generateKotlin' :: KotlinClass -> Text

KotlinType a => HasForeignType * * LangKotlin KotlinClass a

Methods

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

data KotlinPrimitiveClass

Constructors

KDouble

KFloat

KLong

KInt

KShort

KByte

KChar

KBoolean

KArray KotlinClass

KString

KUnit

KNullable KotlinClass

KAny

Instances

Eq KotlinPrimitiveClass

Methods

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

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

Show KotlinPrimitiveClass

Methods

showsPrec :: Int -> KotlinPrimitiveClass -> ShowS

show :: KotlinPrimitiveClass -> String

showList :: [KotlinPrimitiveClass] -> ShowS

GenerateKotlin KotlinPrimitiveClass

Methods

generateKotlin :: KotlinPrimitiveClass -> [Text]

generateKotlin' :: KotlinPrimitiveClass -> Text

data KotlinExClass

Constructors

KList KotlinClass

KHashMap KotlinClass KotlinClass

KPair KotlinClass KotlinClass

KTime

Instances

Eq KotlinExClass

Methods

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

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

Show KotlinExClass

Methods

showsPrec :: Int -> KotlinExClass -> ShowS

show :: KotlinExClass -> String

showList :: [KotlinExClass] -> ShowS

GenerateKotlin KotlinExClass

Methods

generateKotlin :: KotlinExClass -> [Text]

generateKotlin' :: KotlinExClass -> Text

data KotlinDataClass

Constructors

KotlinDataClass Text KotlinFields

Instances

Eq KotlinDataClass

Methods

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

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

Show KotlinDataClass

Methods

showsPrec :: Int -> KotlinDataClass -> ShowS

show :: KotlinDataClass -> String

showList :: [KotlinDataClass] -> ShowS

GenerateKotlin KotlinDataClass

Methods

generateKotlin :: KotlinDataClass -> [Text]

generateKotlin' :: KotlinDataClass -> Text

data KotlinFields

Constructors

Node KotlinField

Brunch KotlinFields KotlinFields

Instances

Eq KotlinFields

Methods

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

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

Show KotlinFields

Methods

showsPrec :: Int -> KotlinFields -> ShowS

show :: KotlinFields -> String

showList :: [KotlinFields] -> ShowS

GenerateKotlin KotlinFields

Methods

generateKotlin :: KotlinFields -> [Text]

generateKotlin' :: KotlinFields -> Text

data KotlinField

Constructors

KotlinField Text KotlinClass

Instances

Eq KotlinField

Methods

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

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

Show KotlinField

Methods

showsPrec :: Int -> KotlinField -> ShowS

show :: KotlinField -> String

showList :: [KotlinField] -> ShowS

GenerateKotlin KotlinField

Methods

generateKotlin :: KotlinField -> [Text]

generateKotlin' :: KotlinField -> Text

class KotlinType a where

Methods

toKotlinType :: a -> Maybe KotlinClass

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

Instances

KotlinType Bool

Methods

toKotlinType :: Bool -> Maybe KotlinClass

KotlinType Char

Methods

toKotlinType :: Char -> Maybe KotlinClass

KotlinType Double

Methods

toKotlinType :: Double -> Maybe KotlinClass

KotlinType Float

Methods

toKotlinType :: Float -> Maybe KotlinClass

KotlinType Int

Methods

toKotlinType :: Int -> Maybe KotlinClass

KotlinType Int8

Methods

toKotlinType :: Int8 -> Maybe KotlinClass

KotlinType Int16

Methods

toKotlinType :: Int16 -> Maybe KotlinClass

KotlinType Int32

Methods

toKotlinType :: Int32 -> Maybe KotlinClass

KotlinType Int64

Methods

toKotlinType :: Int64 -> Maybe KotlinClass

KotlinType ()

Methods

toKotlinType :: () -> Maybe KotlinClass

KotlinType Text

Methods

toKotlinType :: Text -> Maybe KotlinClass

KotlinType UTCTime

Methods

toKotlinType :: UTCTime -> Maybe KotlinClass

KotlinType NoContent

Methods

toKotlinType :: NoContent -> Maybe KotlinClass

KotlinType a => KotlinType [a]

Methods

toKotlinType :: [a] -> Maybe KotlinClass

KotlinType a => KotlinType (Maybe a)

Methods

toKotlinType :: Maybe a -> Maybe KotlinClass

KotlinType v => KotlinType (IntMap v)

Methods

toKotlinType :: IntMap v -> Maybe KotlinClass

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

Methods

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

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

Methods

toKotlinType :: Map k v -> Maybe KotlinClass

KotlinType a => KotlinType (Proxy * a)

Methods

toKotlinType :: Proxy * a -> Maybe KotlinClass

class GenericKotlinType f where

Minimal complete definition

genericToKotlinType

Methods

genericToKotlinType :: f a -> Maybe KotlinClass

Instances

KotlinType a => GenericKotlinType (Rec0 * a)

Methods

genericToKotlinType :: Rec0 * a a -> Maybe KotlinClass

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

Methods

genericToKotlinType :: D1 * d f a -> Maybe KotlinClass

class GenericKotlinFields f where

Minimal complete definition

genericToKotlinFields

Methods

genericToKotlinFields :: f a -> Maybe KotlinFields

Instances

GenericKotlinFields (U1 *)

Methods

genericToKotlinFields :: U1 * a -> Maybe KotlinFields

GenericKotlinFields ((:+:) * f g)

Methods

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

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

Methods

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

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

Methods

genericToKotlinFields :: C1 * c f a -> Maybe KotlinFields

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

Methods

genericToKotlinFields :: S1 * s a a -> Maybe KotlinFields

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