wyil.lang

Interfaces

• Bytecode
• Bytecode.Expr
• Bytecode.Stmt
• Bytecode.StmtExpr
• Modifier
• Type
• Type.Array
• Type.EffectiveArray
• Type.EffectiveRecord
• Type.EffectiveReference
• Type.Function
• Type.FunctionOrMethod
• Type.Intersection
• Type.Leaf
• Type.Method
• Type.Negation
• Type.Nominal
• Type.Primitive
• Type.Property
• Type.Record
• Type.Reference
• Type.Union

Classes

• Bytecode.AliasDeclaration
• Bytecode.Assert
• Bytecode.AssertOrAssume
• Bytecode.Assign
• Bytecode.Assume
• Bytecode.Block
• Bytecode.Break
• Bytecode.Case
• Bytecode.Const
• Bytecode.Continue
• Bytecode.Convert
• Bytecode.Debug
• Bytecode.DoWhile
• Bytecode.Fail
• Bytecode.FieldLoad
• Bytecode.If
• Bytecode.Index
• Bytecode.IndirectInvoke
• Bytecode.Invoke
• Bytecode.Lambda
• Bytecode.Loop
• Bytecode.NamedBlock
• Bytecode.Operator
• Bytecode.Quantifier
• Bytecode.Range
• Bytecode.Return
• Bytecode.Schema
• Bytecode.Skip
• Bytecode.Switch
• Bytecode.Util
• Bytecode.VariableAccess
• Bytecode.VariableDeclaration
• Bytecode.While
• Constant
• Constant.Array
• Constant.Bool
• Constant.Byte
• Constant.FunctionOrMethod
• Constant.Integer
• Constant.Null
• Constant.Record
• Constant.Type
• Modifier.Export
• Modifier.Native
• Modifier.Private
• Modifier.Public
• SyntaxTree
• SyntaxTree.Location
• Type.Impl
• Type.Impl.Atom
• Type.Impl.Conjunctable
• Type.Impl.Function
• Type.Impl.FunctionOrMethod
• Type.Impl.Method
• Type.Impl.PositiveAtom
• Type.Impl.Primitive
• Type.Impl.Property
• WyilFile
• WyilFile.Block
• WyilFile.Constant
• WyilFile.Declaration
• WyilFile.FunctionOrMethod
• WyilFile.FunctionOrMethodOrProperty
• WyilFile.Property
• WyilFile.Type

Enums

• Bytecode.Blocks
• Bytecode.Extras
• Bytecode.OperandGroups
• Bytecode.Operands
• Bytecode.OperatorKind
• Bytecode.QuantifierKind