FST.Lexer

Documentation

semicolon :: Posn -> String -> Token

listEps :: Posn -> String -> Token

hardOpenBracket :: Posn -> String -> Token

hardClosedBracket :: Posn -> String -> Token

softOpenBracket :: Posn -> String -> Token

softClosedBracket :: Posn -> String -> Token

union :: Posn -> String -> Token

equal :: Posn -> String -> Token

relation :: Posn -> String -> Token

star :: Posn -> String -> Token

plus :: Posn -> String -> Token

repeatSymbol :: Posn -> String -> Token

complement :: Posn -> String -> Token

containment :: Posn -> String -> Token

intersect :: Posn -> String -> Token

minus :: Posn -> String -> Token

zeroEps :: Posn -> String -> Token

allSymbol :: Posn -> String -> Token

composition :: Posn -> String -> Token

crossproduct :: Posn -> String -> Token

symbol :: Posn -> String -> Token

concatsymbols :: Posn -> String -> Token

mainId :: Posn -> String -> Token

definitions :: Posn -> String -> Token

variable :: Posn -> String -> Token

litint :: Posn -> String -> Token

params :: String -> [String]

type Name = String

data Token

Constructors

TokenSemi Int

TokenHOB Int

TokenHCB Int

TokenSOB Int

TokenSCB Int

TokenConcatS (Int, String)

TokenStar Int

TokenComplement Int

TokenContainment Int

TokenMinus Int

TokenIntersect Int

TokenUnion Int

TokenPlus Int

TokenEps Int

TokenAll Int

TokenS (Int, String)

TokenRelation Int

TokenCrossproduct Int

TokenComposition Int

TokenRepeat Int

TokenNum (Int, Int)

TokenFun (Int, (Name, [String]))

TokenMain Int

TokenDef Int

TokenVar (Int, String)

Err String

Instances

Eq Token

Show Token

lexer :: String -> [Token]

token_lx :: [(Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))]

lx__0_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__1_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__2_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__3_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__4_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__5_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__6_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__7_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__8_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__9_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__10_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__11_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__12_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__13_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__14_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__15_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__16_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__17_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__18_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__19_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__20_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__21_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__22_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__23_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__24_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__25_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__26_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__27_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__28_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__29_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__30_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__31_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__32_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__33_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__34_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__35_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__36_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__37_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__38_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__39_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__40_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__41_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))

lx__42_0 :: (Bool, [(Int, String, [Int], Maybe ((Char, Char), [(Char, Bool)]), Maybe Int)], Int, ((Char, Char), [(Char, Int)]))