FST.RRegTypes

Documentation

module FST.RegTypes

data RReg a

Constructors

Cross (Reg a) (Reg a)

Cross product

Comp (RReg a) (RReg a)

Composition

ProductR (RReg a) (RReg a)

Concatenation

UnionR (RReg a) (RReg a)

Union

StarR (RReg a)

Kleene star

Identity (Reg a)

Identity relation

Relation (Symbol a) (Symbol a)

(a:b)

EmptyR

Empty language

Instances

Symbols RReg

Eq a => Eq (RReg a)

Show a => Show (RReg a)

Eq a => Combinators (RReg a)

(<*>) :: Eq a => Reg a -> Reg a -> RReg a

(<.>) :: Eq a => RReg a -> RReg a -> RReg a

idR :: Eq a => Reg a -> RReg a

r :: Eq a => a -> a -> RReg a