Language.Lexer.Tlex.Machine.NFA

Documentation

data NFA a

Constructors

NFA

Fields

• nfaInitials :: [(StateNum, StartState)]
• nfaTrans :: StateArray (NFAState a)

Instances

Functor NFA

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

fmap :: (a -> b) -> NFA a -> NFA b

(<$) :: a -> NFA b -> NFA a

Eq a => Eq (NFA a)

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

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

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

Show a => Show (NFA a)

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

showsPrec :: Int -> NFA a -> ShowS

show :: NFA a -> String

showList :: [NFA a] -> ShowS

data NFAState a

Constructors

NState

Fields

• nstAccepts :: [Accept a]
• nstEpsilonTrans :: [StateNum]
• nstTrans :: [NFAStateTrans]

Instances

Functor NFAState

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

fmap :: (a -> b) -> NFAState a -> NFAState b

(<$) :: a -> NFAState b -> NFAState a

Eq a => Eq (NFAState a)

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

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

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

Show a => Show (NFAState a)

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

showsPrec :: Int -> NFAState a -> ShowS

show :: NFAState a -> String

showList :: [NFAState a] -> ShowS

data NFAStateTrans

Constructors

NFAStateTrans

Fields

• nstTransIsStraight :: Bool
• nstTransRange :: IntSet
• nstTransNextState :: StateNum

Instances

Eq NFAStateTrans

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

(==) :: NFAStateTrans -> NFAStateTrans -> Bool

(/=) :: NFAStateTrans -> NFAStateTrans -> Bool

Show NFAStateTrans

Defined in Language.Lexer.Tlex.Machine.NFA

Methods

showsPrec :: Int -> NFAStateTrans -> ShowS

show :: NFAStateTrans -> String

showList :: [NFAStateTrans] -> ShowS

type NFABuilder m = State (NFABuilderContext m)

data NFABuilderContext m

buildNFA :: NFABuilder m () -> NFA m

epsilonClosed :: NFA a -> NFA a

newStateNum :: NFABuilder m StateNum

epsilonTrans :: StateNum -> StateNum -> NFABuilder m ()

condTrans :: StateNum -> NFAStateTrans -> NFABuilder m ()

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

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