Language.Lexer.Tlex.Machine.Pattern

Documentation

data Pattern e

Constructors

Epsilon

(Pattern e) :^: (Pattern e)

(Pattern e) :|: (Pattern e)

Many (Pattern e)

Range (SymEnumSet e)

Instances

Enum e => Monoid (Pattern e)

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

mempty :: Pattern e

mappend :: Pattern e -> Pattern e -> Pattern e

mconcat :: [Pattern e] -> Pattern e

Enum e => Semigroup (Pattern e)

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, Show e) => Show (Pattern e)

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

showsPrec :: Int -> Pattern e -> ShowS

show :: Pattern e -> String

showList :: [Pattern e] -> ShowS

Eq (Pattern e)

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

(==) :: Pattern e -> Pattern e -> Bool

(/=) :: Pattern e -> Pattern e -> Bool

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

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

anyoneP :: Enum e => Pattern e

newtype AcceptPriority

Constructors

AcceptPriority Int

Instances

Enum AcceptPriority

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]

Show AcceptPriority

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

showsPrec :: Int -> AcceptPriority -> ShowS

show :: AcceptPriority -> String

showList :: [AcceptPriority] -> ShowS

Eq AcceptPriority

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

(==) :: AcceptPriority -> AcceptPriority -> Bool

(/=) :: AcceptPriority -> AcceptPriority -> Bool

Ord AcceptPriority

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

Hashable AcceptPriority

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

hashWithSalt :: Int -> AcceptPriority -> Int

hash :: AcceptPriority -> Int

mostPriority :: AcceptPriority

data Accept a

Constructors

Accept

Fields

• accPriority :: AcceptPriority
• accSemanticAction :: a

Instances

Functor Accept

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

fmap :: (a -> b) -> Accept a -> Accept b

(<$) :: a -> Accept b -> Accept a

Show a => Show (Accept a)

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

showsPrec :: Int -> Accept a -> ShowS

show :: Accept a -> String

showList :: [Accept a] -> ShowS

Eq a => Eq (Accept a)

Defined in Language.Lexer.Tlex.Machine.Pattern

Methods

(==) :: Accept a -> Accept a -> Bool

(/=) :: Accept a -> Accept a -> Bool

compareAcceptsByPriority :: Accept a -> Accept a -> Ordering

newtype StartState

Constructors

StartState Int

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

Methods

(==) :: StartState -> StartState -> Bool

(/=) :: StartState -> StartState -> Bool

startStateFromEnum :: Enum s => s -> StartState