Moduletoml-parser-2.0.0.0Haskell2010

Toml.Schema.Generic.FromValue

Generic implementations of matching tables and arrays.

Record from table

3 declarations

classclass GParseTable (f :: Type -> Type) where

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

gParseTable :: ParseTable l (f a)
Convert a value and apply the continuation to the result.

Instances6GParseTable

GParseTable U1Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
Emits empty table
GParseTable f => GParseTable (C1 ('MetaCons sym fix 'True) f)Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
Ignores value constructor name - only supports record constructors
GParseTable f => GParseTable (D1 c f)Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
Ignores type constructor name
(Selector s, FromValue a) => GParseTable (S1 s (K1 i (Maybe a)))Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
Omits the key from the table on nothing, includes it on just
(Selector s, FromValue a) => GParseTable (S1 s (K1 i a))Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
Uses record selector name as table key
(GParseTable f, GParseTable g) => GParseTable (f :*: g)Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
Matches left then right component

valuegenericParseTable :: (Generic a, GParseTable (Rep a)) => ParseTable l a

Match a Toml.Semantics.Table' using the field names in a record.

valuegenericFromTable

Implementation of fromValue using genericParseTable to derive a match from the record field names of the target type.

2 declarations

classclass GFromArray (f :: Type -> Type) where

Supports conversion of TOML arrays into product-type values.

Instances4GFromArray

GFromArray U1Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
Uses no array elements
FromValue a => GFromArray (K1 i a)Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
(GFromArray f, GFromArray g) => GFromArray (f :*: g)Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue
GFromArray f => GFromArray (M1 i c f)Defined in toml-parser-2.0.0.0 · Toml.Schema.Generic.FromValue

valuegenericFromArray

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