FST.RegTypes

Documentation

data Reg a

Constructors

Empty

Epsilon

All

Symbol a

(Reg a) :|: (Reg a)

(Reg a) :.: (Reg a)

(Reg a) :&: (Reg a)

Complement (Reg a)

Star (Reg a)

Instances

Symbols Reg

Eq a => Eq (Reg a)

Show a => Show (Reg a)

Eq a => Combinators (Reg a)

class Combinators a where

Methods

(<|>) :: a -> a -> a

(|>) :: a -> a -> a

star :: a -> a

plus :: a -> a

empty :: a

Instances

Eq a => Combinators (Reg a)

Eq a => Combinators (RReg a)

(<&>) :: Eq a => Reg a -> Reg a -> Reg a

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

s :: a -> Reg a

eps :: Reg a

complement :: Eq a => Reg a -> Reg a

allS :: Reg a

allToSymbols :: Eq a => [a] -> Reg a

allFree :: Eq a => Reg a -> [a] -> Reg a

reversal :: Eq a => Reg a -> Reg a

acceptEps :: Eq a => Reg a -> Bool

class Symbols f where

Methods

symbols :: Eq a => f a -> [a]

Instances

Symbols Reg

Symbols RReg