fst-0.10.0.1: Finite state transducers

Safe HaskellSafe-Inferred
LanguageHaskell98

FST.RRegTypes

Contents

Description

Functions for constructing a simplified regular relation.

Synopsis

Documentation

Types

data RReg a Source

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 Source

Cross product operator

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

Composition operator

Constructors

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

Identity relation

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

Relation