Toml.Schema.Generic.ToValue

Use genericToTable to derive an instance of ToTable using the field names of a record.

Use genericToArray to derive an instance of ToValue using the positions of data in a constructor.

Records to Tables

class GToTable f where

Supports conversion of product types with field selector names to TOML values.

Methods

gToTable :: f a -> [(Text, Value)] -> [(Text, Value)]

Instances

GToTable (U1 :: Type -> Type)

Emits empty table

Defined in Toml.Schema.Generic.ToValue

Methods

gToTable :: U1 a -> [(Text, Value)] -> [(Text, Value)]

GToTable (V1 :: Type -> Type)

Defined in Toml.Schema.Generic.ToValue

Methods

gToTable :: V1 a -> [(Text, Value)] -> [(Text, Value)]

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

Defined in Toml.Schema.Generic.ToValue

Methods

gToTable :: (f :*: g) a -> [(Text, Value)] -> [(Text, Value)]

GToTable f => GToTable (C1 c f)

Ignores value constructor names

Defined in Toml.Schema.Generic.ToValue

Methods

gToTable :: C1 c f a -> [(Text, Value)] -> [(Text, Value)]

GToTable f => GToTable (D1 c f)

Ignores type constructor names

Defined in Toml.Schema.Generic.ToValue

Methods

gToTable :: D1 c f a -> [(Text, Value)] -> [(Text, Value)]

(Selector s, ToValue a) => GToTable (S1 s (K1 i (Maybe a) :: Type -> Type))

Omits the key from the table on nothing, includes it on just

Defined in Toml.Schema.Generic.ToValue

Methods

gToTable :: S1 s (K1 i (Maybe a)) a0 -> [(Text, Value)] -> [(Text, Value)]

(Selector s, ToValue a) => GToTable (S1 s (K1 i a :: Type -> Type))

Uses record selector name as table key

Defined in Toml.Schema.Generic.ToValue

Methods

gToTable :: S1 s (K1 i a) a0 -> [(Text, Value)] -> [(Text, Value)]

genericToTable :: (Generic a, GToTable (Rep a)) => a -> Table

Use a record's field names to generate a Value'

Product types to Arrays

class GToArray f where

Convert product types to arrays positionally.

Methods

gToArray :: f a -> [Value] -> [Value]

Instances

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

Convert left and then right

Defined in Toml.Schema.Generic.ToValue

Methods

gToArray :: (f :*: g) a -> [Value] -> [Value]

ToValue a => GToArray (K1 i a :: Type -> Type)

Convert fields using ToValue instances

Defined in Toml.Schema.Generic.ToValue

Methods

gToArray :: K1 i a a0 -> [Value] -> [Value]

GToArray f => GToArray (M1 i c f)

Ignore metadata

Defined in Toml.Schema.Generic.ToValue

Methods

gToArray :: M1 i c f a -> [Value] -> [Value]

genericToArray :: (Generic a, GToArray (Rep a)) => a -> Value

Use a record's field names to generate a Value'