Text.Regex.Do.Type.Do

Documentation

newtype GroupReplacer b

see Text.Regex.Do.Replace.Open defaultReplacer for example implementation

Constructors

GroupReplacer (MatchArray -> ReplaceAcc b -> ReplaceAcc b)

Instances

(RegexLike Regex b, Regex b) => Replace All b (GroupReplacer b) b (E b)

b: String | ByteString

Methods

replace :: All b -> GroupReplacer b -> b -> E b

(RegexLike Regex b, Regex b) => Replace Once b (GroupReplacer b) b (E b)

b: String | ByteString

Methods

replace :: Once b -> GroupReplacer b -> b -> E b

Replace All ByteString (GroupReplacer ByteString) ByteString (E ByteString)

replacer::GroupReplacer ByteString
replacer = defaultReplacer 1 tweak1
      where tweak1 bs1 = toByteString' $
                        if bs1 == toByteString "左" then
                              "ー右ー"
                               else "?"


    runFn1 `shouldBe` toByteString "100メートルー右ー折後、左"
        where runFn1 = let rx1 = toByteString "(?<=ル)(左)"
                           body1 = toByteString "100メートル左折後、左"
                       in replace (All rx1) replacer body1    

Methods

replace :: All ByteString -> GroupReplacer ByteString -> ByteString -> E ByteString

Replace Once ByteString (GroupReplacer ByteString) ByteString (E ByteString)

Methods

replace :: Once ByteString -> GroupReplacer ByteString -> ByteString -> E ByteString

Replace [] (GroupReplacer b) b

Methods

replace :: (Extract' b, ToArray arr) => [arr] -> GroupReplacer b -> b -> b

Replace Maybe (GroupReplacer b) b

Methods

replace :: (Extract' b, ToArray arr) => Maybe arr -> GroupReplacer b -> b -> b

data ReplaceAcc b

Constructors

ReplaceAcc

Fields

• acc :: b

  content with some replacements made

• pos_adj :: Int

  position adjustment: group replacement length may differ from replaced text length

Instances

Functor ReplaceAcc

Methods

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

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

type PosLen = (MatchOffset, MatchLength)

Offset, Length

type E a = Either String a

Left String returns regex construction error

newtype Once a

Constructors

Once a

replace once

Instances

Functor Once

Methods

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

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

Applicative Once

Methods

pure :: a -> Once a

(<*>) :: Once (a -> b) -> Once a -> Once b

(*>) :: Once a -> Once b -> Once b

(<*) :: Once a -> Once b -> Once a

(RegexLike Regex b, Replace Maybe repl b) => Replace Once Regex repl b b

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: String | ByteString | GroupReplacer repl

Methods

replace :: Once Regex -> repl -> b -> b

Replace Maybe repl ByteString => Replace Once Regex repl ByteString ByteString

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: ByteString | GroupReplacer ByteString

Methods

replace :: Once Regex -> repl -> ByteString -> ByteString

Replace Once Regex String String String

always succeeds

Methods

replace :: Once Regex -> String -> String -> String

(RegexLike Regex b, Regex b) => Replace Once b b b (E b)

b: String | ByteString

Methods

replace :: Once b -> b -> b -> E b

Replace Once String String String (E String)

Methods

replace :: Once String -> String -> String -> E String

Replace Once ByteString ByteString ByteString (E ByteString)

Methods

replace :: Once ByteString -> ByteString -> ByteString -> E ByteString

(RegexLike Regex b, Regex b) => Replace Once b (GroupReplacer b) b (E b)

b: String | ByteString

Methods

replace :: Once b -> GroupReplacer b -> b -> E b

Replace Once ByteString (GroupReplacer ByteString) ByteString (E ByteString)

Methods

replace :: Once ByteString -> GroupReplacer ByteString -> ByteString -> E ByteString

newtype All a

Constructors

All a

replace all

Instances

Functor All

Methods

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

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

Applicative All

Methods

pure :: a -> All a

(<*>) :: All (a -> b) -> All a -> All b

(*>) :: All a -> All b -> All b

(<*) :: All a -> All b -> All a

(RegexLike Regex b, Replace [] repl b) => Replace All Regex repl b b

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: String | ByteString | GroupReplacer repl

Methods

replace :: All Regex -> repl -> b -> b

Replace [] repl ByteString => Replace All Regex repl ByteString ByteString

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: ByteString | GroupReplacer ByteString

Methods

replace :: All Regex -> repl -> ByteString -> ByteString

Replace All Regex String String String

always succeeds

Methods

replace :: All Regex -> String -> String -> String

(RegexLike Regex b, Regex b) => Replace All b b b (E b)

b: String | ByteString

Methods

replace :: All b -> b -> b -> E b

Replace All String String String (E String)

Methods

replace :: All String -> String -> String -> E String

Replace All ByteString ByteString ByteString (E ByteString)

Methods

replace :: All ByteString -> ByteString -> ByteString -> E ByteString

(RegexLike Regex b, Regex b) => Replace All b (GroupReplacer b) b (E b)

b: String | ByteString

Methods

replace :: All b -> GroupReplacer b -> b -> E b

Replace All ByteString (GroupReplacer ByteString) ByteString (E ByteString)

replacer::GroupReplacer ByteString
replacer = defaultReplacer 1 tweak1
      where tweak1 bs1 = toByteString' $
                        if bs1 == toByteString "左" then
                              "ー右ー"
                               else "?"


    runFn1 `shouldBe` toByteString "100メートルー右ー折後、左"
        where runFn1 = let rx1 = toByteString "(?<=ル)(左)"
                           body1 = toByteString "100メートル左折後、左"
                       in replace (All rx1) replacer body1    

Methods

replace :: All ByteString -> GroupReplacer ByteString -> ByteString -> E ByteString

data Regex :: *

A compiled regular expression

Instances

Regex Regex

Methods

makeRegex :: Regex -> E Regex

makeRegexOpt :: Regex -> [Comp] -> [Exec] -> E Regex

RegexOptions Regex CompOption ExecOption

Methods

blankCompOpt :: CompOption

blankExecOpt :: ExecOption

defaultCompOpt :: CompOption

defaultExecOpt :: ExecOption

setExecOpts :: ExecOption -> Regex -> Regex

getExecOpts :: Regex -> ExecOption

RegexLike Regex b => MatchOnce Regex b Bool

test.

always succeeds

Methods

(~?) :: Regex -> b -> Bool

RegexLike Regex b => MatchOnce Regex b Bool

b: String, ByteString

always succeeds

Methods

(~?) :: Regex -> b -> Bool

(RegexLike Regex b, Replace [] repl b) => Replace All Regex repl b b

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: String | ByteString | GroupReplacer repl

Methods

replace :: All Regex -> repl -> b -> b

(RegexLike Regex b, Replace Maybe repl b) => Replace Once Regex repl b b

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: String | ByteString | GroupReplacer repl

Methods

replace :: Once Regex -> repl -> b -> b

Replace [] repl ByteString => Replace All Regex repl ByteString ByteString

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: ByteString | GroupReplacer ByteString

Methods

replace :: All Regex -> repl -> ByteString -> ByteString

Replace All Regex String String String

always succeeds

Methods

replace :: All Regex -> String -> String -> String

Replace Maybe repl ByteString => Replace Once Regex repl ByteString ByteString

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: ByteString | GroupReplacer ByteString

Methods

replace :: Once Regex -> repl -> ByteString -> ByteString

Replace Once Regex String String String

always succeeds

Methods

replace :: Once Regex -> String -> String -> String

RegexLike Regex b => MatchAll Regex b [[PosLen]]

always succeeds

Methods

(~*) :: Regex -> b -> [[PosLen]]

RegexLike Regex b => MatchAll Regex b [[b]]

always succeeds

Methods

(~*) :: Regex -> b -> [[b]]

RegexLike Regex b => MatchOnce Regex b [PosLen]

always succeeds

Methods

(~?) :: Regex -> b -> [PosLen]

RegexLike Regex b => MatchOnce Regex b [b]

always succeeds

Methods

(~?) :: Regex -> b -> [b]

RegexLike Regex b => MatchAll Regex b [[PosLen]]

b: String, ByteString

always succeeds

Methods

(~*) :: Regex -> b -> [[PosLen]]

RegexLike Regex b => MatchAll Regex b [[b]]

b: String, ByteString

always succeeds

Methods

(~*) :: Regex -> b -> [[b]]

RegexLike Regex b => MatchOnce Regex b [PosLen]

b: String, ByteString

always succeeds

Methods

(~?) :: Regex -> b -> [PosLen]

RegexLike Regex b => MatchOnce Regex b [b]

b: String, ByteString

always succeeds

precompiled regex as pattern

let Right rx1 = makeRegexOpt (toByteString "左") [Utf8] []      --  add options as needed
    m1 = rx1 ~? (toByteString "100メートル左折後、左")::[ByteString]
m1 shouldBe [toByteString "左"]       

Methods

(~?) :: Regex -> b -> [b]

Text.Regex.PCRE.Wrap

type MatchArray = Array Int (MatchOffset, MatchLength)

0 based array, with 0th index indicating the full match. If the full match location is not available, represent as (0,0).

Text.Regex.Base.RegexLike

newtype CompOption :: *

Constructors

CompOption CInt

Instances

Eq CompOption

Methods

(==) :: CompOption -> CompOption -> Bool

(/=) :: CompOption -> CompOption -> Bool

Num CompOption

Methods

(+) :: CompOption -> CompOption -> CompOption

(-) :: CompOption -> CompOption -> CompOption

(*) :: CompOption -> CompOption -> CompOption

negate :: CompOption -> CompOption

abs :: CompOption -> CompOption

signum :: CompOption -> CompOption

fromInteger :: Integer -> CompOption

Show CompOption

Methods

showsPrec :: Int -> CompOption -> ShowS

show :: CompOption -> String

showList :: [CompOption] -> ShowS

Bits CompOption

Methods

(.&.) :: CompOption -> CompOption -> CompOption

(.|.) :: CompOption -> CompOption -> CompOption

xor :: CompOption -> CompOption -> CompOption

complement :: CompOption -> CompOption

shift :: CompOption -> Int -> CompOption

rotate :: CompOption -> Int -> CompOption

zeroBits :: CompOption

bit :: Int -> CompOption

setBit :: CompOption -> Int -> CompOption

clearBit :: CompOption -> Int -> CompOption

complementBit :: CompOption -> Int -> CompOption

testBit :: CompOption -> Int -> Bool

bitSizeMaybe :: CompOption -> Maybe Int

bitSize :: CompOption -> Int

isSigned :: CompOption -> Bool

shiftL :: CompOption -> Int -> CompOption

unsafeShiftL :: CompOption -> Int -> CompOption

shiftR :: CompOption -> Int -> CompOption

unsafeShiftR :: CompOption -> Int -> CompOption

rotateL :: CompOption -> Int -> CompOption

rotateR :: CompOption -> Int -> CompOption

popCount :: CompOption -> Int

RegexOptions Regex CompOption ExecOption

Methods

blankCompOpt :: CompOption

blankExecOpt :: ExecOption

defaultCompOpt :: CompOption

defaultExecOpt :: ExecOption

setExecOpts :: ExecOption -> Regex -> Regex

getExecOpts :: Regex -> ExecOption

Text.Regex.PCRE.Wrap

data ExecOption :: *

Instances

Eq ExecOption

Methods

(==) :: ExecOption -> ExecOption -> Bool

(/=) :: ExecOption -> ExecOption -> Bool

Num ExecOption

Methods

(+) :: ExecOption -> ExecOption -> ExecOption

(-) :: ExecOption -> ExecOption -> ExecOption

(*) :: ExecOption -> ExecOption -> ExecOption

negate :: ExecOption -> ExecOption

abs :: ExecOption -> ExecOption

signum :: ExecOption -> ExecOption

fromInteger :: Integer -> ExecOption

Show ExecOption

Methods

showsPrec :: Int -> ExecOption -> ShowS

show :: ExecOption -> String

showList :: [ExecOption] -> ShowS

Bits ExecOption

Methods

(.&.) :: ExecOption -> ExecOption -> ExecOption

(.|.) :: ExecOption -> ExecOption -> ExecOption

xor :: ExecOption -> ExecOption -> ExecOption

complement :: ExecOption -> ExecOption

shift :: ExecOption -> Int -> ExecOption

rotate :: ExecOption -> Int -> ExecOption

zeroBits :: ExecOption

bit :: Int -> ExecOption

setBit :: ExecOption -> Int -> ExecOption

clearBit :: ExecOption -> Int -> ExecOption

complementBit :: ExecOption -> Int -> ExecOption

testBit :: ExecOption -> Int -> Bool

bitSizeMaybe :: ExecOption -> Maybe Int

bitSize :: ExecOption -> Int

isSigned :: ExecOption -> Bool

shiftL :: ExecOption -> Int -> ExecOption

unsafeShiftL :: ExecOption -> Int -> ExecOption

shiftR :: ExecOption -> Int -> ExecOption

unsafeShiftR :: ExecOption -> Int -> ExecOption

rotateL :: ExecOption -> Int -> ExecOption

rotateR :: ExecOption -> Int -> ExecOption

popCount :: ExecOption -> Int

RegexOptions Regex CompOption ExecOption

Methods

blankCompOpt :: CompOption

blankExecOpt :: ExecOption

defaultCompOpt :: CompOption

defaultExecOpt :: ExecOption

setExecOpts :: ExecOption -> Regex -> Regex

getExecOpts :: Regex -> ExecOption

Text.Regex.PCRE.Wrap