Moduletoml-parser-2.0.0.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.

7 types
3 values

Packagetoml-parser-2.0.0.0
Exports10
LanguageHaskell2010
LicenceISC
SourceSyntax.hs

Parsing

4 declarations

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

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)

Non-empty sequence of dotted simple keys

datadata Expr a

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.0.0 · Toml.Syntax.Types
Show a => Show (Expr a)Defined in toml-parser-2.0.0.0 · Toml.Syntax.Types

datadata Val a

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.0.0 · Toml.Syntax.Types
Show a => Show (Val a)Defined in toml-parser-2.0.0.0 · Toml.Syntax.Types

Lexing

3 declarations

valuescanToken

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

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

datadata Context

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.0.0 · Toml.Syntax.LexerUtils

datadata Token

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.0.0 · Toml.Syntax.Token
Show TokenDefined in toml-parser-2.0.0.0 · Toml.Syntax.Token

Locations

3 declarations

datadata Located a

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.0.0 · Toml.Syntax.Position
Default instance
Foldable LocatedDefined in toml-parser-2.0.0.0 · Toml.Syntax.Position
Default instance
Traversable LocatedDefined in toml-parser-2.0.0.0 · Toml.Syntax.Position
Default instance
Read a => Read (Located a)Defined in toml-parser-2.0.0.0 · Toml.Syntax.Position
Default instance
Show a => Show (Located a)Defined in toml-parser-2.0.0.0 · Toml.Syntax.Position
Default instance

datadata Position

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.0.0 · Toml.Syntax.Position
Default instance
Ord PositionDefined in toml-parser-2.0.0.0 · Toml.Syntax.Position
Default instance
Read PositionDefined in toml-parser-2.0.0.0 · Toml.Syntax.Position
Default instance
Show PositionDefined in toml-parser-2.0.0.0 · Toml.Syntax.Position
Default instance

valuestartPos :: Position

The initial Position for the start of a file