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

this module:

• Pattern and Body are of the same type

• Hint and inferrable Pattern or Body type determine the instance

  the result type is determined by the hint

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

Documentation

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

• hint: Once, All, Test, PosLen', PosLen_
• a: String, ByteString

Minimal complete definition

Nothing

Associated Types

type F hint a

Methods

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

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

(=~)

Arguments

:: MatchHint hint a

=> hint a

hint & pattern

-> a

body

-> F hint a

type defined by the instance, determined by the hint