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

data Body b

Haystack

Constructors

Body b

Instances

Functor Body

Methods

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

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

Applicative Body

Methods

pure :: a -> Body a

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

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

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

type PosLen = (MatchOffset, MatchLength)

Offset, Length

type E a = Either String a

Left String returns regex construction error