Language.Lexer.Tlex.Machine.DFA

Documentation

data DFA a

Constructors

DFA

Fields

• dfaInitials :: EnumMap StartState StateNum
• dfaTrans :: StateArray (DFAState a)

Instances

Functor DFA

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)

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)

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

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

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

data DFAState a

Constructors

DState

Fields

• dstAccepts :: [Accept a]
• dstTrans :: IntMap StateNum
• dstOtherTrans :: Maybe StateNum

Instances

Functor DFAState

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)

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)

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

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

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

type DFABuilder m = State (DFABuilderContext m)

data DFABuilderContext m

Instances

Functor DFABuilderContext

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)

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)

Defined in Language.Lexer.Tlex.Machine.DFA

Methods

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

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

buildDFA :: DFABuilder m () -> DFA m

newStateNum :: DFABuilder m StateNum

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

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

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