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

Defined in Text.Toml.Types

Methods

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

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

Show Node

Defined in Text.Toml.Types

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

Generic Node

Defined in Text.Toml.Types

Associated Types

type Rep Node :: * -> *

Methods

from :: Node -> Rep Node x

to :: Rep Node x -> Node

NFData Node

Defined in Text.Toml.Types

Methods

rnf :: Node -> ()

type Rep Node

Defined in Text.Toml.Types

type Rep Node = D1 (MetaData "Node" "Text.Toml.Types" "htoml-megaparsec-2.0.0.2-L00X0FCTKEvKahFpGmnFoG-htoml-internal" False) (((C1 (MetaCons "VTable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Table)) :+: C1 (MetaCons "VTArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VTArray))) :+: (C1 (MetaCons "VString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "VInteger" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))) :+: ((C1 (MetaCons "VFloat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) :+: C1 (MetaCons "VBoolean" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) :+: (C1 (MetaCons "VDatetime" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime)) :+: C1 (MetaCons "VArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe 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

Defined in Text.Toml.Types

Methods

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

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

Show Explicitness

Defined in Text.Toml.Types

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