pavelchristof/syntax
1
1
Fork 0
mirror of https://github.com/pavelchristof/syntax.git synced 2024-10-03 21:47:21 +03:00
Code Issues Projects Releases Wiki Activity

Change filtered to bifiltered.

Browse Source
This commit is contained in:
Paweł Nowak 2014-11-23 14:20:29 +01:00
parent 9649016884
commit e07a5d6d7b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Data/Syntax.hs
View File

@ -22,7 +22,7 @@ module Data.Syntax (
import Prelude hiding (take, takeWhile)
import Control.Lens
import Control.Lens.Iso
import Control.Lens.SemiIso
import Data.MonoTraversable
import Data.SemiIsoFunctor
@ -58,16 +58,16 @@ class ( SemiIsoAlternative syn
-- | Any character except the given one.
notChar :: Element seq -> syn (Element seq)
notChar c = filtered (/= c) /$/ anyChar
notChar c = bifiltered (/= c) /$/ anyChar
-- | Any character satisfying a predicate.
satisfy :: (Element seq -> Bool) -> syn (Element seq)
satisfy p = filtered p /$/ anyChar
satisfy p = bifiltered p /$/ anyChar
-- | Transforms a character using a SemiIso and filters out values
-- not satisfying the predicate.
satisfyWith :: ASemiIso' a (Element seq) -> (a -> Bool) -> syn a
satisfyWith ai p = filtered p . ai /$/ anyChar
satisfyWith ai p = bifiltered p . ai /$/ anyChar
-- | A specific string.
string :: seq -> syn ()