Text.Toml.Types

Documentation

type Table = HashMap Text Node

The TOML Table is a mapping (HashMap) of Text keys to Node values.

emptyTable :: Table

Contruct an empty Table.

type VTArray = Vector Table

An array of Tables, implemented using a Vector.

type VArray = Vector Node

A "value" array that may contain zero or more Nodes, implemented using a Vector.

data Node

A Node may contain any type of value that may be put in a VArray.

Constructors

VTable Table

VTArray VTArray

VString Text

VInteger Int64

VFloat Double

VBoolean Bool

VDatetime UTCTime

VArray VArray

Instances

Eq Node

Methods

(==) :: Node -> Node -> Bool

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

Show Node

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

Generic Node

Associated Types

type Rep Node :: * -> *

Methods

from :: Node -> Rep Node x

to :: Rep Node x -> Node

NFData Node

Methods

rnf :: Node -> ()

type Rep Node

type Rep Node = D1 (MetaData "Node" "Text.Toml.Types" "htoml-megaparsec-1.0.1.11-89um945kPlQL3kfBhmSlLQ" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "VTable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Table))) (C1 (MetaCons "VTArray" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VTArray)))) ((:+:) (C1 (MetaCons "VString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) (C1 (MetaCons "VInteger" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64))))) ((:+:) ((:+:) (C1 (MetaCons "VFloat" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))) (C1 (MetaCons "VBoolean" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((:+:) (C1 (MetaCons "VDatetime" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime))) (C1 (MetaCons "VArray" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VArray))))))

data Explicitness

To mark whether or not a Table has been explicitly defined. See: https://github.com/toml-lang/toml/issues/376

Constructors

Explicit

Implicit

Instances

Eq Explicitness

Methods

(==) :: Explicitness -> Explicitness -> Bool

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

Show Explicitness

Methods

showsPrec :: Int -> Explicitness -> ShowS

show :: Explicitness -> String

showList :: [Explicitness] -> ShowS

isExplicit :: Explicitness -> Bool

Convenience function to get a boolean value.

insert :: TomlM m => Explicitness -> ([Text], Node) -> Table -> Parser m Table

Inserts a table, Table, with the namespaced name, '[Text]', (which may be part of a table array) into a Table. It may result in an error in the ParsecT monad for redefinitions.

throwParser :: (MonadPlus m, Alternative m, Ord e, MonadParsec e s m) => String -> m a

type Toml = State (Set [Text])

type TomlM m = MonadState (Set [Text]) m

type Parser m a = MonadState (Set [Text]) m => ParsecT Void Text m a