@@ -197,6 +197,14 @@ symbol = pred (\x => not (isSpace x || isAlphaNum x))
197symbols : Lexer
197symbols : Lexer
198symbols = some symbol
198symbols = some symbol
200+||| Recognise a single control character
202+control = pred isControl
204+||| Recognise one or more control characters
206+controls = some control
200||| Recognise zero or more occurrences of a sub-lexer between
208||| Recognise zero or more occurrences of a sub-lexer between
201||| delimiting lexers
209||| delimiting lexers
202surround : (start : Lexer) -> (end : Lexer) -> (l : Lexer) -> Lexer
210surround : (start : Lexer) -> (end : Lexer) -> (l : Lexer) -> Lexer