| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Lexer.Tlex.Syntax
Synopsis
- newtype Scanner unit action = Scanner {
- scannerRules :: [ScanRule unit action]
- data ScanRule unit action = ScanRule {
- scanRuleStartStates :: [StartState]
- scanRulePattern :: Pattern unit
- scanRuleSemanticAction :: action
- type ScannerBuilder state unit action = State (ScannerBuilderContext state unit action)
- data ScannerBuilderContext state unit action
- buildScanner :: Enum unit => ScannerBuilder state unit action () -> Scanner unit action
- lexRule :: Enum state => Enum unit => [state] -> Pattern unit -> action -> ScannerBuilder state unit action ()
- data Pattern e
- enumsP :: Enum e => [e] -> Pattern e
- straightEnumSetP :: Enum e => EnumSet e -> Pattern e
- anyoneP :: Enum unit => Pattern unit
- maybeP :: Enum unit => Pattern unit -> Pattern unit
- someP :: Enum unit => Pattern unit -> Pattern unit
- manyP :: Enum unit => Pattern unit -> Pattern unit
- orP :: Enum unit => [Pattern unit] -> Pattern unit
- data StartState
- data Accept a = Accept {}
- data AcceptPriority
Documentation
newtype Scanner unit action Source #
Constructors
| Scanner | |
Fields
| |
data ScanRule unit action Source #
Constructors
| ScanRule | |
Fields
| |
type ScannerBuilder state unit action = State (ScannerBuilderContext state unit action) Source #
data ScannerBuilderContext state unit action Source #
Instances
| Functor (ScannerBuilderContext state unit) Source # | |
Defined in Language.Lexer.Tlex.Syntax Methods fmap :: (a -> b) -> ScannerBuilderContext state unit a -> ScannerBuilderContext state unit b # (<$) :: a -> ScannerBuilderContext state unit b -> ScannerBuilderContext state unit a # | |
| (Enum unit, Show unit, Show action) => Show (ScannerBuilderContext state unit action) Source # | |
Defined in Language.Lexer.Tlex.Syntax Methods showsPrec :: Int -> ScannerBuilderContext state unit action -> ShowS # show :: ScannerBuilderContext state unit action -> String # showList :: [ScannerBuilderContext state unit action] -> ShowS # | |
| Eq action => Eq (ScannerBuilderContext state unit action) Source # | |
Defined in Language.Lexer.Tlex.Syntax Methods (==) :: ScannerBuilderContext state unit action -> ScannerBuilderContext state unit action -> Bool # (/=) :: ScannerBuilderContext state unit action -> ScannerBuilderContext state unit action -> Bool # | |
buildScanner :: Enum unit => ScannerBuilder state unit action () -> Scanner unit action Source #
lexRule :: Enum state => Enum unit => [state] -> Pattern unit -> action -> ScannerBuilder state unit action () Source #
straightEnumSetP :: Enum e => EnumSet e -> Pattern e #
maybeP :: Enum unit => Pattern unit -> Pattern unit Source #
Maybe pattern which accepts given pattern or nothing.
someP :: Enum unit => Pattern unit -> Pattern unit Source #
Some pattern which accepts one given pattern or more times.
manyP :: Enum unit => Pattern unit -> Pattern unit Source #
Many pattern which accepts nothing or given pattern more times.
orP :: Enum unit => [Pattern unit] -> Pattern unit Source #
Or pattern which accepts one of given patterns.
data StartState #
Instances
| Enum StartState | |
Defined in Language.Lexer.Tlex.Machine.Pattern Methods succ :: StartState -> StartState # pred :: StartState -> StartState # toEnum :: Int -> StartState # fromEnum :: StartState -> Int # enumFrom :: StartState -> [StartState] # enumFromThen :: StartState -> StartState -> [StartState] # enumFromTo :: StartState -> StartState -> [StartState] # enumFromThenTo :: StartState -> StartState -> StartState -> [StartState] # | |
| Show StartState | |
Defined in Language.Lexer.Tlex.Machine.Pattern Methods showsPrec :: Int -> StartState -> ShowS # show :: StartState -> String # showList :: [StartState] -> ShowS # | |
| Eq StartState | |
Defined in Language.Lexer.Tlex.Machine.Pattern | |
data AcceptPriority #