Safe Haskell	None
Language	Haskell2010

Language.Lexer.Tlex.Machine.Pattern

Documentation

data Pattern e Source #

Constructors

Epsilon
(Pattern e) :^: (Pattern e)
(Pattern e) :\|: (Pattern e)
Many (Pattern e)
Range (SymEnumSet e)

Instances

Instances details

Eq (Pattern e) Source #
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) Source #
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) Source #
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) Source #
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 Source #

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

anyoneP :: Enum e => Pattern e Source #

newtype AcceptPriority Source #

Constructors

AcceptPriority Int

Instances

Instances details

Enum AcceptPriority Source #
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 Source #
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods (==) :: AcceptPriority -> AcceptPriority -> Bool # (/=) :: AcceptPriority -> AcceptPriority -> Bool #
Ord AcceptPriority Source #
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 Source #
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods showsPrec :: Int -> AcceptPriority -> ShowS # show :: AcceptPriority -> String # showList :: [AcceptPriority] -> ShowS #
Hashable AcceptPriority Source #
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods hashWithSalt :: Int -> AcceptPriority -> Int # hash :: AcceptPriority -> Int #

mostPriority :: AcceptPriority Source #

data Accept a Source #

Constructors

Accept
Fields accPriority :: AcceptPriority accSemanticAction :: a

Instances

Instances details

Functor Accept Source #
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) Source #
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) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.Pattern Methods showsPrec :: Int -> Accept a -> ShowS # show :: Accept a -> String # showList :: [Accept a] -> ShowS #

compareAcceptsByPriority :: Accept a -> Accept a -> Ordering Source #

newtype StartState Source #

Constructors

StartState Int

Instances

Instances details

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

startStateFromEnum :: Enum s => s -> StartState Source #