Language.Lua.Annotated.Parser

Documentation

parseTokens :: Parser a -> [Lexeme Token] -> Either (SourceRange, String) a

Parse a stream of tokens.

parseText

Arguments

:: Parser a

-> Text

chunk

-> Either (SourceRange, String) a

Runs Lua lexer before parsing. Use parseText stat to parse statements, and parseText exp to parse expressions.

parseNamedText

Arguments

:: Parser a

-> String

name

-> Text

chunk

-> Either (SourceRange, String) a

Runs Lua lexer before parsing. Use parseNamedText stat "name" to parse statements, and parseText exp "name" to parse expressions.

parseFile :: FilePath -> IO (Either (SourceRange, String) (Block SourceRange))

Parse a Lua file. You can use parseText chunk to parse a file from a string.

data Parser a

Instances

Functor Parser

Defined in Language.Lua.Annotated.Parser

Methods

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

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

chunk :: Parser (Block SourceRange)

exp :: Parser (Exp SourceRange)

stat :: Parser (Stat SourceRange)

data SourcePos

Constructors

SourcePos

Fields

• sourceIndex :: !Int
• sourceLine :: !Int
• sourceColumn :: !Int
• sourceFile :: !Text

Instances

HasRange SourcePos

Defined in AlexTools

Methods

range :: SourcePos -> SourceRange

Show SourcePos

Defined in AlexTools

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String

showList :: [SourcePos] -> ShowS

NFData SourcePos

Defined in AlexTools

Methods

rnf :: SourcePos -> ()

Eq SourcePos

Defined in AlexTools

Methods

(==) :: SourcePos -> SourcePos -> Bool

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

Lift SourcePos

Defined in AlexTools

Methods

lift :: Quote m => SourcePos -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => SourcePos -> Code m SourcePos

data SourceRange

A range in the source code.

Constructors

SourceRange

Fields

• sourceFrom :: !SourcePos
• sourceTo :: !SourcePos

Instances

HasRange SourceRange

Defined in AlexTools

Methods

range :: SourceRange -> SourceRange

Show SourceRange

Defined in AlexTools

Methods

showsPrec :: Int -> SourceRange -> ShowS

show :: SourceRange -> String

showList :: [SourceRange] -> ShowS

NFData SourceRange

Defined in AlexTools

Methods

rnf :: SourceRange -> ()

Eq SourceRange

Defined in AlexTools

Methods

(==) :: SourceRange -> SourceRange -> Bool

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

Lift SourceRange

Defined in AlexTools

Methods

lift :: Quote m => SourceRange -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => SourceRange -> Code m SourceRange