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

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    

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

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

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

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

b: String | ByteString

Defined in Text.Regex.Do.Replace.Latin

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

Defined in Text.Regex.Do.Replace.Latin

Methods

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

Replace [] (GroupReplacer b) b

Defined in Text.Regex.Do.Replace.Open

Methods

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

Replace Maybe (GroupReplacer b) b

Defined in Text.Regex.Do.Replace.Open

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

Defined in Text.Regex.Do.Type.Do_

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

Defined in Text.Regex.Do.Type.MatchHint

Methods

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

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

Applicative Once

Defined in Text.Regex.Do.Type.MatchHint

Methods

pure :: a -> Once a

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

liftA2 :: (a -> b -> c) -> Once a -> Once b -> Once c

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

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

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

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: ByteString | GroupReplacer ByteString

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

Replace Once Regex String String String

always succeeds

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

(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

Defined in Text.Regex.Do.Replace.Latin

Methods

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

Replace Once String String String (E String)

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

Replace Once ByteString ByteString ByteString (E ByteString)

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

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

b: String | ByteString

Defined in Text.Regex.Do.Replace.Latin

Methods

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

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

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

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

b: String | ByteString

Defined in Text.Regex.Do.Replace.Latin

Methods

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

newtype All a

Constructors

All a

replace all

Instances

Functor All

Defined in Text.Regex.Do.Type.MatchHint

Methods

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

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

Applicative All

Defined in Text.Regex.Do.Type.MatchHint

Methods

pure :: a -> All a

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

liftA2 :: (a -> b -> c) -> All a -> All b -> All c

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

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

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

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: ByteString | GroupReplacer ByteString

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

Replace All Regex String String String

always succeeds

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

(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

Defined in Text.Regex.Do.Replace.Latin

Methods

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

Replace All String String String (E String)

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

Replace All ByteString ByteString ByteString (E ByteString)

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

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

b: String | ByteString

Defined in Text.Regex.Do.Replace.Latin

Methods

replace :: All b -> 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    

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

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

b: String | ByteString

Defined in Text.Regex.Do.Replace.Latin

Methods

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

data Regex

A compiled regular expression

Instances

Regex Regex

Defined in Text.Regex.Do.Match.Regex

Methods

makeRegex :: Regex -> E Regex

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

RegexOptions Regex CompOption ExecOption

Defined in Text.Regex.PCRE.Wrap

Methods

blankCompOpt :: CompOption

blankExecOpt :: ExecOption

defaultCompOpt :: CompOption

defaultExecOpt :: ExecOption

setExecOpts :: ExecOption -> Regex -> Regex

getExecOpts :: Regex -> ExecOption

RegexLike Regex b => MatchOnce Regex b Bool

b: String, ByteString

always succeeds

Defined in Text.Regex.Do.Match.Utf8

Methods

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

RegexLike Regex b => MatchOnce Regex b Bool

test.

always succeeds

Defined in Text.Regex.Do.Match.Latin

Methods

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

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

succeeds unless GroupReplacer fails due to mismatched pattern etc

repl: ByteString | GroupReplacer ByteString

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

Replace All Regex String String String

always succeeds

Defined in Text.Regex.Do.Replace.Utf8

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

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

Replace Once Regex String String String

always succeeds

Defined in Text.Regex.Do.Replace.Utf8

Methods

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

(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

Defined in Text.Regex.Do.Replace.Latin

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

Defined in Text.Regex.Do.Replace.Latin

Methods

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

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

b: String, ByteString

always succeeds

Defined in Text.Regex.Do.Match.Utf8

Methods

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

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

b: String, ByteString

always succeeds

Defined in Text.Regex.Do.Match.Utf8

Methods

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

RegexLike Regex b => MatchOnce Regex b [PosLen]

b: String, ByteString

always succeeds

Defined in Text.Regex.Do.Match.Utf8

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

Defined in Text.Regex.Do.Match.Utf8

Methods

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

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

always succeeds

Defined in Text.Regex.Do.Match.Latin

Methods

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

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

always succeeds

Defined in Text.Regex.Do.Match.Latin

Methods

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

RegexLike Regex b => MatchOnce Regex b [PosLen]

always succeeds

Defined in Text.Regex.Do.Match.Latin

Methods

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

RegexLike Regex b => MatchOnce Regex b [b]

always succeeds

Defined in Text.Regex.Do.Match.Latin

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

Defined in Text.Regex.PCRE.Wrap

Methods

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

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

Num CompOption

Defined in Text.Regex.PCRE.Wrap

Methods

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

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

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

negate :: CompOption -> CompOption

abs :: CompOption -> CompOption

signum :: CompOption -> CompOption

fromInteger :: Integer -> CompOption

Show CompOption

Defined in Text.Regex.PCRE.Wrap

Methods

showsPrec :: Int -> CompOption -> ShowS

show :: CompOption -> String

showList :: [CompOption] -> ShowS

Bits CompOption

Defined in Text.Regex.PCRE.Wrap

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

Defined in Text.Regex.PCRE.Wrap

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

Defined in Text.Regex.PCRE.Wrap

Methods

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

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

Num ExecOption

Defined in Text.Regex.PCRE.Wrap

Methods

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

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

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

negate :: ExecOption -> ExecOption

abs :: ExecOption -> ExecOption

signum :: ExecOption -> ExecOption

fromInteger :: Integer -> ExecOption

Show ExecOption

Defined in Text.Regex.PCRE.Wrap

Methods

showsPrec :: Int -> ExecOption -> ShowS

show :: ExecOption -> String

showList :: [ExecOption] -> ShowS

Bits ExecOption

Defined in Text.Regex.PCRE.Wrap

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

Defined in Text.Regex.PCRE.Wrap

Methods

blankCompOpt :: CompOption

blankExecOpt :: ExecOption

defaultCompOpt :: CompOption

defaultExecOpt :: ExecOption

setExecOpts :: ExecOption -> Regex -> Regex

getExecOpts :: Regex -> ExecOption

Text.Regex.PCRE.Wrap