FST.NReg

Neutral regular expressions

Types

data NReg a

Neutral regular expressions

Constructors

NCross (NReg a) (NReg a)

NComp (NReg a) (NReg a)

NUnion (NReg a) (NReg a)

NProduct (NReg a) (NReg a)

NIntersect (NReg a) (NReg a)

NStar (NReg a)

NComplement (NReg a)

NSymbol a

NRelation a a

NEpsilon

NEmptySet

NVar String

Fun String [NReg a]

NAll

Conversion functions

toRReg :: Eq a => NReg a -> Maybe (RReg a)

If possible, build a regular expression instead of a regular relation

toReg :: Eq a => NReg a -> Maybe (Reg a)

If possible, converts NReg to Reg

nVarToSymbol :: NReg String -> NReg String

Convert variables to symbols