Safe Haskell	None
Language	Haskell2010

Text.Regex.Do.Type.Regex

Synopsis

Documentation

class Regex a where Source

monadic

makeRegexM
makeRegexOptM

let catch regex construction errors

for m to catch errors, implement fail in m

default m implementation: RegexResult

makeRegexM test case:

>>> it "RegexResult test case" $ do
        rx1 `shouldNotSatisfy` isok1
        rx2 `shouldSatisfy` isok1
    where rx1 = T.makeRegexM $ Pattern "[["::RegexResult R.Regex
          rx2 = T.makeRegexM $ Pattern "."::RegexResult R.Regex
          isok1 (RegexResult (Left e1)) = traceShow e1 False
          isok1 _ = True

>>> instance Show (RegexResult R.Regex) where
        show _ = "bon"

Methods

makeRegex :: Pattern a -> Regex Source

makeRegexM :: Monad m => Pattern a -> m Regex Source

makeRegexOpt :: Pattern a -> [Comp] -> [Exec] -> Regex Source

makeRegexOptM :: Monad m => Pattern a -> [Comp] -> [Exec] -> m Regex Source

Instances

Regex String Source
Regex ByteString Source
Regex Regex Source
Regex a => Regex (Utf8_ a) Source

makeRegex' :: Regex a => Pattern a -> Pattern Regex Source

makeRegexOpt' :: Regex a => Pattern a -> [Comp] -> [Exec] -> Pattern Regex Source

newtype RegexResult a Source

catches regex construction errors

Constructors

RegexResult (Either [String] a)

Instances

Monad RegexResult Source
Functor RegexResult Source
Applicative RegexResult Source

type Rx_ a b = (Regex a, Extract b, RegexLike Regex b) Source

type Opt_ a = RegexMaker Regex CompOption ExecOption a Source

type Ro_ rx = (Regex rx, Opt_ rx) Source