Safe Haskell	None
Language	Haskell2010

Trasa.TH.Lexer

Contents

Orphan instances

Documentation

data ReservedChar Source #

Constructors

ReservedCharNewline
ReservedCharColon
ReservedCharSlash
ReservedCharQuestionMark
ReservedCharAmpersand
ReservedCharEqual
ReservedCharOpenBracket
ReservedCharCloseBracket
ReservedCharComma
ReservedCharTab

Instances

Eq ReservedChar Source #
Instance details Defined in Trasa.TH.Lexer Methods (==) :: ReservedChar -> ReservedChar -> Bool # (/=) :: ReservedChar -> ReservedChar -> Bool #
Ord ReservedChar Source #
Instance details Defined in Trasa.TH.Lexer Methods compare :: ReservedChar -> ReservedChar -> Ordering # (<) :: ReservedChar -> ReservedChar -> Bool # (<=) :: ReservedChar -> ReservedChar -> Bool # (>) :: ReservedChar -> ReservedChar -> Bool # (>=) :: ReservedChar -> ReservedChar -> Bool # max :: ReservedChar -> ReservedChar -> ReservedChar # min :: ReservedChar -> ReservedChar -> ReservedChar #
Show ReservedChar Source #
Instance details Defined in Trasa.TH.Lexer Methods showsPrec :: Int -> ReservedChar -> ShowS # show :: ReservedChar -> String # showList :: [ReservedChar] -> ShowS #

data ReservedSymbol Source #

Constructors

ReservedSymbolDataType

Instances

Eq ReservedSymbol Source #
Instance details Defined in Trasa.TH.Lexer Methods (==) :: ReservedSymbol -> ReservedSymbol -> Bool # (/=) :: ReservedSymbol -> ReservedSymbol -> Bool #
Ord ReservedSymbol Source #
Instance details Defined in Trasa.TH.Lexer Methods compare :: ReservedSymbol -> ReservedSymbol -> Ordering # (<) :: ReservedSymbol -> ReservedSymbol -> Bool # (<=) :: ReservedSymbol -> ReservedSymbol -> Bool # (>) :: ReservedSymbol -> ReservedSymbol -> Bool # (>=) :: ReservedSymbol -> ReservedSymbol -> Bool # max :: ReservedSymbol -> ReservedSymbol -> ReservedSymbol # min :: ReservedSymbol -> ReservedSymbol -> ReservedSymbol #
Show ReservedSymbol Source #
Instance details Defined in Trasa.TH.Lexer Methods showsPrec :: Int -> ReservedSymbol -> ShowS # show :: ReservedSymbol -> String # showList :: [ReservedSymbol] -> ShowS #

data Lexeme Source #

Constructors

LexemeSpace Word
LexemeChar ReservedChar
LexemeSymbol ReservedSymbol
LexemeString Word String

Instances

Eq Lexeme Source #
Instance details Defined in Trasa.TH.Lexer Methods (==) :: Lexeme -> Lexeme -> Bool # (/=) :: Lexeme -> Lexeme -> Bool #
Ord Lexeme Source #
Instance details Defined in Trasa.TH.Lexer Methods compare :: Lexeme -> Lexeme -> Ordering # (<) :: Lexeme -> Lexeme -> Bool # (<=) :: Lexeme -> Lexeme -> Bool # (>) :: Lexeme -> Lexeme -> Bool # (>=) :: Lexeme -> Lexeme -> Bool # max :: Lexeme -> Lexeme -> Lexeme # min :: Lexeme -> Lexeme -> Lexeme #
Show Lexeme Source #
Instance details Defined in Trasa.TH.Lexer Methods showsPrec :: Int -> Lexeme -> ShowS # show :: Lexeme -> String # showList :: [Lexeme] -> ShowS #

newtype Stream Source #

Constructors

Stream [Lexeme]

Instances

Eq Stream Source #
Instance details Defined in Trasa.TH.Lexer Methods (==) :: Stream -> Stream -> Bool # (/=) :: Stream -> Stream -> Bool #
Ord Stream Source #
Instance details Defined in Trasa.TH.Lexer Methods compare :: Stream -> Stream -> Ordering # (<) :: Stream -> Stream -> Bool # (<=) :: Stream -> Stream -> Bool # (>) :: Stream -> Stream -> Bool # (>=) :: Stream -> Stream -> Bool # max :: Stream -> Stream -> Stream # min :: Stream -> Stream -> Stream #
Show Stream Source #
Instance details Defined in Trasa.TH.Lexer Methods showsPrec :: Int -> Stream -> ShowS # show :: Stream -> String # showList :: [Stream] -> ShowS #
Semigroup Stream Source #
Instance details Defined in Trasa.TH.Lexer Methods (<>) :: Stream -> Stream -> Stream # sconcat :: NonEmpty Stream -> Stream # stimes :: Integral b => b -> Stream -> Stream #
Monoid Stream Source #
Instance details Defined in Trasa.TH.Lexer Methods mempty :: Stream # mappend :: Stream -> Stream -> Stream # mconcat :: [Stream] -> Stream #
Stream Stream Source #
Instance details Defined in Trasa.TH.Lexer Associated Types type Token Stream :: Type # type Tokens Stream :: Type # Methods tokenToChunk :: Proxy Stream -> Token Stream -> Tokens Stream # tokensToChunk :: Proxy Stream -> [Token Stream] -> Tokens Stream # chunkToTokens :: Proxy Stream -> Tokens Stream -> [Token Stream] # chunkLength :: Proxy Stream -> Tokens Stream -> Int # chunkEmpty :: Proxy Stream -> Tokens Stream -> Bool # take1_ :: Stream -> Maybe (Token Stream, Stream) # takeN_ :: Int -> Stream -> Maybe (Tokens Stream, Stream) # takeWhile_ :: (Token Stream -> Bool) -> Stream -> (Tokens Stream, Stream) # showTokens :: Proxy Stream -> NonEmpty (Token Stream) -> String # reachOffset :: Int -> PosState Stream -> (SourcePos, String, PosState Stream) # reachOffsetNoLine :: Int -> PosState Stream -> (SourcePos, PosState Stream) #
type Tokens Stream Source #
Instance details Defined in Trasa.TH.Lexer type Tokens Stream = [Lexeme]
type Token Stream Source #
Instance details Defined in Trasa.TH.Lexer type Token Stream = Lexeme

stream :: Parser Stream Source #

Orphan instances

Ord a => ShowErrorComponent (ErrorFancy a) Source #
Instance details Methods showErrorComponent :: ErrorFancy a -> String # errorComponentLen :: ErrorFancy a -> Int #