Merge pull request #4052 from msmorgan/bugfix/lexer-export-non
Text.Lexer: export `non`
commit891998f22c4ac379ead91a0f469e8984c6b3dd5d
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateMon 4 Sep 2017, 20:01 (9 years ago)
parent189d9093ace2dd
libs/contrib/Text/Lexer.idr+1
@@ -107,6 +107,7 @@ any : Lexer
107107any = Pred (const True)
108108
109109||| Recognise any character if the sub-lexer `l` fails.
110+export
110111non : (l : Lexer) -> Lexer
111112non l = reject l <+> any
112113