Changelog for kleene-0.1
0.1
- Drop superclasses from
Kleene
. - Rearrange classes. Introduce
CharKleene
,FiniteKleene
. - Add
ToLatin1
and ability to match onByteString
. - Add
Derivate c (DFA c)
instance. - Add
toDot
to outputDFA
to be rendered by graphviz. - Add
fromRE :: RE c -> ERE c
- Add
nullableProof :: RE c -> Maybe (RE c)
which returns non-nullable part of given regular expression. - Support/require
lattices-2
:RE
is now aLattice
,M
isn't.