Idris2Doc : Text.TOML.Parser

Text.TOML.Parser

(source)
Definitions
data TStack : Type
  Totality: total
  Visibility: export
  Constructors:
  
STbl : TreeTable -> SnocList Key -> TStack
  
SArr : TreeTable -> SnocList Key -> TStack
  
STop : TView Tree -> SnocList Key -> TreeTable -> TStack
  
VArr : TStack -> SnocList TomlValue -> TStack
  
VTbl : TStack -> SnocList Key -> TreeTable -> TStack
0 ST : Type -> Type
  Totality: total
  Visibility: public export
toml : P1 q TErr TomlTable
  Totality: total
  Visibility: export