Text.Lexer: export `non`
`non` was missing its `export` modifier.
commit3ace2ddd8696b76be79e532ba964dc533699188f
authorMichael Morgan <morgan.michael@me.com>
dateSun 3 Sep 2017, 20:06 (9 years ago)
parent189d909
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