Language.Lua.Syntax

Contents

• AST nodes
• Annotated typeclass

Description

Synopsis

• data Ident a = Ident !a !String
• data IdentList a = IdentList !a ![Ident a]
• data IdentList1 a = IdentList1 !a !(NonEmpty (Ident a))
• type Chunk = Block
• data Block a = Block !a ![Statement a] !(Maybe (ReturnStatement a))
• data Statement a
  • = EmptyStmt !a
  • | Assign !a !(VariableList1 a) !(ExpressionList1 a)
  • | FunCall !a !(FunctionCall a)
  • | Label !a !(Ident a)
  • | Break !a
  • | Goto !a !(Ident a)
  • | Do !a !(Block a)
  • | While !a !(Expression a) !(Block a)
  • | Repeat !a !(Block a) !(Expression a)
  • | If !a !(NonEmpty (Expression a, Block a)) !(Maybe (Block a))
  • | For !a !(Ident a) !(Expression a) !(Expression a) !(Maybe (Expression a)) !(Block a)
  • | ForIn !a !(IdentList1 a) !(ExpressionList1 a) !(Block a)
  • | FunAssign !a !(FunctionName a) !(FunctionBody a)
  • | LocalFunAssign !a !(Ident a) !(FunctionBody a)
  • | LocalAssign !a !(IdentList1 a) !(ExpressionList a)
• data ReturnStatement a = ReturnStatement !a !(ExpressionList a)
• data FunctionName a = FunctionName !a !(IdentList1 a) !(Maybe (Ident a))
• data Variable a
  • = VarIdent !a !(Ident a)
  • | VarField !a !(PrefixExpression a) !(Expression a)
  • | VarFieldName !a !(PrefixExpression a) !(Ident a)
• data VariableList1 a = VariableList1 !a !(NonEmpty (Variable a))
• data Expression a
  • = Nil !a
  • | Bool !a !Bool
  • | Integer !a !String
  • | Float !a !String
  • | String !a !String
  • | Vararg !a
  • | FunDef !a !(FunctionBody a)
  • | PrefixExp !a !(PrefixExpression a)
  • | TableCtor !a !(TableConstructor a)
  • | Binop !a !(Binop a) !(Expression a) !(Expression a)
  • | Unop !a !(Unop a) !(Expression a)
• data ExpressionList a = ExpressionList !a ![Expression a]
• data ExpressionList1 a = ExpressionList1 !a !(NonEmpty (Expression a))
• data PrefixExpression a
  • = PrefixVar !a !(Variable a)
  • | PrefixFunCall !a !(FunctionCall a)
  • | Parens !a !(Expression a)
• data FunctionCall a
  • = FunctionCall !a !(PrefixExpression a) !(FunctionArgs a)
  • | MethodCall !a !(PrefixExpression a) !(Ident a) !(FunctionArgs a)
• data FunctionArgs a
  • = Args !a !(ExpressionList a)
  • | ArgsTable !a !(TableConstructor a)
  • | ArgsString !a !String
• data FunctionBody a = FunctionBody !a !(IdentList a) !Bool !(Block a)
• data TableConstructor a = TableConstructor !a !(FieldList a)
• data Field a
  • = FieldExp !a !(Expression a) !(Expression a)
  • | FieldIdent !a !(Ident a) !(Expression a)
  • | Field !a !(Expression a)
• data FieldList a = FieldList !a ![Field a]
• data Binop a
  • = Plus !a
  • | Minus !a
  • | Mult !a
  • | FloatDiv !a
  • | FloorDiv !a
  • | Exponent !a
  • | Modulo !a
  • | BitwiseAnd !a
  • | BitwiseXor !a
  • | BitwiseOr !a
  • | Rshift !a
  • | Lshift !a
  • | Concat !a
  • | Lt !a
  • | Leq !a
  • | Gt !a
  • | Geq !a
  • | Eq !a
  • | Neq !a
  • | And !a
  • | Or !a
• data Unop a
  • = Negate !a
  • | Not !a
  • | Length !a
  • | BitwiseNot !a
• class Functor ast => Annotated ast where
  • ann :: Lens' (ast a) a

AST nodes

;

var1, var2, var3 = exp1, exp2, exp3

foo.bar(args)

::label::

break

goto label

do block end

while exp do block end

repeat block until exp

if exp then block else block end

for x = exp do block end

for a, b, c in exp1, exp2, exp3 do block end

function name body

local function name body

local x, y, z

return exp1, exp2

foo.bar:baz

x

table[exp]

table.field

(exp1, exp2)

{ x = exp }

"str"

(x, y, ...) block end

{ x = 5, [f(1)] = 6, 7 }

[exp1] = exp2

name = exp

exp

Annotated typeclass