Merge branch 'master' of github.com:Pawel834/syntax
commit954e05558d7a875665052d3d6bbcfd305002400b
authorPaweł Nowak <pawel834@gmail.com>
dateWed 19 Nov 2014, 19:01 (12 years ago)
parentf187d4ca8fb251
Data/Syntax/Combinator.hs+8
@@ -23,3 +23,11 @@ sepBy v s = sepBy1 v s
2323-- | One or more occurences of v separated by s.
2424sepBy1 :: SemiIsoAlternative f => f a -> f () -> f [a]
2525sepBy1 v s = _Cons /$/ v /*/ (s */ sepBy1 v s /|/ sipure _Empty)
26+
27+-- |
28+couldBe :: SemiIsoFunctor f => f () -> f ()
29+couldBe f = undefined
30+
31+-- | Something that should be, but doesn't have to be.
32+shouldBe :: SemiIsoAlternative f => f () -> f ()
33+shouldBe f = constant () /$/ f