trasa-th-0.4: Template Haskell to generate trasa routes

Safe HaskellNone
LanguageHaskell2010

Trasa.TH.Lexer

Contents

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