Parser.Support.Escaping

Definitions

hex : Char -> Maybe Int

Visibility: export

dec : Char -> Maybe Int

Visibility: export

oct : Char -> Maybe Int

Visibility: export

getEsc : String -> Maybe Char

Visibility: export

unescape : Nat -> String -> Maybe String

Visibility: export