kleene: Kleene algebra

[ bsd3, library, math ] [ Propose Tags ]

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

Versions [faq] 0, 0.1
Change log CHANGELOG.md
Dependencies attoparsec, base (>=4.7.0.2 && <4.13), base-compat (>=0.10.5 && <0.11), bytestring (>=0.10.4.0 && <0.11), containers (>=0.5.5.1 && <0.7), lattices (>=2 && <2.1), MemoTrie (>=0.6.9 && <0.7), QuickCheck (>=2.12.6.1 && <2.14), range-set-list (>=0.1.3 && <0.2), regex-applicative (>=0.3.3 && <0.4), semigroupoids (>=5.3.2 && <5.4), semigroups (>=0.18.5 && <0.19), step-function (==0.2.*), text (>=1.2.3.0 && <1.3), transformers (>=0.3.0.0 && <0.6) [details]
License BSD-3-Clause
Author Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Revised Revision 1 made by phadej at Mon Apr 29 06:54:33 UTC 2019
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
Uploaded by phadej at Thu Apr 25 08:57:56 UTC 2019
Distributions LTSHaskell:0, NixOS:0.1, Stackage:0.1
Downloads 356 total (22 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-04-25 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees