Idris2Doc
: Language.JSON.String
Index
Default
Alternative
Black & White
Language.JSON.String
Definitions
permissiveStringLit
:
Lexer
Totality
:
total
Visibility
:
export
stringValue
:
String
->
Maybe
String
Totality
:
total
Visibility
:
export