Merge pull request #4037 from msmorgan/feature/lexer-fail
Text.Lexer: export a fail function
commit189d9094091eab2eef51e4627a7ae57be59db379
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateSun 3 Sep 2017, 15:10 (9 years ago)
parent7d731fbac97692
libs/contrib/Text/Lexer.idr+5
@@ -39,6 +39,11 @@ export
3939(<|>) : Recognise c1 -> Recognise c2 -> Recognise (c1 && c2)
4040(<|>) = Alt
4141
42+||| A recogniser that always fails.
43+export
44+fail : Recognise c
45+fail = Fail
46+
4247||| Positive lookahead. Never consumes input.
4348export
4449expect : Recognise c -> Recognise False