tlex-core-0.4.0.0: A lexer generator
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Lexer.Tlex.Machine.DFA

Documentation

data DFA a Source #

Constructors

DFA 

Fields

Instances

Instances details
Functor DFA Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

fmap :: (a -> b) -> DFA a -> DFA b #

(<$) :: a -> DFA b -> DFA a #

Show a => Show (DFA a) Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

showsPrec :: Int -> DFA a -> ShowS #

show :: DFA a -> String #

showList :: [DFA a] -> ShowS #

Eq a => Eq (DFA a) Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

(==) :: DFA a -> DFA a -> Bool #

(/=) :: DFA a -> DFA a -> Bool #

data DFAState a Source #

Constructors

DState 

Fields

Instances

Instances details
Functor DFAState Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

fmap :: (a -> b) -> DFAState a -> DFAState b #

(<$) :: a -> DFAState b -> DFAState a #

Show a => Show (DFAState a) Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

showsPrec :: Int -> DFAState a -> ShowS #

show :: DFAState a -> String #

showList :: [DFAState a] -> ShowS #

Eq a => Eq (DFAState a) Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

(==) :: DFAState a -> DFAState a -> Bool #

(/=) :: DFAState a -> DFAState a -> Bool #

type DFABuilder m = State (DFABuilderContext m) Source #

data DFABuilderContext m Source #

Instances

Instances details
Functor DFABuilderContext Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

fmap :: (a -> b) -> DFABuilderContext a -> DFABuilderContext b #

(<$) :: a -> DFABuilderContext b -> DFABuilderContext a #

Show m => Show (DFABuilderContext m) Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

showsPrec :: Int -> DFABuilderContext m -> ShowS #

show :: DFABuilderContext m -> String #

showList :: [DFABuilderContext m] -> ShowS #

Eq m => Eq (DFABuilderContext m) Source # 
Instance details

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

(==) :: DFABuilderContext m -> DFABuilderContext m -> Bool #

(/=) :: DFABuilderContext m -> DFABuilderContext m -> Bool #

buildDFA :: DFABuilder m () -> DFA m Source #

newStateNum :: DFABuilder m StateNum Source #

insertTrans :: StateNum -> DFAState m -> DFABuilder m () Source #

accept :: StateNum -> Accept m -> DFABuilder m () Source #

initial :: StateNum -> StartState -> DFABuilder m () Source #