FST.RRegTypes

Functions for constructing a simplified regular relation.

Documentation

module FST.RegTypes

Types

data RReg a

Datatype for a regular relations

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)

Combinators

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

Cross product operator

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

Composition operator

Constructors

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

Identity relation

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

Relation