Idris2Doc : Language.JSON.String

Language.JSON.String

Definitions

permissiveStringLit : Lexer
Totality: total
Visibility: export
stringValue : String->MaybeString
Totality: total
Visibility: export