module Text.Regex.Do.Match.Latin
(MatchOnce(..),
MatchAll(..),
R.extract
) where
import Data.Tagged
import qualified Text.Regex.Base.RegexLike as R hiding (makeRegex)
import Text.Regex.Do.Type.Do
import Text.Regex.Do.Match.Matchf as F
import Text.Regex.Do.Match.Regex as R
import Text.Regex.Do.Type.Reexport as Re
import Text.Regex.Do.Type.Internal
class MatchOnce pattern body out where
(~?)::pattern -> body -> out
class MatchAll pattern body out where
(~*)::pattern -> body -> out
instance R.RegexLike Re.Regex b => MatchOnce Re.Regex b [b] where
(~?) pat0 body0 = once pat0 (Tagged body0)
instance (R.Regex b, R.RegexLike Re.Regex b) =>
MatchOnce b b (E [b]) where
(~?) pat0 body0 = withRegex pat0 (Tagged body0) once
instance (R.Regex b, R.RegexLike Re.Regex b) =>
MatchOnce b b (E Bool) where
(~?) pat0 body0 = withRegex pat0 (tagB body0) test
where tagB::b -> Tagged Test b
tagB = Tagged
instance R.RegexLike Re.Regex b =>
MatchOnce Re.Regex b Bool where
(~?) pat0 body0 = test pat0 (tagB body0)
where tagB::b -> Tagged Test b
tagB = Tagged
instance R.RegexLike Re.Regex b =>
MatchAll Re.Regex b [[b]] where
(~*) pat0 body0 = F.all pat0 (Tagged body0)
instance (R.Regex b, R.RegexLike Re.Regex b) =>
MatchAll b b (E [[b]]) where
(~*) pat0 body0 = withRegex pat0 (Tagged body0) F.all
instance R.RegexLike Re.Regex b =>
MatchOnce Re.Regex b [PosLen] where
(~?) pat0 body0 = r1
where tagOne::b -> Tagged Once b
tagOne = Tagged
Right r1 = poslen_ (Right pat0) (tagOne body0)
instance (R.Regex b, R.RegexLike Re.Regex b) =>
MatchOnce b b (E [PosLen]) where
(~?) pat0 body0 = withRegex' pat0 (tagOne body0) poslen_
where tagOne::b -> Tagged Once b
tagOne = Tagged
instance R.RegexLike Re.Regex b =>
MatchAll Re.Regex b [[PosLen]] where
(~*) pat0 body0 = r1
where tagAll::b -> Tagged All b
tagAll = Tagged
Right r1 = poslen_ (Right pat0) (tagAll body0)
instance (R.Regex b, R.RegexLike Re.Regex b) =>
MatchAll b b (E [[PosLen]]) where
(~*) pat0 body0 = withRegex' pat0 (tagAll body0) poslen_
where tagAll::b -> Tagged All b
tagAll = Tagged
withRegex::(R.Regex a, R.RegexLike Re.Regex b) =>
a ->
hint b ->
(Re.Regex -> hint b -> out) ->
E out
withRegex p0 b0 fn0 = makeRegex p0 >>= \p1 ->
Right $ fn0 p1 b0
withRegex'::(R.Regex a, Matchf hint) =>
a -> hint b ->
(E Re.Regex -> hint b -> P hint) ->
P hint
withRegex' p0 b0 fn0 =
let er1 = makeRegex p0
in fn0 er1 b0