GLua.TokenTypes

Contains class instances and functions related to tokens

Documentation

type MTokenAlgebra mtok = Region -> Token -> mtok

Metatoken algebra

mpos :: MToken -> Region

mtok :: MToken -> Token

emptyRg :: Region

rgOr :: Region -> Region -> Region

customAdvanceChr :: LineColPos -> Char -> LineColPos

customAdvanceStr :: LineColPos -> String -> LineColPos

customAdvanceToken :: LineColPos -> Token -> LineColPos

before :: Region -> Region -> Bool

Whether the first region ends strictly before the second region starts

beforeOrOnLine :: Region -> Region -> Bool

Whether the first region ends before or on the same line as the second region

beforeEnd :: Region -> Region -> Bool

Whether the first region ends before the second region ends

beforeEndLine :: Region -> Region -> Bool

Whether the first region ends before or on the same line as the END of the second region

rgStart :: Region -> LineColPos

rgEnd :: Region -> LineColPos

upto :: Region -> Region -> Region

Returns a region that starts at the start of the first region and ends BEFORE the start of the second region

foldMToken :: MTokenAlgebra t -> MToken -> t

Fold over metatoken

mFold :: TokenAlgebra a -> MToken -> a

mFold: Apply a TokenAlgebra to an MToken

type TokenAlgebra token = ((String -> token, String -> token, Int -> String -> token, String -> token, String -> token, token), (String -> token, String -> token, String -> token, String -> token, token, token, token, token), (token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token), (token, token, token, token, token, token, token, token, token, token, token, token, token, token, token, token), (token, token, token, token, token, token), (String -> token, String -> token))

Huge token algebra

foldToken :: TokenAlgebra t -> Token -> t

Fold over token definition

isWhitespace :: MToken -> Bool

Whether an mtoken is a comment

isComment :: MToken -> Bool

Whether an mtoken is a comment

splitComments :: [MToken] -> ([MToken], [MToken])

Split the tokens by comments and other tokens

tokenLabel :: MToken -> String

tokenSize :: Token -> Int

The size of a token in characters

isSingleLineComment :: Token -> Bool

Orphan instances

FromJSON MToken

Methods

parseJSON :: Value -> Parser MToken

parseJSONList :: Value -> Parser [MToken]

FromJSON Region

Methods

parseJSON :: Value -> Parser Region

parseJSONList :: Value -> Parser [Region]

FromJSON Token

Methods

parseJSON :: Value -> Parser Token

parseJSONList :: Value -> Parser [Token]

FromJSON LineColPos

Methods

parseJSON :: Value -> Parser LineColPos

parseJSONList :: Value -> Parser [LineColPos]

ToJSON MToken

Methods

toJSON :: MToken -> Value

toEncoding :: MToken -> Encoding

toJSONList :: [MToken] -> Value

toEncodingList :: [MToken] -> Encoding

ToJSON Region

Methods

toJSON :: Region -> Value

toEncoding :: Region -> Encoding

toJSONList :: [Region] -> Value

toEncodingList :: [Region] -> Encoding

ToJSON Token

Methods

toJSON :: Token -> Value

toEncoding :: Token -> Encoding

toJSONList :: [Token] -> Value

toEncodingList :: [Token] -> Encoding

ToJSON LineColPos

Methods

toJSON :: LineColPos -> Value

toEncoding :: LineColPos -> Encoding

toJSONList :: [LineColPos] -> Value

toEncodingList :: [LineColPos] -> Encoding

Generic MToken

Associated Types

type Rep MToken :: Type -> Type

Methods

from :: MToken -> Rep MToken x

to :: Rep MToken x -> MToken

Show MToken

Methods

showsPrec :: Int -> MToken -> ShowS

show :: MToken -> String

showList :: [MToken] -> ShowS

Show Token

Simple show instance

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Eq MToken

Simple EQ instance. TODO: check for position equality

Methods

(==) :: MToken -> MToken -> Bool

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

Eq Region

Methods

(==) :: Region -> Region -> Bool

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

Eq LineColPos

Methods

(==) :: LineColPos -> LineColPos -> Bool

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

Ord MToken

Simple Ord instance. TODO: check for position Ord

Methods

compare :: MToken -> MToken -> Ordering

(<) :: MToken -> MToken -> Bool

(<=) :: MToken -> MToken -> Bool

(>) :: MToken -> MToken -> Bool

(>=) :: MToken -> MToken -> Bool

max :: MToken -> MToken -> MToken

min :: MToken -> MToken -> MToken

Ord Region

Methods

compare :: Region -> Region -> Ordering

(<) :: Region -> Region -> Bool

(<=) :: Region -> Region -> Bool

(>) :: Region -> Region -> Bool

(>=) :: Region -> Region -> Bool

max :: Region -> Region -> Region

min :: Region -> Region -> Region

Ord LineColPos

Methods

compare :: LineColPos -> LineColPos -> Ordering

(<) :: LineColPos -> LineColPos -> Bool

(<=) :: LineColPos -> LineColPos -> Bool

(>) :: LineColPos -> LineColPos -> Bool

(>=) :: LineColPos -> LineColPos -> Bool

max :: LineColPos -> LineColPos -> LineColPos

min :: LineColPos -> LineColPos -> LineColPos