Safe Haskell	None
Language	Haskell2010

Servant.Kotlin.Type

Documentation

data KotlinClass #

Constructors

PrimitiveClass KotlinPrimitiveClass
DataClass KotlinDataClass
ExClass KotlinExClass

Instances

Eq KotlinClass #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinClass -> KotlinClass -> Bool # (/=) :: KotlinClass -> KotlinClass -> Bool #
Show KotlinClass #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinClass -> ShowS # show :: KotlinClass -> String # showList :: [KotlinClass] -> ShowS #
GenerateKotlin KotlinClass #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinClass -> [Text] # generateKotlin' :: KotlinClass -> Text #
KotlinType a => HasForeignType LangKotlin KotlinClass (a :: Type) #
Instance details 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 #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinPrimitiveClass -> KotlinPrimitiveClass -> Bool # (/=) :: KotlinPrimitiveClass -> KotlinPrimitiveClass -> Bool #
Show KotlinPrimitiveClass #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinPrimitiveClass -> ShowS # show :: KotlinPrimitiveClass -> String # showList :: [KotlinPrimitiveClass] -> ShowS #
GenerateKotlin KotlinPrimitiveClass #
Instance details 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 #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinExClass -> KotlinExClass -> Bool # (/=) :: KotlinExClass -> KotlinExClass -> Bool #
Show KotlinExClass #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinExClass -> ShowS # show :: KotlinExClass -> String # showList :: [KotlinExClass] -> ShowS #
GenerateKotlin KotlinExClass #
Instance details Defined in Servant.Kotlin.Internal.Generate Methods generateKotlin :: KotlinExClass -> [Text] # generateKotlin' :: KotlinExClass -> Text #

data KotlinDataClass #

Constructors

KotlinDataClass Text KotlinFields

Instances

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

data KotlinFields #

Constructors

Node KotlinField
Brunch KotlinFields KotlinFields

Instances

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

data KotlinField #

Constructors

KotlinField Text KotlinClass

Instances

Eq KotlinField #
Instance details Defined in Servant.Kotlin.Type Methods (==) :: KotlinField -> KotlinField -> Bool # (/=) :: KotlinField -> KotlinField -> Bool #
Show KotlinField #
Instance details Defined in Servant.Kotlin.Type Methods showsPrec :: Int -> KotlinField -> ShowS # show :: KotlinField -> String # showList :: [KotlinField] -> ShowS #
GenerateKotlin KotlinField #
Instance details 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 #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Bool -> Maybe KotlinClass #
KotlinType Char #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Char -> Maybe KotlinClass #
KotlinType Double #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Double -> Maybe KotlinClass #
KotlinType Float #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Float -> Maybe KotlinClass #
KotlinType Int #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int -> Maybe KotlinClass #
KotlinType Int8 #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int8 -> Maybe KotlinClass #
KotlinType Int16 #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int16 -> Maybe KotlinClass #
KotlinType Int32 #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int32 -> Maybe KotlinClass #
KotlinType Int64 #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Int64 -> Maybe KotlinClass #
KotlinType () #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: () -> Maybe KotlinClass #
KotlinType Text #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Text -> Maybe KotlinClass #
KotlinType UTCTime #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: UTCTime -> Maybe KotlinClass #
KotlinType NoContent #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: NoContent -> Maybe KotlinClass #
KotlinType a => KotlinType [a] #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: [a] -> Maybe KotlinClass #
KotlinType a => KotlinType (Maybe a) #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Maybe a -> Maybe KotlinClass #
KotlinType v => KotlinType (IntMap v) #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: IntMap v -> Maybe KotlinClass #
(KotlinType a, KotlinType b) => KotlinType (a, b) #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: (a, b) -> Maybe KotlinClass #
(KotlinType k, KotlinType v) => KotlinType (Map k v) #
Instance details Defined in Servant.Kotlin.Type Methods toKotlinType :: Map k v -> Maybe KotlinClass #
KotlinType a => KotlinType (Proxy a) #
Instance details 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) #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinType :: Rec0 a a0 -> Maybe KotlinClass #
(Datatype d, GenericKotlinFields f) => GenericKotlinType (D1 d f) #
Instance details 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) #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: U1 a -> Maybe KotlinFields #
GenericKotlinFields (f :+: g) #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: (f :+: g) a -> Maybe KotlinFields #
(GenericKotlinFields f, GenericKotlinFields g) => GenericKotlinFields (f :*: g) #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: (f :*: g) a -> Maybe KotlinFields #
(Constructor c, GenericKotlinFields f) => GenericKotlinFields (C1 c f) #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: C1 c f a -> Maybe KotlinFields #
(Selector s, GenericKotlinType a) => GenericKotlinFields (S1 s a) #
Instance details Defined in Servant.Kotlin.Type Methods genericToKotlinFields :: S1 s a a0 -> Maybe KotlinFields #

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