Language.Lua.Types

Description

Synopsis

• data Name a = Name a String
• data Stat a
  • = Assign a [Var a] [Exp a]
  • | FunCall a (FunCall a)
  • | Label a (Name a)
  • | Break a
  • | Goto a (Name a)
  • | Do a (Block a)
  • | While a (Exp a) (Block a)
  • | Repeat a (Block a) (Exp a)
  • | If a [(Exp a, Block a)] (Maybe (Block a))
  • | ForRange a (Name a) (Exp a) (Exp a) (Maybe (Exp a)) (Block a)
  • | ForIn a [Name a] [Exp a] (Block a)
  • | FunAssign a (FunName a) (FunBody a)
  • | LocalFunAssign a (Name a) (FunBody a)
  • | LocalAssign a [Name a] (Maybe [Exp a])
  • | EmptyStat a
• data Exp a
  • = Nil a
  • | Bool a Bool
  • | Number a String
  • | String a String
  • | Vararg a
  • | EFunDef a (FunDef a)
  • | PrefixExp a (PrefixExp a)
  • | TableConst a (Table a)
  • | Binop a (Binop a) (Exp a) (Exp a)
  • | Unop a (Unop a) (Exp a)
• data Var a
  • = VarName a (Name a)
  • | Select a (PrefixExp a) (Exp a)
  • | SelectName a (PrefixExp a) (Name a)
• data Binop a
  • = Add a
  • | Sub a
  • | Mul a
  • | Div a
  • | Exp a
  • | Mod a
  • | Concat a
  • | LT a
  • | LTE a
  • | GT a
  • | GTE a
  • | EQ a
  • | NEQ a
  • | And a
  • | Or a
• data Unop a
  • = Neg a
  • | Not a
  • | Len a
• data PrefixExp a
  • = PEVar a (Var a)
  • | PEFunCall a (FunCall a)
  • | Paren a (Exp a)
• data Table a = Table a [TableField a]
• data TableField a
  • = ExpField a (Exp a) (Exp a)
  • | NamedField a (Name a) (Exp a)
  • | Field a (Exp a)
• data Block a = Block a [Stat a] (Maybe [Exp a])
• data FunName a = FunName a (Name a) [Name a] (Maybe (Name a))
• data FunDef a = FunDef a (FunBody a)
• data FunBody a = FunBody a [Name a] (Maybe a) (Block a)
• data FunCall a
  • = NormalFunCall a (PrefixExp a) (FunArg a)
  • | MethodCall a (PrefixExp a) (Name a) (FunArg a)
• data FunArg a
  • = Args a [Exp a]
  • | TableArg a (Table a)
  • | StringArg a String
• class Functor ast => Annotated ast where
  • ann :: ast l -> l
  • amap :: (l -> l) -> ast l -> ast l

Documentation