From b89442b039104bc913ab7291c1df056b265e89a2 Mon Sep 17 00:00:00 2001 From: Irakli Safareli Date: Sun, 11 Jun 2017 11:25:33 +0400 Subject: [PATCH] add 'drop (Prefix a) a >>= uncons = Nothing' law --- src/Text/Parsing/Parser/String.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Text/Parsing/Parser/String.purs b/src/Text/Parsing/Parser/String.purs index 204d0db..e728ad7 100644 --- a/src/Text/Parsing/Parser/String.purs +++ b/src/Text/Parsing/Parser/String.purs @@ -40,7 +40,7 @@ instance charHasUpdatePosition :: HasUpdatePosition Char where -- | operations which this modules needs. -- | -- | Instances must satisfy the following laws: --- | +-- | - `drop (Prefix a) a >>= uncons = Nothing` class StreamLike f c | f -> c where uncons :: f -> Maybe { head :: c, tail :: f, updatePos :: Position -> Position } drop :: Prefix f -> f -> Maybe { rest :: f, updatePos :: Position -> Position }