Text.Regex.Do.Pcre.Ascii.MatchHint

this module uses TypeFamilies

this module is similar to Text.Regex.Do.Pcre.Ascii.Match. The differences are:

Text.Regex.Do.Pcre.Ascii.Match is more flexible: accepts Pattern Regex, accepts Pattern and Body of different types

Text.Regex.Do.Pcre.Ascii.Match needs to infer result type

in this module the result type is determined by the hint

Documentation

class (Hint hint, Match a a (F hint a)) => MatchHint hint a where

picks Match instance where Pattern and Body are of the same type

Hint and inferrable Pattern or Body type determine the instance

handy when working with OverloadedStrings, in other cases when compiler needs a hint

Minimal complete definition

Nothing

Associated Types

type F hint a

Methods

match :: hint (Pattern a) -> Body a -> F hint a

(=~)

Arguments

:: hint a

hint & pattern

-> a

body

-> F hint a

type defined by the instance, determined by the hint

Instances

MatchHint PosLen_ String

MatchHint PosLen_ ByteString

MatchHint PosLen' String

>>> PosLen' ("и"::String) =~ "бывает и хуже"

[(13,2)]

MatchHint PosLen' ByteString

MatchHint All String

MatchHint All ByteString

MatchHint Once String

>>> Once ("^all"::String) =~ "all the time"

["all"]

MatchHint Once ByteString

MatchHint Test String

MatchHint Test ByteString

>>> Test ("в"::ByteString) =~ "тихо в лесу"

True