Text.Regex.Do.Type.MatchHint

Documentation

newtype Test a

Constructors

Test a

test: does body match pattern?

Instances

Hint Test

Methods

unhint :: Test a -> a

hint :: a -> Test a

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

Hint Once

Methods

unhint :: Once a -> a

hint :: a -> 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

Hint All

Methods

unhint :: All a -> a

hint :: a -> 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

newtype PosLen' a

Constructors

PosLen' a

once

Instances

Hint PosLen'

Methods

unhint :: PosLen' a -> a

hint :: a -> PosLen' a

newtype PosLen_ a

Constructors

PosLen_ a

all

Instances

Hint PosLen_

Methods

unhint :: PosLen_ a -> a

hint :: a -> PosLen_ a

class Hint hint where

Minimal complete definition

unhint, hint

Methods

unhint :: hint a -> a

hint :: a -> hint a

Instances

Hint PosLen_

Methods

unhint :: PosLen_ a -> a

hint :: a -> PosLen_ a

Hint PosLen'

Methods

unhint :: PosLen' a -> a

hint :: a -> PosLen' a

Hint All

Methods

unhint :: All a -> a

hint :: a -> All a

Hint Once

Methods

unhint :: Once a -> a

hint :: a -> Once a

Hint Test

Methods

unhint :: Test a -> a

hint :: a -> Test a