tlex-core-0.4.0.0: A lexer generator

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Lexer.Tlex.Machine.NFA

Documentation

data NFA a Source #

Constructors

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

Instances

Instances details

Functor NFA Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods fmap :: (a -> b) -> NFA a -> NFA b # (<$) :: a -> NFA b -> NFA a #
Show a => Show (NFA a) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods showsPrec :: Int -> NFA a -> ShowS # show :: NFA a -> String # showList :: [NFA a] -> ShowS #
Eq a => Eq (NFA a) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods (==) :: NFA a -> NFA a -> Bool # (/=) :: NFA a -> NFA a -> Bool #

data NFAState a Source #

Constructors

NState
Fields nstAccepts :: [Accept a] nstEpsilonTrans :: [StateNum] nstTrans :: [NFAStateTrans]

Instances

Instances details

Functor NFAState Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods fmap :: (a -> b) -> NFAState a -> NFAState b # (<$) :: a -> NFAState b -> NFAState a #
Show a => Show (NFAState a) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods showsPrec :: Int -> NFAState a -> ShowS # show :: NFAState a -> String # showList :: [NFAState a] -> ShowS #
Eq a => Eq (NFAState a) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods (==) :: NFAState a -> NFAState a -> Bool # (/=) :: NFAState a -> NFAState a -> Bool #

data NFAStateTrans Source #

Constructors

NFAStateTrans
Fields nstTransIsStraight :: Bool nstTransRange :: IntSet nstTransNextState :: StateNum

Instances

Instances details

Show NFAStateTrans Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods showsPrec :: Int -> NFAStateTrans -> ShowS # show :: NFAStateTrans -> String # showList :: [NFAStateTrans] -> ShowS #
Eq NFAStateTrans Source #
Instance details Defined in Language.Lexer.Tlex.Machine.NFA Methods (==) :: NFAStateTrans -> NFAStateTrans -> Bool # (/=) :: NFAStateTrans -> NFAStateTrans -> Bool #

type NFABuilder m = State (NFABuilderContext m) Source #

data NFABuilderContext m Source #

buildNFA :: NFABuilder m () -> NFA m Source #

epsilonClosed :: NFA a -> NFA a Source #

newStateNum :: NFABuilder m StateNum Source #

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

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

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

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