FST.NReg

Documentation

data NReg a

Constructors

NCross (NReg a) (NReg a)

NComp (NReg a) (NReg a)

NUnion (NReg a) (NReg a)

NProduct (NReg a) (NReg a)

NStar (NReg a)

NIntersect (NReg a) (NReg a)

NComplement (NReg a)

NSymbol a

NRelation a a

NEpsilon

NEmptySet

NVar String

Fun String [NReg a]

NAll

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

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

nVarToSymbol :: NReg String -> NReg String