Safe Haskell	None
Language	Haskell2010

Language.Lexer.Tlex.Syntax

Documentation

newtype Scanner e a Source #

Constructors

Scanner
Fields scannerRules :: [ScanRule e a]

Instances

Instances details

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

data ScanRule e a Source #

Constructors

ScanRule
Fields scanRuleStartStates :: [StartState] scanRulePattern :: Pattern e scanRuleSemanticAction :: a

Instances

Instances details

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

type ScannerBuilder s e f = State (ScannerBuilderContext s e f) Source #

data ScannerBuilderContext s e f Source #

Instances

Instances details

Functor (ScannerBuilderContext s e) Source #
Instance details Defined in Language.Lexer.Tlex.Syntax Methods fmap :: (a -> b) -> ScannerBuilderContext s e a -> ScannerBuilderContext s e b # (<$) :: a -> ScannerBuilderContext s e b -> ScannerBuilderContext s e a #
Eq f => Eq (ScannerBuilderContext s e f) Source #
Instance details Defined in Language.Lexer.Tlex.Syntax Methods (==) :: ScannerBuilderContext s e f -> ScannerBuilderContext s e f -> Bool # (/=) :: ScannerBuilderContext s e f -> ScannerBuilderContext s e f -> Bool #
(Enum e, Show e, Show f) => Show (ScannerBuilderContext s e f) Source #
Instance details Defined in Language.Lexer.Tlex.Syntax Methods showsPrec :: Int -> ScannerBuilderContext s e f -> ShowS # show :: ScannerBuilderContext s e f -> String # showList :: [ScannerBuilderContext s e f] -> ShowS #

buildScanner :: Enum e => ScannerBuilder s e f () -> Scanner e f Source #

lexRule :: Enum s => Enum e => [s] -> Pattern e -> f -> ScannerBuilder s e f () Source #

data Pattern e #

Instances

Instances details

Eq (Pattern e)
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods (==) :: Pattern e -> Pattern e -> Bool # (/=) :: Pattern e -> Pattern e -> Bool #
(Enum e, Show e) => Show (Pattern e)
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods showsPrec :: Int -> Pattern e -> ShowS # show :: Pattern e -> String # showList :: [Pattern e] -> ShowS #
Enum e => Semigroup (Pattern e)
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods (<>) :: Pattern e -> Pattern e -> Pattern e # sconcat :: NonEmpty (Pattern e) -> Pattern e # stimes :: Integral b => b -> Pattern e -> Pattern e #
Enum e => Monoid (Pattern e)
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods mempty :: Pattern e # mappend :: Pattern e -> Pattern e -> Pattern e # mconcat :: [Pattern e] -> Pattern e #

enumsP :: Enum e => [e] -> Pattern e #

straightEnumSetP :: Enum e => EnumSet e -> Pattern e #

anyoneP :: Enum e => Pattern e Source #

maybeP :: Enum e => Pattern e -> Pattern e Source #

someP :: Enum e => Pattern e -> Pattern e Source #

manyP :: Enum e => Pattern e -> Pattern e Source #

orP :: Enum e => [Pattern e] -> Pattern e Source #

data StartState #

Instances

Instances details

Enum StartState
Instance details 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] #
Eq StartState
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods (==) :: StartState -> StartState -> Bool # (/=) :: StartState -> StartState -> Bool #
Show StartState
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods showsPrec :: Int -> StartState -> ShowS # show :: StartState -> String # showList :: [StartState] -> ShowS #

data Accept a #

Constructors

Accept
Fields accPriority :: AcceptPriority accSemanticAction :: a

Instances

Instances details

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

data AcceptPriority #

Instances

Instances details

Enum AcceptPriority
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods succ :: AcceptPriority -> AcceptPriority # pred :: AcceptPriority -> AcceptPriority # toEnum :: Int -> AcceptPriority # fromEnum :: AcceptPriority -> Int # enumFrom :: AcceptPriority -> [AcceptPriority] # enumFromThen :: AcceptPriority -> AcceptPriority -> [AcceptPriority] # enumFromTo :: AcceptPriority -> AcceptPriority -> [AcceptPriority] # enumFromThenTo :: AcceptPriority -> AcceptPriority -> AcceptPriority -> [AcceptPriority] #
Eq AcceptPriority
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods (==) :: AcceptPriority -> AcceptPriority -> Bool # (/=) :: AcceptPriority -> AcceptPriority -> Bool #
Ord AcceptPriority
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods compare :: AcceptPriority -> AcceptPriority -> Ordering # (<) :: AcceptPriority -> AcceptPriority -> Bool # (<=) :: AcceptPriority -> AcceptPriority -> Bool # (>) :: AcceptPriority -> AcceptPriority -> Bool # (>=) :: AcceptPriority -> AcceptPriority -> Bool # max :: AcceptPriority -> AcceptPriority -> AcceptPriority # min :: AcceptPriority -> AcceptPriority -> AcceptPriority #
Show AcceptPriority
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods showsPrec :: Int -> AcceptPriority -> ShowS # show :: AcceptPriority -> String # showList :: [AcceptPriority] -> ShowS #
Hashable AcceptPriority
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods hashWithSalt :: Int -> AcceptPriority -> Int # hash :: AcceptPriority -> Int #