Toml.Syntax.Types

Description

This module provides a raw representation of TOML files as a list of table definitions and key-value assignments.

These values use the raw dotted keys and have no detection for overlapping assignments.

Further processing will happen in the Semantics module.

Synopsis

Documentation

Non-empty sequence of dotted simple keys

Headers and assignments corresponding to lines of a TOML file

Constructors

KeyValExpr (Key a) (Val a)	key value assignment: `key = value`
TableExpr (Key a)	table: `[key]`
ArrayTableExpr (Key a)	array of tables: `[[key]]`

Instances details

Read a => Read (Expr a) Source #
Instance details Defined in Toml.Syntax.Types Methods readsPrec :: Int -> ReadS (Expr a) # readList :: ReadS [Expr a] # readPrec :: ReadPrec (Expr a) # readListPrec :: ReadPrec [Expr a] #
Show a => Show (Expr a) Source #
Instance details Defined in Toml.Syntax.Types Methods showsPrec :: Int -> Expr a -> ShowS # show :: Expr a -> String # showList :: [Expr a] -> ShowS #

Unvalidated TOML values. Table are represented as a list of assignments rather than as resolved maps.

Constructors

Instances details

Read a => Read (Val a) Source #
Instance details Defined in Toml.Syntax.Types Methods readsPrec :: Int -> ReadS (Val a) # readList :: ReadS [Val a] # readPrec :: ReadPrec (Val a) # readListPrec :: ReadPrec [Val a] #
Show a => Show (Val a) Source #
Instance details Defined in Toml.Syntax.Types Methods showsPrec :: Int -> Val a -> ShowS # show :: Val a -> String # showList :: [Val a] -> ShowS #

Kinds of table headers

Constructors

TableKind	table
ArrayTableKind	[array of tables ]

Instances details

Read SectionKind Source #
Instance details Defined in Toml.Syntax.Types Methods readsPrec :: Int -> ReadS SectionKind # readList :: ReadS [SectionKind] # readPrec :: ReadPrec SectionKind # readListPrec :: ReadPrec [SectionKind] #
Show SectionKind Source #
Instance details Defined in Toml.Syntax.Types Methods showsPrec :: Int -> SectionKind -> ShowS # show :: SectionKind -> String # showList :: [SectionKind] -> ShowS #
Eq SectionKind Source #
Instance details Defined in Toml.Syntax.Types Methods (==) :: SectionKind -> SectionKind -> Bool # (/=) :: SectionKind -> SectionKind -> Bool #