FST.Alex

Documentation

data Posn

Constructors

Pn !Int !Int !Int

Instances

Eq Posn

Show Posn

start_pos :: Posn

eof_pos :: Posn

move_pos :: Posn -> Char -> Posn

type Actions t = ([(String, TokenAction t)], StopAction t)

type TokenAction t = Posn -> String -> t

type StopAction t = Posn -> String -> [t]

load_scan :: Actions t -> DFADump -> Scan t

scan :: Scan t -> String -> [t]

scan' :: Scan t -> Posn -> Char -> String -> [t]

type Scan t = GScan () [t]

type GScan s r = (DFA (GTokenAction s r), GStopAction s r)

type GActions s r = ([(String, GTokenAction s r)], GStopAction s r)

type GTokenAction s r = Posn -> Char -> String -> Int -> ((StartCode, s) -> r) -> (StartCode, s) -> r

type GStopAction s r = Posn -> Char -> String -> (StartCode, s) -> r

load_gscan :: GActions s r -> DFADump -> GScan s r

gscan :: GScan s r -> s -> String -> r

gscan' :: GScan s r -> Posn -> Char -> String -> (StartCode, s) -> r

type Sv t = (Posn, Char, String, Int, Accept t)

scan_token :: DFA f -> (StartCode, s) -> Posn -> Char -> String -> Maybe (Sv f)

check_ctx :: DFA f -> (StartCode, s) -> Char -> Sv f -> Bool

scan_tkn :: DFA f -> Posn -> Char -> String -> Int -> SNum -> [Sv f] -> [Sv f]

type DFA a = Array SNum (State a)

type SNum = Int

data State a

Constructors

St Bool [Accept a] SNum (Array Char SNum)

data Accept a

Constructors

Acc Int String a [StartCode] (Maybe (Char -> Bool)) (Maybe SNum)

type StartCode = Int

type DFADump = [(Bool, [AcceptDump], SNum, ArrDump Int)]

type AcceptDump = (Int, String, [StartCode], Maybe (ArrDump Bool), Maybe SNum)

type ArrDump a = ((Char, Char), [(Char, a)])

dump_dfa :: DFA a -> DFADump

load_dfa :: [(String, f)] -> f -> DFADump -> DFA f

recover_dfa :: DFADump -> DFA ()

dfa_alphabet :: [Char]