@@ -2,17 +2,7 @@
22
33module Data.Isoparsec
44 ( module X,
5− (%>>),
6− (%>%),
7− (>>%),
8− (%<<),
9− (%<%),
10− (<<%),
11− (<+%),
12− (%+>),
13− (%+%),
145 (<.>),
15− (<^>),
166 repeating,
177 opt,
188 opt',
@@ -44,51 +34,6 @@ opt' a m = (m >>^ turn (konst a)) <+^ konst ()
4434repeating :: (PolyArrow m SemiIso, ArrowPlus m, Eq b) => m () b -> m () [b]
4535repeating m = (m &&& (repeating m <+^ konst [])) >>^ siCons
4636
47−infixr 1 %>>
48−
49−(%>>) :: (PolyArrow a SemiIso, ToSemiIso p b c) => p -> a c d -> a b d
50−p %>> a = si p ^>> a
51−
52−infixr 1 %>%
53−
54−(%>%) :: (PolyArrow a SemiIso, ToSemiIso p b c, ToSemiIso p' c d) => p -> p' -> a b d
55−p %>% a = si p ^>^ si a
56−
57−infixr 1 >>%
58−
59−(>>%) :: (PolyArrow a SemiIso, ToSemiIso p c d) => a b c -> p -> a b d
60−p >>% a = p >>^ si a
61−
62−infixr 1 %<<
63−
64−(%<<) :: (PolyArrow a SemiIso, ToSemiIso p c d) => p -> a b c -> a b d
65−p %<< a = si p ^<< a
66−
67−infixr 1 %<%
68−
69−(%<%) :: (PolyArrow a SemiIso, ToSemiIso p c d, ToSemiIso p' b c) => p -> p' -> a b d
70−p %<% a = si p ^<^ si a
71−
72−infixr 1 <<%
73−
74−(<<%) :: (PolyArrow a SemiIso, ToSemiIso p b c) => a c d -> p -> a b d
75−p <<% a = p <<^ si a
76−
77−infixr 5 <+%
78−
79−(<+%) :: (PolyArrow a SemiIso, ArrowPlus a, ToSemiIso p b c) => a b c -> p -> a b c
80−a <+% b = a <+^ si b
81−
82−infixr 5 %+>
83−
84−(%+>) :: (PolyArrow a SemiIso, ArrowPlus a, ToSemiIso p b c) => p -> a b c -> a b c
85−a %+> b = si a ^+> b
86−
87−infixr 5 %+%
88−
89−(%+%) :: (PolyArrow a SemiIso, ArrowPlus a, ToSemiIso p b c) => p -> p -> a b c
90−a %+% b = si a ^+^ si b
91−
9237infixr 0 <.>
9338
9439(<.>) ::
@@ -98,15 +43,6 @@ infixr 0 <.>
9843 m x' y'
9944b <.> p = (p >>^ morphed) >>^ si b
10045
101−infixr 0 <^>
102−
103−(<^>) ::
104− (PolyArrow m SemiIso, TupleMorphable x c, TupleMorphable y c, ToSemiIso b y y') =>
105− m x' x ->
106− b ->
107− m x' y'
108−b <^> p = b >>> morphed %>% p
109−
11046coercing :: forall b a. Coercible a b => SemiIso a b
11147coercing = siPure coerce coerce
11248