Idris2Doc
: Language.TOML.Parser
Index
Default
Alternative
Black & White
Language.TOML.Parser
(
source
)
Definitions
parseItems
:
List
(
WithBounds
TOMLToken
)
->
Either
(
List
String
) (
List
Item
)
Visibility
:
export