Toml.FromValue.Generic

Use genericParseTable to derive a ParseTable using the field names of a record. This can be combined with parseTableFromValue to derive a FromValue instance.

Record from table

class GParseTable f where

Supports conversion of TOML tables into record values using field selector names as TOML keys.

Since: 1.0.2.0

Methods

gParseTable :: ParseTable (f a)

Convert a value and apply the continuation to the result.

Instances

GParseTable (U1 :: Type -> Type)

Emits empty table

Defined in Toml.FromValue.Generic

Methods

gParseTable :: ParseTable (U1 a)

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

Matches left then right component

Defined in Toml.FromValue.Generic

Methods

gParseTable :: ParseTable ((f :*: g) a)

GParseTable f => GParseTable (C1 ('MetaCons sym fix 'True) f)

Ignores value constructor name - only supports record constructors

Defined in Toml.FromValue.Generic

Methods

gParseTable :: ParseTable (C1 ('MetaCons sym fix 'True) f a)

GParseTable f => GParseTable (D1 c f)

Ignores type constructor name

Defined in Toml.FromValue.Generic

Methods

gParseTable :: ParseTable (D1 c f a)

(Selector s, FromValue a) => GParseTable (S1 s (K1 i (Maybe a) :: Type -> Type))

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

Defined in Toml.FromValue.Generic

Methods

gParseTable :: ParseTable (S1 s (K1 i (Maybe a)) a0)

(Selector s, FromValue a) => GParseTable (S1 s (K1 i a :: Type -> Type))

Uses record selector name as table key

Defined in Toml.FromValue.Generic

Methods

gParseTable :: ParseTable (S1 s (K1 i a) a0)

genericParseTable :: (Generic a, GParseTable (Rep a)) => ParseTable a

Match a Table using the field names in a record.

Since: 1.2.0.0

Product type from array

class GFromArray f where

Supports conversion of TOML arrays into product-type values.

Since: 1.3.2.0

Methods

gFromArray :: StateT [Value] Matcher (f a)

Instances

GFromArray (U1 :: Type -> Type)

Uses no array elements

Defined in Toml.FromValue.Generic

Methods

gFromArray :: StateT [Value] Matcher (U1 a)

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

Defined in Toml.FromValue.Generic

Methods

gFromArray :: StateT [Value] Matcher ((f :*: g) a)

FromValue a => GFromArray (K1 i a :: Type -> Type)

Defined in Toml.FromValue.Generic

Methods

gFromArray :: StateT [Value] Matcher (K1 i a a0)

GFromArray f => GFromArray (M1 i c f)

Defined in Toml.FromValue.Generic

Methods

gFromArray :: StateT [Value] Matcher (M1 i c f a)

genericFromArray :: (Generic a, GFromArray (Rep a)) => Value -> Matcher a

Match a Value as an array positionally matching field fields of a constructor to the elements of the array.

Since: 1.3.2.0