Idris2Doc
: Text.TOML.Lexer
Index
Default
Alternative
Black & White
Text.TOML.Lexer
(
source
)
Definitions
lexToml
:
String
->
Either
(
Bounded
TomlErr
) (
List
(
Bounded
TomlToken
))
Totality
:
total
Visibility
:
export