Text.RE.Tools

The Tools

Sed

sed :: IsRegex re ByteString => Edits IO re ByteString -> FilePath -> FilePath -> IO ()

read a file, apply an Edits script to each line it and write the file out again; "-" is used to indicate standard input standard output as appropriate

sed' :: (IsRegex re a, Monad m, Functor m) => Edits m re a -> a -> m a

apply an Edits script to each line of the argument text

Grep

grep :: IsRegex re ByteString => Verbosity -> re -> FilePath -> IO ()

operates a bit like classic grep printing out the lines matched

grepLines :: IsRegex re ByteString => re -> FilePath -> IO [Line]

returns a Line for each line in the file enumerating all of the matches for that line.

type GrepScript re s t = [(re, LineNo -> Matches s -> Maybe t)]

a GrepScript lists RE-action associations, with the first RE to match a line selecting the action to be executed on each line in the file

grepScript :: IsRegex re s => GrepScript re s t -> [s] -> [t]

given a list of lines, apply the GrepScript to each line of the file

linesMatched :: Verbosity -> [Line] -> [Line]

given a velocity flag filter out either the lines matched or not matched

Lex

alex :: IsRegex re s => [(re, Match s -> Maybe t)] -> t -> s -> [t]

a simple regex-based scanner interpretter for prototyping scanners

alex' :: Replace s => (re -> s -> Match s) -> [(re, Match s -> Maybe t)] -> t -> s -> [t]

a higher order version of alex parameterised over the matchOnce function

IsRegex

class Replace s => IsRegex re s where

the IsRegex class allows tools to be written that will work with regex back end text type supported by the back end

Minimal complete definition

matchOnce, matchMany, makeRegexWith, makeSearchReplaceWith, regexSource

Methods

matchOnce :: re -> s -> Match s

finding the first match

matchMany :: re -> s -> Matches s

finding all matches

makeRegex :: (Functor m, Monad m) => s -> m re

compiling an RE, failing if the RE is not well formed

makeRegexWith :: (Functor m, Monad m) => SimpleREOptions -> s -> m re

comiling an RE, specifying the SimpleREOptions

makeSearchReplace :: (Functor m, Monad m, IsRegex re s) => s -> s -> m (SearchReplace re s)

compiling a SearchReplace template from the RE text and the template Text, failing if they are not well formed

makeSearchReplaceWith :: (Functor m, Monad m, IsRegex re s) => SimpleREOptions -> s -> s -> m (SearchReplace re s)

compiling a SearchReplace template specifing the SimpleREOptions for the RE

makeEscaped :: (Functor m, Monad m) => (s -> s) -> s -> m re

incorporate an escaped string into a compiled RE with the default options

makeEscapedWith :: (Functor m, Monad m) => SimpleREOptions -> (s -> s) -> s -> m re

incorporate an escaped string into a compiled RE with the specified SimpleREOptions

regexSource :: re -> s

extract the text of the RE from the RE

Edit

data Edits m re s

an Edits script will, for each line in the file, either perform the action selected by the first RE in the list, or perform all of the actions on line, arranged as a pipeline

Constructors

Select ![Edit m re s]

Pipe ![Edit m re s]

data Edit m re s

each Edit action specifies how the match should be processed

Constructors

Template !(SearchReplace re s)

Function !re REContext !(LineNo -> Match s -> Location -> Capture s -> m (Maybe s))

LineEdit !re !(LineNo -> Matches s -> m (LineEdit s))

data LineEdit s

a LineEdit is the most general action thar can be performed on a line and is the only means of deleting a line

Constructors

NoEdit

ReplaceWith !s

Delete

Instances

Functor LineEdit

Methods

fmap :: (a -> b) -> LineEdit a -> LineEdit b

(<$) :: a -> LineEdit b -> LineEdit a

Show s => Show (LineEdit s)

Methods

showsPrec :: Int -> LineEdit s -> ShowS

show :: LineEdit s -> String

showList :: [LineEdit s] -> ShowS

applyEdits :: (IsRegex re s, Monad m, Functor m) => LineNo -> Edits m re s -> s -> m s

apply an Edit script to a single line

applyEdit :: (IsRegex re s, Monad m, Functor m) => (s -> s) -> LineNo -> Edit m re s -> s -> m (Maybe s)

apply a single edit action to a line, the function in the first argument being used to add a new line onto the end of the line where appropriate; the function returns Nothing if no edit is to be performed on the line, Just mempty to delete the line

applyLineEdit :: Monoid s => (s -> s) -> LineEdit s -> Maybe s

apply a LineEdit to a line, using the function in the first argument to append a new line to the result; Nothing should be returned if no edit is to be performed, Just mempty to delete the line

LineNo

newtype LineNo

our line numbers are of the proper zero-based kind

Constructors

ZeroBasedLineNo

Fields

• getZeroBasedLineNo :: Int

Instances

Enum LineNo

Methods

succ :: LineNo -> LineNo

pred :: LineNo -> LineNo

toEnum :: Int -> LineNo

fromEnum :: LineNo -> Int

enumFrom :: LineNo -> [LineNo]

enumFromThen :: LineNo -> LineNo -> [LineNo]

enumFromTo :: LineNo -> LineNo -> [LineNo]

enumFromThenTo :: LineNo -> LineNo -> LineNo -> [LineNo]

Show LineNo

Methods

showsPrec :: Int -> LineNo -> ShowS

show :: LineNo -> String

showList :: [LineNo] -> ShowS

firstLine :: LineNo

the first line in a file

getLineNo :: LineNo -> Int

extract a conventional 1-based line number

lineNo :: Int -> LineNo

inject a conventional 1-based line number

Text.RE

module Text.RE