Idris2Doc
: Language.JSON.String.Parser
Index
Default
Alternative
Black & White
Language.JSON.String.Parser
Definitions
parseString
:
List
(
WithBounds
JSONStringToken
)
->
Maybe
String
Totality
:
total
Visibility
:
export