Safe Haskell	None
Language	Haskell2010

Servant.Kotlin.Type

Documentation

data KotlinClass Source #

Constructors

PrimitiveClass KotlinPrimitiveClass
DataClass KotlinDataClass
ExClass KotlinExClass

Instances

Eq KotlinClass Source #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinClass -> KotlinClass -> Bool # (/=) :: KotlinClass -> KotlinClass -> Bool #
Show KotlinClass Source #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinClass -> ShowS # show :: KotlinClass -> String # showList :: [KotlinClass] -> ShowS #
GenerateKotlin KotlinClass Source #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinClass -> [Text] Source # generateKotlin' :: KotlinClass -> Text Source #
KotlinType a => HasForeignType LangKotlin KotlinClass (a :: Type) Source #
Instance details Defined in Servant.Kotlin.Internal.Foreign Methods typeFor :: Proxy LangKotlin -> Proxy KotlinClass -> Proxy a -> KotlinClass #

data KotlinPrimitiveClass Source #

Constructors

KDouble
KFloat
KLong
KInt
KShort
KByte
KChar
KBoolean
KArray KotlinClass
KString
KUnit
KNullable KotlinClass
KAny

Instances

Eq KotlinPrimitiveClass Source #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinPrimitiveClass -> KotlinPrimitiveClass -> Bool # (/=) :: KotlinPrimitiveClass -> KotlinPrimitiveClass -> Bool #
Show KotlinPrimitiveClass Source #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinPrimitiveClass -> ShowS # show :: KotlinPrimitiveClass -> String # showList :: [KotlinPrimitiveClass] -> ShowS #
GenerateKotlin KotlinPrimitiveClass Source #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinPrimitiveClass -> [Text] Source # generateKotlin' :: KotlinPrimitiveClass -> Text Source #

data KotlinExClass Source #

Constructors

KList KotlinClass
KHashMap KotlinClass KotlinClass
KPair KotlinClass KotlinClass
KTime

Instances

Eq KotlinExClass Source #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinExClass -> KotlinExClass -> Bool # (/=) :: KotlinExClass -> KotlinExClass -> Bool #
Show KotlinExClass Source #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinExClass -> ShowS # show :: KotlinExClass -> String # showList :: [KotlinExClass] -> ShowS #
GenerateKotlin KotlinExClass Source #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinExClass -> [Text] Source # generateKotlin' :: KotlinExClass -> Text Source #

data KotlinDataClass Source #

Constructors

KotlinDataClass Text KotlinFields

Instances

Eq KotlinDataClass Source #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinDataClass -> KotlinDataClass -> Bool # (/=) :: KotlinDataClass -> KotlinDataClass -> Bool #
Show KotlinDataClass Source #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinDataClass -> ShowS # show :: KotlinDataClass -> String # showList :: [KotlinDataClass] -> ShowS #
GenerateKotlin KotlinDataClass Source #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinDataClass -> [Text] Source # generateKotlin' :: KotlinDataClass -> Text Source #

data KotlinFields Source #

Constructors

Node KotlinField
Brunch KotlinFields KotlinFields

Instances

Eq KotlinFields Source #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinFields -> KotlinFields -> Bool # (/=) :: KotlinFields -> KotlinFields -> Bool #
Show KotlinFields Source #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinFields -> ShowS # show :: KotlinFields -> String # showList :: [KotlinFields] -> ShowS #
GenerateKotlin KotlinFields Source #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinFields -> [Text] Source # generateKotlin' :: KotlinFields -> Text Source #

data KotlinField Source #

Constructors

KotlinField Text KotlinClass

Instances

Eq KotlinField Source #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinField -> KotlinField -> Bool # (/=) :: KotlinField -> KotlinField -> Bool #
Show KotlinField Source #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinField -> ShowS # show :: KotlinField -> String # showList :: [KotlinField] -> ShowS #
GenerateKotlin KotlinField Source #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinField -> [Text] Source # generateKotlin' :: KotlinField -> Text Source #

class KotlinType a where Source #

Minimal complete definition

Nothing

Methods

toKotlinType :: a -> Maybe KotlinClass Source #

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

Instances

KotlinType Bool Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Bool -> Maybe KotlinClass Source #
KotlinType Char Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Char -> Maybe KotlinClass Source #
KotlinType Double Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Double -> Maybe KotlinClass Source #
KotlinType Float Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Float -> Maybe KotlinClass Source #
KotlinType Int Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int -> Maybe KotlinClass Source #
KotlinType Int8 Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int8 -> Maybe KotlinClass Source #
KotlinType Int16 Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int16 -> Maybe KotlinClass Source #
KotlinType Int32 Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int32 -> Maybe KotlinClass Source #
KotlinType Int64 Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int64 -> Maybe KotlinClass Source #
KotlinType () Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: () -> Maybe KotlinClass Source #
KotlinType Text Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Text -> Maybe KotlinClass Source #
KotlinType UTCTime Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: UTCTime -> Maybe KotlinClass Source #
KotlinType NoContent Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: NoContent -> Maybe KotlinClass Source #
KotlinType a => KotlinType [a] Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: [a] -> Maybe KotlinClass Source #
KotlinType a => KotlinType (Maybe a) Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Maybe a -> Maybe KotlinClass Source #
KotlinType v => KotlinType (IntMap v) Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: IntMap v -> Maybe KotlinClass Source #
(KotlinType a, KotlinType b) => KotlinType (a, b) Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: (a, b) -> Maybe KotlinClass Source #
(KotlinType k, KotlinType v) => KotlinType (Map k v) Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Map k v -> Maybe KotlinClass Source #
KotlinType a => KotlinType (Proxy a) Source #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Proxy a -> Maybe KotlinClass Source #

class GenericKotlinType f where Source #

Methods

genericToKotlinType :: f a -> Maybe KotlinClass Source #

Instances

KotlinType a => GenericKotlinType (Rec0 a) Source #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinType :: Rec0 a a0 -> Maybe KotlinClass Source #
(Datatype d, GenericKotlinFields f) => GenericKotlinType (D1 d f) Source #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinType :: D1 d f a -> Maybe KotlinClass Source #

class GenericKotlinFields f where Source #

Methods

genericToKotlinFields :: f a -> Maybe KotlinFields Source #

Instances

GenericKotlinFields (U1 :: Type -> Type) Source #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: U1 a -> Maybe KotlinFields Source #
GenericKotlinFields (f :+: g) Source #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: (f :+: g) a -> Maybe KotlinFields Source #
(GenericKotlinFields f, GenericKotlinFields g) => GenericKotlinFields (f :*: g) Source #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: (f :*: g) a -> Maybe KotlinFields Source #
(Constructor c, GenericKotlinFields f) => GenericKotlinFields (C1 c f) Source #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: C1 c f a -> Maybe KotlinFields Source #
(Selector s, GenericKotlinType a) => GenericKotlinFields (S1 s a) Source #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: S1 s a a0 -> Maybe KotlinFields Source #

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