regex-base-0.94.0.1: Common "Text.Regex.*" API for Regex matching
Copyright(c) Chris Kuklewicz 2006
LicenseBSD-3-Clause
Maintainerhvr@gnu.org
Stabilityexperimental
Portabilitynon-portable (Text.Regex.Base needs MPTC+FD)
Safe HaskellSafe
LanguageHaskell2010

Text.Regex.Base.Impl

Description

Helper functions for defining certain instances of RegexContext. These help when defining instances of RegexContext with repeated types:

instance (RegexLike regex source) => RegexContext regex source source where

runs into overlapping restrictions. To avoid this I have each backend define, for its own Regex type:

instance RegexContext Regex String String where
  match = polymatch
  matchM = polymatchM
instance RegexContext Regex ByteString ByteString where
  match = polymatch
  matchM = polymatchM
instance RegexContext Regex Text Text where
  match = polymatch
  matchM = polymatchM

Documentation

polymatch :: RegexLike a b => a -> b -> b #

polymatchM :: (RegexLike a b, MonadFail m) => a -> b -> m b #