@@ -39,6 +39,11 @@ export
39(<|>) : Recognise c1 -> Recognise c2 -> Recognise (c1 && c2)
39(<|>) : Recognise c1 -> Recognise c2 -> Recognise (c1 && c2)
40(<|>) = Alt
40(<|>) = Alt
42+||| A recogniser that always fails.
42||| Positive lookahead. Never consumes input.
47||| Positive lookahead. Never consumes input.
44expect : Recognise c -> Recognise False
49expect : Recognise c -> Recognise False