Module full_moon::ast::types

Available on crate feature roblox only.

Contains the types necessary to parse Luau. The module name is a misnomer from when Luau was just types. It will be renamed to “luau” in the future.

Structs

• CompoundAssignment
  A Compound Assignment statement, such as x += 1 or x -= 1
• ElseIfExpression
  An elseif expression in a bigger IfExpression expression
• ExportedTypeDeclaration
  An exported type declaration, such as export type Meters = number
• GenericDeclaration
  The generics used in a TypeDeclaration.
• GenericDeclarationParameter
  A generic declaration parameter us in GenericDeclaration. Consists of a GenericParameterInfo and an optional default type.
• IfExpression
  An if statement
• InterpolatedString
  An interpolated string, such as `hello, {"world"}!`. “segments”, made up of InterpolatedStringSegments, is each part of the string, up until the last_string. The number of segments is the number of expressions used. For example, `1{2}3` would have one segment, with literal “1” (marked with a TokenType of InterpolatedString { token: "1", kind: InterpolatedStringKind::Begin }), and the expression 2. The last_string would be the literal 3, with a backtick afterwards.
• InterpolatedStringSegment
  Segments of an interpolated string, as seen in InterpolatedString. Read the documentation for InterpolatedString for more information.
• TypeArgument
  A type argument specified in a callback type, the count: number in (count: number) -> ()
• TypeAssertion
  A type assertion using ::, such as :: number.
• TypeDeclaration
  A type declaration, such as type Meters = number
• TypeField
  A type field used within table types. The foo: number in { foo: number }.
• TypeSpecifier
  A type specifier, the : number in local foo: number

Enums

• CompoundOp
  Compound operators, such as X += Y or X -= Y
• GenericParameterInfo
  A generic declaration parameter used in GenericDeclaration. Can either be a name or a variadic pack.
• IndexedTypeInfo
  A subset of TypeInfo that consists of items which can only be used as an index, such as Foo and Foo<Bar>,
• TypeFieldKey
  A key in a TypeField. Can either be a name or an index signature.
• TypeInfo
  Any type, such as string, boolean?, number | boolean, etc.