git.iko.soy/isoparsec
on master help sign in
Added arrowsuntil (#39)
6091e0ciko
src/Data/Isoparsec/Internal.hs+8
compare with master
unifiedsplit
@@ -9,6 +9,8 @@ module Data.Isoparsec.Internal
9 check,
9 check,
10 unroll,
10 unroll,
11 arrowsWhile,
11 arrowsWhile,
12+ assoc,
13+ arrowsUntil,
12 )
14 )
13where
15where
14
16
@@ -82,6 +84,9 @@ class
82arrowsWhile :: (PolyArrow m SemiIso, ArrowPlus m) => m () a -> m () [a]
84arrowsWhile :: (PolyArrow m SemiIso, ArrowPlus m) => m () a -> m () [a]
83arrowsWhile f = ((f &&& arrowsWhile f) >>^ siCons) <+^ isoConst () []
85arrowsWhile f = ((f &&& arrowsWhile f) >>^ siCons) <+^ isoConst () []
84
86
87+arrowsUntil :: (ArrowPlus m, Eq a, PolyArrow m SemiIso) => m () a -> m () b -> m () ([a], b)
88+arrowsUntil a b = (arr (konst []) &&& b) <+> (a &&& arrowsUntil a b >>^ (assoc >>> first siCons))
89+
85unroll :: (PolyArrow m SemiIso, ArrowPlus m, Eq a) => a -> m a (b, a) -> m () [b]
90unroll :: (PolyArrow m SemiIso, ArrowPlus m, Eq a) => a -> m a (b, a) -> m () [b]
86unroll a f = (konst a ^>> unroll' f) <+^ isoConst () []
91unroll a f = (konst a ^>> unroll' f) <+^ isoConst () []
87 where
92 where
@@ -117,3 +122,6 @@ check f = isoCheck f id id
117
122
118konst :: Eq x => x -> SemiIso () x
123konst :: Eq x => x -> SemiIso () x
119konst x = isoConst () x >>> check (== x)
124konst x = isoConst () x >>> check (== x)
125+
126+assoc :: SemiIso (a, (b, c)) ((a, b), c)
127+assoc = siPure (\(a, (b, c)) -> ((a, b), c)) (\((a, b), c) -> (a, (b, c)))