Text.Regex.TDFA.Common
Description
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.
- look :: Int -> IntMap a -> a
- common_error :: String -> String -> a
- on :: (t1 -> t1 -> t2) -> (t -> t1) -> t -> t -> t2
- norep :: Eq a => [a] -> [a]
- norepBy :: (a -> a -> Bool) -> [a] -> [a]
- mapFst :: Functor f => (t -> t2) -> f (t, t1) -> f (t2, t1)
- mapSnd :: Functor f => (t1 -> t2) -> f (t, t1) -> f (t, t2)
- fst3 :: (a, b, c) -> a
- snd3 :: (a, b, c) -> b
- thd3 :: (a, b, c) -> c
- flipOrder :: Ordering -> Ordering
- noWin :: WinTags -> Bool
- newtype DoPa = DoPa {}
- data CompOption = CompOption {
- caseSensitive :: Bool
- multiline :: Bool
- rightAssoc :: Bool
- lastStarGreedy :: Bool
- data ExecOption = ExecOption {
- captureGroups :: Bool
- testMatch :: Bool
- type Tag = Int
- data OP
- type Index = Int
- type SetIndex = IntSet
- type Position = Int
- type GroupIndex = Int
- data GroupInfo = GroupInfo {
- thisIndex :: GroupIndex
- parentIndex :: GroupIndex
- startTag :: Tag
- stopTag :: Tag
- data Regex = Regex {}
- data QNFA = QNFA {}
- data QT
- type QTrans = IntMap [TagCommand]
- data WhichTest
- data TagTask
- type TagTasks = [(Tag, TagTask)]
- data TagUpdate
- type TagList = [(Tag, TagUpdate)]
- type TagCommand = (DoPa, TagList)
- type WinTags = TagList
- data DFA = DFA {}
- data DT
- showDT :: DT -> String
- seeDTrans :: DTrans -> String
- type DTrans = IntMap (IntMap (DoPa, Instructions))
- type DTrans' = [(Index, [(Index, (DoPa, ([(Tag, (Position, Bool))], [String])))])]
- data Orbits = Orbits {}
- data Instructions = Instructions {}
- type OrbitLog = IntMap Orbits
- type OrbitTransformer = OrbitLog -> OrbitLog
- type CompileInstructions a = State (IntMap Bool, IntMap Bool, IntMap AlterOrbit) a
- data AlterOrbit
- = AlterReset
- | AlterLeave
- | AlterModify {
- newInOrbit :: Bool
- freshOrbit :: Bool
Documentation
common_error :: String -> String -> aSource
norep :: Eq a => [a] -> [a]Source
after sort or sortBy the use of nubnubBy can be replaced by norepnorepBy
norepBy :: (a -> a -> Bool) -> [a] -> [a]Source
after sort or sortBy the use of nubnubBy can be replaced by norepnorepBy
Used to track elements of the pattern that accept characters or are anchors
data CompOption Source
Control whether the pattern is multiline or case-sensitive like Text.Regex and whether to capture the subgroups (1, 2, etc).
Constructors
| CompOption | |
Fields
| |
data ExecOption Source
Constructors
| ExecOption | |
Fields
| |
Arguments
| = Int | identity of Position tag to set during a transition | Internal use to indicate type of tag and preference for larger or smaller Positions |
Used by implementation to name certain Postions during matching
type GroupIndex = IntSource
GroupIndex is for indexing submatches from capturing parenthesized groups (PGroup/Group)
GroupInfo collects the parent and tag information for an instance of a group
Constructors
| GroupInfo | |
Fields
| |
The TDFA backend specific Regex type, used by this module's RegexOptions and RegexMaker
Constructors
| Regex | |
Fields
| |
Instances
Internal NFA node type
type QTrans = IntMap [TagCommand]Source
Internal type to represent the tagged transition from one QNFA to another (or itself). The key is the Index of the destination QNFA.
Known predicates, just Beginning of Line (^) and End of Line ($).
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.
When attached to a QTrans the TagTask can be done before or after accepting the character.
Constructors
| PreUpdate TagTask | |
| PostUpdate TagTask |
type TagCommand = (DoPa, TagList)Source
A TagList and the location of the item in the original pattern that is being accepted.
Ordered list of tags and their associated update operation to perform on an empty transition to the virtual winning state.
Internal DFA node, identified by the Set of indices of the QNFA nodes it represents.
type DTrans = IntMap (IntMap (DoPa, Instructions))Source
Internal type to repesent 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.
type DTrans' = [(Index, [(Index, (DoPa, ([(Tag, (Position, Bool))], [String])))])]Source
Internal convenience type for the text display code
Positions for which a * was re-started while looping. Need to append locations but compare starting with front, so use Seq as a Queue.
type OrbitTransformer = OrbitLog -> OrbitLogSource
type CompileInstructions a = State (IntMap Bool, IntMap Bool, IntMap AlterOrbit) aSource
data AlterOrbit Source
Constructors
| AlterReset | |
| AlterLeave | |
| AlterModify | |
Fields
| |
Instances