regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

https://wiki.haskell.org/Regular_expressions

Version on this page:1.3.1.1@rev:1
LTS Haskell 24.17:1.3.2.5
Stackage Nightly 2025-10-31:1.3.2.5
Latest on Hackage:1.3.2.5

See all snapshots regex-tdfa appears in

BSD-3-Clause licensed by Christopher Kuklewicz
Maintained by Herbert Valerio Riedel, Andreas Abel
This version can be pinned in stack with:regex-tdfa-1.3.1.1@sha256:99301459d49759408235811b15a17ecf13c0501687bf66e8f012e80dc871fc09,6370

Module documentation for 1.3.1.1

This package provides a pure Haskell "Tagged" DFA regex engine for regex-base. This implementation was inspired by the algorithm (and Master's thesis) behind the regular expression library known as TRE or libtre.

Please consult the Text.Regex.TDFA module for API documentation including a tutorial with usage examples; see also https://wiki.haskell.org/Regular_expressions for general information about regular expression support in Haskell.

Changes

For the package version policy (PVP), see http://pvp.haskell.org/faq .

1.3.1.1

2021-06-03, Andreas Abel

  • Removed extension NoMonoPatBinds from .cabal-file for GHC 9.2 compatibility.
  • Removed some outdated documentation.

1.3.1.0 Revision 2

2021-02-20, Andreas Abel

  • Compatibility with base-4.15 (GHC 9.0) and bytestring-0.11

1.3.1.0 Revision 1

2020-03-26, phadej

  • Compatibility with base-4.14 (GHC 8.10)

1.3.1.0

2019-11-26, hvr

1.3.0 Revision 1

2019-11-26, hvr

  • Tighten bounds on base, mtl, parsec and fail.

1.3.0

2019-09-29, Artyom

1.2.3.3 (deprecated, not following PVP)

  • Compatibility with GHC 8.8 and regex-base-0.9.4 (h/t @asr).
  • Turned regex-tdfa-unittest into a regex-tdfa testsuite.

1.2.3.2

2019-05-09, Artyom

  • Significantly improved documentation (h/t William Yao).

1.2.3.1

2018-06-22, Artyom

  • Compatibility with containers-0.6.

1.2.3

2018-03-10, Artyom

  • Added Semigroup instances for some types (h/t Herbert Valerio Riedel).

1.2.2

2016-04-28, Artyom

  • New maintainer.
  • Now we don’t reexport the problematic Show instance for functions.

1.2.1

2015-08-29, Chris Kuklewicz

  • Updated dependency versions.

1.2.0

2014-02-02, Chris Kuklewicz

  • “Almost ghc-7.8” with the array 0.4 changes for Data.Array.Unsafe

1.1.8

Make ghc-7.0.2 on platorm 2011.2.0.0.0 happy

1.1.7

fix url below

1.1.6

Fix bug preventing []] [-] [^]] [^-] (thanks to Maxime Henrion)

1.1.5

try needUniqTags in POr in CorePattern.hs, try toAdvice b for PStar child

1.1.4

fixed

1.1.3

BROKEN after 100 characters the compressOrbit dies!

1.1.2

worked

1.1.1

add gnu escapes

1.1.0

NewDFA code working

1.0.7

make NewDFA directory and String_NC

1.0.6

try NewDFATest_SBS with uncons

1.0.5

use uncons on SBS

1.0.4

try repaired NewDFATest_SBS

  • np13: try to improve readability with the mm combinator? Yes!
  • np12: expand o in the case where t lookup get Nothing? Yes – this is the fix!?
  • np11: break multi to not look at o and just return True? Yes !!!!
  • np10: Peel off CharMap/IntMap and DFA/DT with pattern matching? No
  • np9: INLINE endOf? No
  • np8: np6 and NOINLINE endOff? No
  • np7: just return True? Fast
  • np6: comment out ans check? No
  • np5: comment out all Multi0 code? No
  • np4: comment out all Single0 and Single code? No
  • np3: !off the multi? No
  • np2: comment out all Testing code? No

1.0.3

try to alter matchTest to not have the Bool args? No

1.0.2

arg, the prof is fast and the normal slow!

1.0.1

add NewDFATest.hs

0.99.20

go to many vs single?

0.99.19

try for pre-comparison of orbit-logs!

0.99.18

try alternate lazy/strict strategy in NewDFA. Fix offset laziness.

0.99.17

radical removal of flag array and adding of SetVal to handle groups

0.99.16

performance? up to v15

0.99.15

get string with NewDFA testing, unit tests and 1000 random regex pass

0.99.14

start changing to the new real DFA

0.99.13

more cleanup

0.99.12

try to debug 0.99.11: fixed updateWinner

0.99.11

improve above fix and make stuff work better – HAS BUG, along with old TDFA!

0.99.10

fixed ((.?)*)* patterns by changing PStar nullView when mayFirstBeNull

0.99.9

testing changing bestTrans/chooseWith/choose to include enterOrbit/newFlags/(_,True) info

0.99.8

testing changing Maximize to Minimize for Tags, decide (a*)* is canonical problem

0.99.7

Use (PGroup Nothing) in Pattern to decompose PBound

0.99.6

change to nested nonEmpty calls for PBound

0.99.5

remove PNonEmpty constructor

0.99.4

tests pnonempty' = \ p -> POr [ PEmpty, p ] instead of PNonEmpty