Idris2Doc : Language.TOML.Lexer

Language.TOML.Lexer

(source)
Reexports
import public Language.TOML.Tokens
Definitions
lexTOML : String -> Maybe (List (WithBounds TOMLToken))
  Totality: total
  Visibility: export