kleene: Kleene algebra

[ bsd3, library, math ] [ Propose Tags ] [ Report a vulnerability ]

Kleene algebra

Think: Regular expressions

Implements ideas from Regular-expression derivatives re-examined by Scott Owens, John Reppy and Aaron Turon https://doi.org/10.1017/S0956796808007090

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0, 0.1, 0.2
Change log CHANGELOG.md
Dependencies base (>=4.7.0.2 && <4.23), bytestring (>=0.10.8.2 && <0.13), containers (>=0.6.0.1 && <0.9), lattices (>=2 && <2.3), MemoTrie (>=0.6.9 && <0.7), QuickCheck (>=2.16.0.0 && <2.19), range-set-list (>=0.1.3 && <0.2), regex-applicative (>=0.3.4 && <0.4), semigroupoids (>=5.3.2 && <6.1), step-function (>=0.2.1 && <0.3) [details]
Tested with ghc ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4 || ==9.10.3 || ==9.12.4 || ==9.14.1
License BSD-3-Clause
Author Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Uploaded by phadej at 2026-05-12T17:51:59Z
Category Math
Home page https://github.com/phadej/kleene
Bug tracker https://github.com/phadej/kleene/issues
Source repo head: git clone https://github.com/phadej/kleene
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1651 total (13 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2026-05-12 [all 1 reports]