Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data KotlinClass Source #
data KotlinPrimitiveClass Source #
data KotlinExClass Source #
data KotlinDataClass Source #
data KotlinFields Source #
data KotlinField Source #
class KotlinType a where Source #
toKotlinType :: a -> Maybe KotlinClass Source #
toKotlinType :: (Generic a, GenericKotlinType (Rep a)) => a -> Maybe KotlinClass Source #
KotlinType Bool Source # | |
KotlinType Char Source # | |
KotlinType Double Source # | |
KotlinType Float Source # | |
KotlinType Int Source # | |
KotlinType Int8 Source # | |
KotlinType Int16 Source # | |
KotlinType Int32 Source # | |
KotlinType Int64 Source # | |
KotlinType () Source # | |
KotlinType Text Source # | |
KotlinType UTCTime Source # | |
KotlinType NoContent Source # | |
KotlinType a => KotlinType [a] Source # | |
KotlinType a => KotlinType (Maybe a) Source # | |
KotlinType v => KotlinType (IntMap v) Source # | |
(KotlinType a, KotlinType b) => KotlinType (a, b) Source # | |
(KotlinType k, KotlinType v) => KotlinType (Map k v) Source # | |
KotlinType a => KotlinType (Proxy * a) Source # | |
class GenericKotlinType f where Source #
genericToKotlinType :: f a -> Maybe KotlinClass Source #
KotlinType a => GenericKotlinType (Rec0 a) Source # | |
(Datatype Meta d, GenericKotlinFields f) => GenericKotlinType (D1 d f) Source # | |
class GenericKotlinFields f where Source #
genericToKotlinFields :: f a -> Maybe KotlinFields Source #
GenericKotlinFields U1 Source # | |
GenericKotlinFields ((:+:) f g) Source # | |
(GenericKotlinFields f, GenericKotlinFields g) => GenericKotlinFields ((:*:) f g) Source # | |
(Constructor Meta c, GenericKotlinFields f) => GenericKotlinFields (C1 c f) Source # | |
(Selector Meta s, GenericKotlinType a) => GenericKotlinFields (S1 s a) Source # | |
toKotlinType' :: KotlinType a => a -> KotlinClass Source #