Language.TOML.Tokens

Definitions

strTrue : String

Totality: total
Visibility: public export

strFalse : String

Totality: total
Visibility: public export

data Bracket : Type

Totality: total
Visibility: public export
Constructors:

Open : Bracket

Close : Bracket

Hints:

Eq Bracket

Show Bracket

data Punctuation : Type

Totality: total
Visibility: public export
Constructors:

Comma : Punctuation

Dot : Punctuation

Equal : Punctuation

NewLine : Punctuation

Square : Bracket -> Punctuation

Curly : Bracket -> Punctuation

Hints:

Eq Punctuation

Show Punctuation

data StringType : Type

  What sort of string this is
  Names are taken from the [toml spec](https://toml.io/en/v1.0.0#string)

Totality: total
Visibility: public export
Constructors:

Basic : StringType

  Double quoted, single-line string
  Supports escaping
  "hello \n world"

Literal : StringType

  Single quoted, singe-line string
  Does not support escaping
  'hello \n world'

BasicMultiline : StringType

  Double quoted, multi-line string
  Supports escaping and line folding

LiteralMultiline : StringType

  Single quoted, multi-line string
  Does not support escaping or line folding

Hints:

Eq StringType

Show StringType

data TOMLTokenKind : Type

Totality: total
Visibility: public export
Constructors:

TTBoolean : TOMLTokenKind

TTInt : TOMLTokenKind

TTFloat : TOMLTokenKind

TTString : StringType -> TOMLTokenKind

TTPunct : Punctuation -> TOMLTokenKind

TTBare : TOMLTokenKind

TTIgnored : TOMLTokenKind

Hints:

Eq TOMLTokenKind

Show TOMLTokenKind

TokenKind TOMLTokenKind

TOMLToken : Type

Totality: total
Visibility: public export

parseFloat : String -> Double

Totality: total
Visibility: export

getString : Token TOMLTokenKind -> Maybe (Either String String)

Totality: total
Visibility: export

getKeyString : Token TOMLTokenKind -> Maybe (Either String String)

Totality: total
Visibility: export

ignored : WithBounds TOMLToken -> Bool

Totality: total
Visibility: export