Text.TOML.Internal.TStack

Definitions

data Tag : Type

Totality: total
Visibility: public export
Constructors:

New : Tag

Undef : Tag

Def : Tag

HDef : Tag

Hints:

Eq Tag

Ord Tag

Show Tag

data Tree : Type

Totality: total
Visibility: public export
Constructors:

TV : TomlValue -> Tree

TT : Tag -> SortedMap String Tree -> Tree

TA : SnocList (SortedMap String Tree) -> SortedMap String Tree -> Tree

0 TreeTable : Type

Totality: total
Visibility: public export

toTbl : TreeTable -> TomlTable

Totality: total
Visibility: export

data TView : Type -> Type

Totality: total
Visibility: public export
Constructors:

VR : TView t

VT : TView t -> SortedMap String t -> Key -> Tag -> TView t

VA : TView Tree -> TreeTable -> Key -> SnocList TreeTable -> TView Tree

tagAsHDef : TView t -> TView t

Totality: total
Visibility: export

exists : TomlValue -> List Key -> TView t -> TErr

Totality: total
Visibility: export

vexists : TView t -> TErr

Totality: total
Visibility: export

view : TView Tree -> TreeTable -> List Key -> Either TErr (TView Tree, TreeTable)

Totality: total
Visibility: export

tview : TreeTable -> List Key -> Either TErr (TView Tree, TreeTable)

Totality: total
Visibility: export

reduceT : Tag -> TreeTable -> TView Tree -> TreeTable

Totality: total
Visibility: export

addVal : TreeTable -> SnocList Key -> TomlValue -> Either TErr TreeTable

Totality: total
Visibility: export