@@ -22,7 +22,7 @@ module Data.Syntax (
2222
2323import Prelude hiding (take, takeWhile)
2424
25−import Control.Lens
25+import Control.Lens.Iso
2626import Control.Lens.SemiIso
2727import Data.MonoTraversable
2828import Data.SemiIsoFunctor
@@ -58,16 +58,16 @@ class ( SemiIsoAlternative syn
5858
5959 -- | Any character except the given one.
6060 notChar :: Element seq -> syn (Element seq)
61− notChar c = filtered (/= c) /$/ anyChar
61+ notChar c = bifiltered (/= c) /$/ anyChar
6262
6363 -- | Any character satisfying a predicate.
6464 satisfy :: (Element seq -> Bool) -> syn (Element seq)
65− satisfy p = filtered p /$/ anyChar
65+ satisfy p = bifiltered p /$/ anyChar
6666
6767 -- | Transforms a character using a SemiIso and filters out values
6868 -- not satisfying the predicate.
6969 satisfyWith :: ASemiIso' a (Element seq) -> (a -> Bool) -> syn a
70− satisfyWith ai p = filtered p . ai /$/ anyChar
70+ satisfyWith ai p = bifiltered p . ai /$/ anyChar
7171
7272 -- | A specific string.
7373 string :: seq -> syn ()