Safe Haskell	None
Language	Haskell2010

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 #