Moduletoml-parser-2.0.2.0Haskell2010

Toml.Syntax

These are the low-level processing functions for transforming concrete TOML syntax into abstract TOML syntax. This module does not do any semantic validation of the parsed TOML.

Contents

Parsing
Lexing
Locations

Synopsis

value parseRawToml
type Key
data Expr
data Val
value scanToken
data Context
data Token
data Located
data Position
value startPos

Packagetoml-parser-2.0.2.0
Exports10
LanguageHaskell2010
LicenceISC
SourceSyntax.hs

Parsing

valueparseRawToml :: Text -> Either (Located String) [Expr Position]

Source#

Parse a list of tokens either returning the first unexpected token or a list of the TOML statements in the file to be processed by Toml.Semantics.

typetype Key a = NonEmpty (a, Text)

Source#

Non-empty sequence of dotted simple keys

datadata Expr a

Source#

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]]

Instances2Read, Show

Read a => Read (Expr a)Defined in toml-parser-2.0.2.0 · Toml.Syntax.Types
Show a => Show (Expr a)Defined in toml-parser-2.0.2.0 · Toml.Syntax.Types

datadata Val a

Source#

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

Constructors

Instances2Read, Show

Read a => Read (Val a)Defined in toml-parser-2.0.2.0 · Toml.Syntax.Types
Show a => Show (Val a)Defined in toml-parser-2.0.2.0 · Toml.Syntax.Types

Lexing

valuescanToken

:: Context
-> Located Text
-> Either (Located String) (Located Token, Located Text)

Source#

Get the next token from a located string or a located error message.

datadata Context

Source#

Representation of the current lexer state.

Constructors

TopContext
top-level where [[ and ]] have special meaning
TableContext
inline table - lex key names
ValueContext
value lexer - lex number literals
MlBstrContext Position [Text]
multiline basic string: position of opening delimiter and list of fragments
BstrContext Position [Text]
basic string: position of opening delimiter and list of fragments
MlLstrContext Position [Text]
multiline literal string: position of opening delimiter and list of fragments
LstrContext Position [Text]
literal string: position of opening delimiter and list of fragments

Instances1Show

Show ContextDefined in toml-parser-2.0.2.0 · Toml.Syntax.LexerUtils

datadata Token

Source#

Lexical token

Constructors

TokTrue
```
true
```
TokFalse
```
false
```
TokComma
```
','
```
TokEquals
```
=
```
TokNewline
```
end-of-line
```
TokPeriod
```
.
```
TokSquareO
```
'['
```
TokSquareC
```
']'
```
Tok2SquareO
```
'[['
```
Tok2SquareC
```
']]'
```
TokCurlyO
```
'{'
```
TokCurlyC
```
'}'
```
TokBareKey Text
bare key
TokString Text
string literal
TokMlString Text
multiline string literal
TokInteger !Integer
integer literal
TokFloat !Double
floating-point literal
TokOffsetDateTime !ZonedTime
date-time with timezone offset
TokLocalDateTime !LocalTime
local date-time
TokLocalDate !Day
local date
TokLocalTime !TimeOfDay
local time
TokEOF
```
end-of-input
```

Instances2Read, Show

Read TokenDefined in toml-parser-2.0.2.0 · Toml.Syntax.Token
Show TokenDefined in toml-parser-2.0.2.0 · Toml.Syntax.Token

Locations

datadata Located a

Source#

A value annotated with its text file position

Constructors

Located
- locPosition :: !Position
  position
- locThing :: !a
  thing at position

Instances5Functor, Foldable, Traversable, Read, Show

Functor LocatedDefined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance
Foldable LocatedDefined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance
Traversable LocatedDefined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance
Read a => Read (Located a)Defined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance
Show a => Show (Located a)Defined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance

datadata Position

Source#

A position in a text file

Constructors

Position
- posIndex :: !Int
  code-point index (zero-based)
- posLine :: !Int
  line index (one-based)
- posColumn :: !Int
  column index (one-based)

Instances4Eq, Ord, Read, Show

Eq PositionDefined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance
Ord PositionDefined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance
Read PositionDefined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance
Show PositionDefined in toml-parser-2.0.2.0 · Toml.Syntax.Position
Default instance

valuestartPos :: Position

Source#

The initial Position for the start of a file