BSD-3-Clause licensed and maintained by Oleg Grenrus
This version can be pinned in stack with:kleene-0@sha256:ac004102590623f119224b6e63ea846ee41422ec5375a231efe365919632e903,1972

Module documentation for 0

  • Kleene
    • Kleene.Classes
    • Kleene.DFA
    • Kleene.ERE
    • Kleene.Equiv
    • Kleene.Functor
    • Kleene.Internal
      • Kleene.Internal.Partition
      • Kleene.Internal.Pretty
      • Kleene.Internal.Sets
    • Kleene.Monad
    • Kleene.RE

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