@@ -212,15 +212,25 @@ export
212alphaNums : Lexer
212alphaNums : Lexer
213alphaNums = some alphaNum
213alphaNums = some alphaNum
215−||| Recognise a whitespace character
215+||| Recognise a single whitespace character
217space : Lexer
217space : Lexer
218−space = some (pred isSpace)
218+space = pred isSpace
220+||| Recognise one or more whitespace characters
220−||| Recognise a non-alphanumeric, non-whitespace character
225+||| Recognise a single non-whitespace, non-alphanumeric character
222symbol : Lexer
227symbol : Lexer
223−symbol = some (pred (\x => not (isAlphaNum x) && not (isSpace x)))
228+symbol = pred (\x => not (isSpace x || isAlphaNum x))
230+||| Recognise one or more non-whitespace, non-alphanumeric characters
233+symbols = some symbol
225||| Recognise zero or more occurrences of a sub-lexer between
235||| Recognise zero or more occurrences of a sub-lexer between
226||| delimiting lexers
236||| delimiting lexers