Moduleregex-tdfa-1.3.2.5Haskell2010

Text.Regex.TDFA.Common

Common provides simple functions to the backend. It defines most of the data types. All modules should call error via the common_error function below.

32 types
16 values

Packageregex-tdfa-1.3.2.5
Exports48
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCommon.hs

valuelook :: Int -> IntMap a -> a

valuecommon_error :: String -> String -> a

valueon :: (t1 -> t1 -> t2) -> (t -> t1) -> t -> t -> t2

valuenorep :: Eq a => [a] -> [a]

After sort or sortBy the use of nub or nubBy can be replaced by norep or norepBy.

valuenorepBy :: (a -> a -> Bool) -> [a] -> [a]

After sort or sortBy the use of nub or nubBy can be replaced by norep or norepBy.

valuemapFst :: Functor f => (t -> t2) -> f (t, t1) -> f (t2, t1)

valuemapSnd :: Functor f => (t1 -> t2) -> f (t, t1) -> f (t, t2)

valuefst3 :: (a, b, c) -> a

valuesnd3 :: (a, b, c) -> b

valuethd3 :: (a, b, c) -> c

valueflipOrder :: Ordering -> Ordering

valuenoWin :: WinTags -> Bool

newtypenewtype DoPa

Used to track elements of the pattern that accept characters or are anchors.

Constructors

DoPa
- dopaIndex :: Int

Instances4Enum, Eq, Ord, Show

Enum DoPaDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Eq DoPaDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Ord DoPaDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show DoPaDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata CompOption

Control whether the pattern is multiline or case-sensitive like Text.Regex and whether to capture the subgroups (\1, \2, etc). Controls enabling extra anchor syntax.

Constructors

CompOption
- caseSensitive :: Bool
  True in blankCompOpt and defaultCompOpt.
- multiline :: Bool
  False in blankCompOpt, True in defaultCompOpt. Compile for newline-sensitive matching.
  From regexp man page: "By default, newline is a completely ordinary character with no special meaning in either REs or strings. With this flag, inverted bracket expressions [^ and . never match newline, a ^ anchor matches the null string after any newline in the string in addition to its normal function, and the $ anchor matches the null string before any newline in the string in addition to its normal function."
- rightAssoc :: Bool
  True (and therefore right associative) in blankCompOpt and defaultCompOpt.
- newSyntax :: Bool
  False in blankCompOpt, True in defaultCompOpt. Enables the extended non-POSIX syntax described in Text.Regex.TDFA haddock documentation.
- lastStarGreedy :: Bool
  False by default. This is POSIX correct but it takes space and is slower. Setting this to True will improve performance, and should be done if you plan to set the captureGroups ExecOption to False.

Instances9Read, Show, RegexOptions, RegexMaker, …

Read CompOptionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show CompOptionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
RegexOptions Regex CompOption ExecOptionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
RegexMaker Regex CompOption ExecOption ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString · orphan
RegexMaker Regex CompOption ExecOption ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString.Lazy · orphan
RegexMaker Regex CompOption ExecOption StringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.String · orphan
RegexMaker Regex CompOption ExecOption TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text · orphan
RegexMaker Regex CompOption ExecOption TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text.Lazy · orphan
RegexMaker Regex CompOption ExecOption (Seq Char)Defined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Sequence · orphan

datadata ExecOption

Constructors

ExecOption
- captureGroups :: Bool
  True by default. Set to False to improve speed (and space).

Instances9Read, Show, RegexOptions, RegexMaker, …

Read ExecOptionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show ExecOptionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
RegexOptions Regex CompOption ExecOptionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
RegexMaker Regex CompOption ExecOption ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString · orphan
RegexMaker Regex CompOption ExecOption ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString.Lazy · orphan
RegexMaker Regex CompOption ExecOption StringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.String · orphan
RegexMaker Regex CompOption ExecOption TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text · orphan
RegexMaker Regex CompOption ExecOption TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text.Lazy · orphan
RegexMaker Regex CompOption ExecOption (Seq Char)Defined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Sequence · orphan

typetype Tag = Int

Used by implementation to name certain Positions during matching. Identity of Position tag to set during a transition.

datadata OP

Internal use to indicate type of tag and preference for larger or smaller Positions.

Maximize Minimize Orbit Ignore

Instances2Eq, Show

Eq OPDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show OPDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

typetype Index = Int

Internal NFA node identity number.

typetype SetIndex = IntSet

Internal DFA identity is this Set of NFA Index.

typetype Position = Int

Index into the text being searched.

typetype GroupIndex = Int

GroupIndex is for indexing submatches from capturing parenthesized groups (PGroup or Group).

datadata GroupInfo

GroupInfo collects the parent and tag information for an instance of a group.

Constructors

GroupInfo
- thisIndex :: GroupIndex
- parentIndex :: GroupIndex
- startTag :: Tag
- stopTag :: Tag
- flagTag :: Tag

Instances1Show

Show GroupInfoDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata Regex

The TDFA backend specific Regex type, used by this module's RegexOptions and RegexMaker.

Constructors

Regex
- regex_dfa :: DFA
  starting DFA state
- regex_init :: Index
  index of starting state
- regex_b_index :: (Index, Index)
  indexes of smallest and largest states
- regex_b_tags :: (Tag, Tag)
  indexes of smallest and largest tags
- regex_trie :: TrieSet DFA
  All DFA states
- regex_tags :: Array Tag OP
  information about each tag
- regex_groups :: Array GroupIndex [GroupInfo]
  information about each group
- regex_isFrontAnchored :: Bool
  used for optimizing execution
- regex_compOptions :: CompOption
- regex_execOptions :: ExecOption

Instances19RegexOptions, RegexMaker, RegexLike, RegexContext, …

RegexLike Regex ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString · orphan
RegexLike Regex ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString.Lazy · orphan
RegexLike Regex StringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.String · orphan
RegexLike Regex TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text · orphan
RegexLike Regex TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text.Lazy · orphan
RegexContext Regex ByteString ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString · orphan
RegexContext Regex ByteString ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString.Lazy · orphan
RegexContext Regex String StringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.String · orphan
RegexContext Regex Text TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text · orphan
RegexContext Regex Text TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text.Lazy · orphan
RegexOptions Regex CompOption ExecOptionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
RegexMaker Regex CompOption ExecOption ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString · orphan
RegexMaker Regex CompOption ExecOption ByteStringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.ByteString.Lazy · orphan
RegexMaker Regex CompOption ExecOption StringDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.String · orphan
RegexMaker Regex CompOption ExecOption TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text · orphan
RegexMaker Regex CompOption ExecOption TextDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Text.Lazy · orphan
RegexMaker Regex CompOption ExecOption (Seq Char)Defined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Sequence · orphan
RegexLike Regex (Seq Char)Defined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Sequence · orphan
RegexContext Regex (Seq Char) (Seq Char)Defined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Sequence · orphan

datadata WinEmpty

Constructors

WinEmpty Instructions
WinTest WhichTest (Maybe WinEmpty) (Maybe WinEmpty)

Instances1Show

Show WinEmptyDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata QNFA

Internal NFA node type.

Constructors

QNFA
- q_id :: Index
- q_qt :: QT

Instances1Show

Show QNFADefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata QT

Internal to QNFA type.

Constructors

Simple
- qt_win :: WinTags
  empty transitions to the virtual winning state
- qt_trans :: CharMap QTrans
  all ways to leave this QNFA to other or the same QNFA
- qt_other :: QTrans
  default ways to leave this QNFA to other or the same QNFA
Testing
- qt_test :: WhichTest
  The test to perform
- qt_dopas :: EnumSet DoPa
  location(s) of the anchor(s) in the original regexp
- qt_a :: QT
  use qt_a if test is True, else use qt_b
- qt_b :: QT
  use qt_a if test is True, else use qt_b

Instances2Eq, Show

Eq QTDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show QTDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

typetype QTrans = IntMap [TagCommand]

Internal type to represent the tagged transition from one QNFA to another (or itself). The key is the Index of the destination QNFA.

datadata WhichTest

Known predicates, just Beginning of Line (^) and End of Line ($). Also support for GNU extensions is being added: \` beginning of buffer, \' end of buffer, \< and \> for begin and end of words, \b and \B for word boundary and not word boundary.

Constructors

Test_BOL
^ (affected by multiline option)
Test_EOL
$ (affected by multiline option)
Test_BOB
\` beginning of buffer
Test_EOB
\' end ofbuffer
Test_BOW
\< beginning of word
Test_EOW
\> end of word
Test_EdgeWord
\b word boundary
Test_NotEdgeWord
\B not word boundary

Instances4Enum, Eq, Ord, Show

Enum WhichTestDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Eq WhichTestDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Ord WhichTestDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show WhichTestDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata TagTask

The things that can be done with a Tag. TagTask and ResetGroupStopTask are for tags with Maximize or Minimize OP values. ResetOrbitTask and EnterOrbitTask and LeaveOrbitTask are for tags with Orbit OP value.

TagTask ResetGroupStopTask SetGroupStopTask ResetOrbitTask EnterOrbitTask LeaveOrbitTask

Instances2Eq, Show

Eq TagTaskDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show TagTaskDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

typetype TagTasks = [(Tag, TagTask)]

Ordered list of tags and their associated Task.

datadata TagUpdate

When attached to a QTrans the TagTask can be done before or after accepting the character.

Instances2Eq, Show

Eq TagUpdateDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show TagUpdateDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

typetype TagCommand = (DoPa, TagList)

A TagList and the location of the item in the original pattern that is being accepted.

typetype WinTags = TagList

Ordered list of tags and their associated update operation to perform on an empty transition to the virtual winning state.

datadata DFA

Internal DFA node, identified by the Set of indices of the QNFA nodes it represents.

Constructors

DFA
- d_id :: SetIndex
- d_dt :: DT

Instances1Show

Show DFADefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata Transition

Constructors

Transition
- trans_many :: DFA
  where to go (maximal), including respawning
- trans_single :: DFA
  where to go, not including respawning
- trans_how :: DTrans
  how to go, including respawning

datadata DT

Internal to the DFA node

Constructors

Simple'
- dt_win :: IntMap Instructions
  Actions to perform to win
- dt_trans :: CharMap Transition
  Transition to accept Char
- dt_other :: Transition
  default accepting transition
Testing'
- dt_test :: WhichTest
  The test to perform
- dt_dopas :: EnumSet DoPa
  location(s) of the anchor(s) in the original regexp
- dt_a :: DT
  use dt_a if test is True else use dt_b
- dt_b :: DT
  use dt_a if test is True else use dt_b

Instances1Show

Show DTDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

typetype DTrans = IntMap (IntMap (DoPa, Instructions))

Internal type to represent the commands for the tagged transition. The outer IntMap is for the destination Index and the inner IntMap is for the Source Index. This is convenient since all runtime data going to the same destination must be compared to find the best.

A Destination IntMap entry may have an empty Source IntMap if and only if the destination is the starting index and the NFA or DFA. This instructs the matching engine to spawn a new entry starting at the post-update position.

typetype DTrans' = [(Index, [(Index, (DoPa, ([(Tag, (Position, Bool))], [String])))])]

Internal convenience type for the text display code.

datadata Orbits

Positions for which a * was re-started while looping. Need to append locations at back but compare starting with front, so use Seq as a queue. The initial position is saved in basePos (and a Maximize Tag), the middle positions in the Seq, and the final position is NOT saved in the Orbits (only in a Maximize Tag).

Constructors

Orbits
- inOrbit :: !Bool
- basePos :: Position
- ordinal :: Maybe Int
- getOrbits :: !Seq Position

Instances1Show

Show OrbitsDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata Instructions

The newPos and newFlags lists in Instructions are sorted by, and unique in, the Tag values

Constructors

Instructions
- newPos :: ![(Tag, Action)]
- newOrbits :: !Maybe (Position -> OrbitTransformer)

Instances1Show

Show InstructionsDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

datadata Action

Constructors

SetPre
SetPost
SetVal Int

Instances2Eq, Show

Eq ActionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common
Show ActionDefined in regex-tdfa-1.3.2.5 · Text.Regex.TDFA.Common

typetype OrbitTransformer = OrbitLog -> OrbitLog

typetype OrbitLog = IntMap Orbits

valueshowQT :: QT -> String

valueindent :: [String] -> String

valueshowDT :: DT -> String

valueseeDTrans :: DTrans -> String