Kleene.Equiv

Documentation

newtype Equiv r c

Regular-expressions for which == is equivalent.

>>> let re1 = star "a" <> "a" :: RE Char
>>> let re2 = "a" <> star "a" :: RE Char

>>> re1 == re2
False

>>> Equiv re1 == Equiv re2
True

Equiv is also a PartialOrd (but not Ord!)

>>> Equiv "a" `leq` Equiv (star "a" :: RE Char)
True

Not all regular expessions are comparable:

>>> let reA = Equiv "a" :: Equiv RE Char
>>> let reB = Equiv "b" :: Equiv RE Char
>>> (leq reA reB, leq reB reA)
(False,False)

Constructors

Equiv (r c)

Instances

Complement c (r c) => Complement c (Equiv r c)

Methods

complement :: Equiv r c -> Equiv r c

Equivalent c (r c) => Equivalent c (Equiv r c)

Methods

equivalent :: Equiv r c -> Equiv r c -> Bool

Match c (r c) => Match c (Equiv r c)

Methods

match :: Equiv r c -> [c] -> Bool

Derivate c (r c) => Derivate c (Equiv r c)

Methods

nullable :: Equiv r c -> Bool

derivate :: c -> Equiv r c -> Equiv r c

Kleene c (r c) => Kleene c (Equiv r c)

Methods

empty :: Equiv r c

eps :: Equiv r c

char :: c -> Equiv r c

appends :: [Equiv r c] -> Equiv r c

unions :: [Equiv r c] -> Equiv r c

star :: Equiv r c -> Equiv r c

Equivalent c (r c) => Eq (Equiv r c)

Methods

(==) :: Equiv r c -> Equiv r c -> Bool

(/=) :: Equiv r c -> Equiv r c -> Bool

Show (r c) => Show (Equiv r c)

Methods

showsPrec :: Int -> Equiv r c -> ShowS

show :: Equiv r c -> String

showList :: [Equiv r c] -> ShowS

Semigroup (r c) => Semigroup (Equiv r c)

Methods

(<>) :: Equiv r c -> Equiv r c -> Equiv r c

sconcat :: NonEmpty (Equiv r c) -> Equiv r c

stimes :: Integral b => b -> Equiv r c -> Equiv r c

Monoid (r c) => Monoid (Equiv r c)

Methods

mempty :: Equiv r c

mappend :: Equiv r c -> Equiv r c -> Equiv r c

mconcat :: [Equiv r c] -> Equiv r c

JoinSemiLattice (r c) => JoinSemiLattice (Equiv r c)

Methods

(\/) :: Equiv r c -> Equiv r c -> Equiv r c

join :: Equiv r c -> Equiv r c -> Equiv r c

BoundedJoinSemiLattice (r c) => BoundedJoinSemiLattice (Equiv r c)

Methods

bottom :: Equiv r c

(JoinSemiLattice (r c), Equivalent c (r c)) => PartialOrd (Equiv r c)

\(a \preceq b := a \lor b = b \)

Methods

leq :: Equiv r c -> Equiv r c -> Bool

comparable :: Equiv r c -> Equiv r c -> Bool

Pretty (r c) => Pretty (Equiv r c)

Methods

pretty :: Equiv r c -> String

prettyS :: Equiv r c -> ShowS

>>> import Kleene.RE (RE)