Safe Haskell	None
Language	Haskell2010

Text.RE.Tools.Grep

Contents

IsRegex
LineNo
Replace

Synopsis

Documentation

The Grep toolkit matches REs againt each line of a text.

See the Regex Tools tutorial at http://re-tutorial-tools.regex.uk

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

operates a bit like classic grep printing out the lines matched

data Verbosity Source #

specifies whether to return the linss matched or missed

Constructors

LinesMatched
LinesNotMatched

Instances

Eq Verbosity Source #
Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Ord Verbosity Source #
Methods compare :: Verbosity -> Verbosity -> Ordering # (<) :: Verbosity -> Verbosity -> Bool # (<=) :: Verbosity -> Verbosity -> Bool # (>) :: Verbosity -> Verbosity -> Bool # (>=) :: Verbosity -> Verbosity -> Bool # max :: Verbosity -> Verbosity -> Verbosity # min :: Verbosity -> Verbosity -> Verbosity #
Show Verbosity Source #
Methods showsPrec :: Int -> Verbosity -> ShowS # show :: Verbosity -> String # showList :: [Verbosity] -> ShowS #

data Line s Source #

grepLines returns a Line for each line in the file, listing all of the Matches for that line

Constructors

Line
Fields getLineNumber :: LineNo the `LineNo` for this line getLineMatches :: Matches s all the `Matches` of the RE on this line

Instances

Show s => Show (Line s) Source #
Methods showsPrec :: Int -> Line s -> ShowS # show :: Line s -> String # showList :: [Line s] -> ShowS #

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

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

grepFilter :: IsRegex re s => re -> s -> [Line s] Source #

returns a Line for each line in the argument text, enumerating all of the matches for that line

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

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

grepWithScript :: IsRegex re s => GrepScript re s t -> [s] -> [t] Source #

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

report :: Verbosity -> [Line ByteString] -> String Source #

generate a grep report from a list of Line

linesMatched :: Verbosity -> [Line s] -> [Line s] Source #

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

IsRegex

class Replace s => IsRegex re s where Source #

the IsRegex class allows polymorhic tools to be written that will work with a variety of regex back ends and text types

Minimal complete definition

matchOnce, matchMany, makeRegexWith, makeSearchReplaceWith, regexSource

Methods

matchOnce :: re -> s -> Match s Source #

finding the first match

matchMany :: re -> s -> Matches s Source #

finding all matches

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

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

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

comiling an RE, specifying the SimpleREOptions

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

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) Source #

compiling a SearchReplace template specifing the SimpleREOptions for the RE

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

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

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

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

regexSource :: re -> s Source #

extract the text of the RE from the RE

data SearchReplace re s Source #

contains a compiled RE and replacement template

Constructors

SearchReplace
Fields getSearch :: !re the RE to match a string to replace getTemplate :: !s the replacement template with ${cap} used to identify a capture (by number or name if one was given) and `$$` being used to escape a single `$`

Instances

Functor (SearchReplace re) Source #
Methods fmap :: (a -> b) -> SearchReplace re a -> SearchReplace re b # (<$) :: a -> SearchReplace re b -> SearchReplace re a #
(Show s, Show re) => Show (SearchReplace re s) Source #
Methods showsPrec :: Int -> SearchReplace re s -> ShowS # show :: SearchReplace re s -> String # showList :: [SearchReplace re s] -> ShowS #

searchReplaceAll :: IsRegex re s => SearchReplace re s -> s -> s Source #

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}|]

searchReplaceFirst :: IsRegex re s => SearchReplace re s -> s -> s Source #

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|]

LineNo

newtype LineNo Source #

our line numbers are of the proper zero-based kind

Constructors

ZeroBasedLineNo
Fields getZeroBasedLineNo :: Int

Instances

Enum LineNo Source #
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 Source #
Methods showsPrec :: Int -> LineNo -> ShowS # show :: LineNo -> String # showList :: [LineNo] -> ShowS #

firstLine :: LineNo Source #

the first line in a file

getLineNo :: LineNo -> Int Source #

extract a conventional 1-based line number

lineNo :: Int -> LineNo Source #

inject a conventional 1-based line number

Replace

module Text.RE.Replace