Idrall.Lexer

Definitions

commaSep1' : Monad m => ParseT m a -> ParseT m (List1 a)

Visibility: export

blockComment : Parser String

Visibility: public export

lineComment : Parser String

Visibility: public export

whitespace : Parser ()

Visibility: public export

hexNumber : Parser Int

Visibility: public export

isSurrogate : Int -> Bool

Visibility: public export

validCodepoint : Int -> Bool

Visibility: public export

unicode : Parser Char

Visibility: public export