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)

Defined in Kleene.Equiv

Methods

complement :: Equiv r c -> Equiv r c

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

Defined in Kleene.Equiv

Methods

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

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

Defined in Kleene.Equiv

Methods

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

match8 :: Equiv r c -> ByteString -> Bool

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

Defined in Kleene.Equiv

Methods

nullable :: Equiv r c -> Bool

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

CharKleene c (r c) => CharKleene c (Equiv r c)

Defined in Kleene.Equiv

Methods

char :: c -> Equiv r c

string :: [c] -> Equiv r c

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

Defined in Kleene.Equiv

Methods

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

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

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

Defined in Kleene.Equiv

Methods

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

show :: Equiv r c -> String

showList :: [Equiv r c] -> ShowS

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

Defined in Kleene.Equiv

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)

Defined in Kleene.Equiv

Methods

mempty :: Equiv r c

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

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

Lattice (r c) => Lattice (Equiv r c)

Defined in Kleene.Equiv

Methods

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

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

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

Defined in Kleene.Equiv

Methods

bottom :: Equiv r c

BoundedMeetSemiLattice (r c) => BoundedMeetSemiLattice (Equiv r c)

Defined in Kleene.Equiv

Methods

top :: Equiv r c

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

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

Defined in Kleene.Equiv

Methods

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

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

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

Defined in Kleene.Equiv

Methods

pretty :: Equiv r c -> String

prettyS :: Equiv r c -> ShowS

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

Defined in Kleene.Equiv

Methods

empty :: Equiv r c

eps :: Equiv r c

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

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

star :: Equiv r c -> Equiv r c

>>> import Kleene.RE (RE)