Idris2Doc : Language.TOML

Language.TOML

(source)
Reexports
import public Language.TOML.Value
Definitions
data Error : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ErrDottedIsNotATable : Key -> Value -> Error
  
LexerError : Error
  
ParseError : List String -> Error
  
Unimplemented : Error

  Hint: 
Show Error
parseTOML : String -> Either Error Table
  Visibility: export