Toml.Parser.Types

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.

Documentation

type Key = NonEmpty (Located String)

Non-empty sequence of dotted simple keys

data Expr

Headers and assignments corresponding to lines of a TOML file

Constructors

KeyValExpr Key Val

key value assignment: key = value

TableExpr Key

table: [key]

ArrayTableExpr Key

array of tables: [[key]]

Instances

Read Expr

Defined in Toml.Parser.Types

Methods

readsPrec :: Int -> ReadS Expr

readList :: ReadS [Expr]

readPrec :: ReadPrec Expr

readListPrec :: ReadPrec [Expr]

Show Expr

Defined in Toml.Parser.Types

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

data Val

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

Constructors

ValInteger Integer

ValFloat Double

ValArray [Val]

ValTable [(Key, Val)]

ValBool Bool

ValString String

ValTimeOfDay TimeOfDay

ValZonedTime ZonedTime

ValLocalTime LocalTime

ValDay Day

Instances

Read Val

Defined in Toml.Parser.Types

Methods

readsPrec :: Int -> ReadS Val

readList :: ReadS [Val]

readPrec :: ReadPrec Val

readListPrec :: ReadPrec [Val]

Show Val

Defined in Toml.Parser.Types

Methods

showsPrec :: Int -> Val -> ShowS

show :: Val -> String

showList :: [Val] -> ShowS

data SectionKind

Kinds of table headers.

Constructors

TableKind

table

ArrayTableKind

[array of tables

]

Instances

Read SectionKind

Defined in Toml.Parser.Types

Methods

readsPrec :: Int -> ReadS SectionKind

readList :: ReadS [SectionKind]

readPrec :: ReadPrec SectionKind

readListPrec :: ReadPrec [SectionKind]

Show SectionKind

Defined in Toml.Parser.Types

Methods

showsPrec :: Int -> SectionKind -> ShowS

show :: SectionKind -> String

showList :: [SectionKind] -> ShowS

Eq SectionKind

Defined in Toml.Parser.Types

Methods

(==) :: SectionKind -> SectionKind -> Bool

(/=) :: SectionKind -> SectionKind -> Bool