1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
\begin{code}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE CPP #-}
#if __GLASGOW_HASKELL__ >= 800
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
#endif
module Text.RE.ZeInternals.Types.IsRegex
( IsRegex(..)
, SearchReplace(..)
, searchReplaceAll
, searchReplaceFirst
) where
import Control.Monad.Fail
import Text.RE.REOptions
import Text.RE.Replace
import Text.RE.ZeInternals.EscapeREString
import Text.RE.ZeInternals.Types.SearchReplace
\end{code}
\begin{code}
-- | the 'IsRegex' class allows polymorhic tools to be written that
-- will work with a variety of regex back ends and text types
class Replace s => IsRegex re s where
-- | finding the first match
matchOnce :: re -> s -> Match s
-- | finding all matches
matchMany :: re -> s -> Matches s
-- | compiling an RE, failing if the RE is not well formed
makeRegex :: (Functor m,Monad m, MonadFail m) => s -> m re
-- | comiling an RE, specifying the 'SimpleREOptions'
makeRegexWith :: (Functor m,Monad m, MonadFail m) => SimpleREOptions -> s -> m re
-- | compiling a 'SearchReplace' template from the RE text and the template Text, failing if they are not well formed
makeSearchReplace :: (Functor m,Monad m, MonadFail m,IsRegex re s) => s -> s -> m (SearchReplace re s)
-- | compiling a 'SearchReplace' template specifying the 'SimpleREOptions' for the RE
makeSearchReplaceWith :: (Functor m,Monad m, MonadFail m,IsRegex re s) => SimpleREOptions -> s -> s -> m (SearchReplace re s)
-- | incorporate an escaped string into a compiled RE with the default options
makeEscaped :: (Functor m,Monad m, MonadFail m) => (s->s) -> s -> m re
-- | incorporate an escaped string into a compiled RE with the specified 'SimpleREOptions'
makeEscapedWith :: (Functor m,Monad m, MonadFail m) => SimpleREOptions -> (s->s) -> s -> m re
-- | extract the text of the RE from the RE
regexSource :: re -> s
makeRegex = makeRegexWith minBound
makeSearchReplace = makeSearchReplaceWith minBound
makeEscaped = makeEscapedWith minBound
makeEscapedWith o f = makeRegexWith o . f . packR . escapeREString . unpackR
\end{code}
\begin{code}
-- | search and replace all matches in the argument text; e.g., this function
-- will convert every YYYY-MM-DD format date in its argument text into a
-- DD\/MM\/YYYY date:
--
-- @searchReplaceAll [ed|${y}([0-9]{4})-0*${m}([0-9]{2})-0*${d}([0-9]{2})\/\/\/${d}\/${m}\/${y}|]@
--
searchReplaceAll :: IsRegex re s => SearchReplace re s -> s -> s
searchReplaceAll SearchReplace{..} = replaceAll getTemplate . matchMany getSearch
-- | search and replace the first occurrence only (if any) in the input text
-- e.g., to prefix the first string of four hex digits in the imput text,
-- if any, with @0x@:
--
-- @searchReplaceFirst [ed|[0-9A-Fa-f]{4}\/\/\/0x$0|]@
--
searchReplaceFirst :: IsRegex re s => SearchReplace re s -> s -> s
searchReplaceFirst SearchReplace{..} = replace getTemplate . matchOnce getSearch
\end{code}
|
