wyal.lang

Interfaces

• NameResolver
• SyntacticHeap
• SyntacticItem
• WyalFile.Declaration
• WyalFile.Declaration.Named
• WyalFile.Expr
• WyalFile.Stmt
• WyalFile.Type
• WyalFile.Type.Primitive

Classes

• WyalFile
• WyalFile.Declaration.Assert
• WyalFile.Declaration.Import
• WyalFile.Declaration.Named.Function
• WyalFile.Declaration.Named.FunctionOrMacro
• WyalFile.Declaration.Named.Macro
• WyalFile.Declaration.Named.Type
• WyalFile.Expr.Addition
• WyalFile.Expr.ArrayAccess
• WyalFile.Expr.ArrayGenerator
• WyalFile.Expr.ArrayInitialiser
• WyalFile.Expr.ArrayLength
• WyalFile.Expr.ArrayUpdate
• WyalFile.Expr.Cast
• WyalFile.Expr.Constant
• WyalFile.Expr.Dereference
• WyalFile.Expr.Division
• WyalFile.Expr.Equal
• WyalFile.Expr.ExistentialQuantifier
• WyalFile.Expr.GreaterThan
• WyalFile.Expr.GreaterThanOrEqual
• WyalFile.Expr.InfixOperator
• WyalFile.Expr.Invoke
• WyalFile.Expr.Is
• WyalFile.Expr.LessThan
• WyalFile.Expr.LessThanOrEqual
• WyalFile.Expr.LogicalAnd
• WyalFile.Expr.LogicalIff
• WyalFile.Expr.LogicalImplication
• WyalFile.Expr.LogicalNot
• WyalFile.Expr.LogicalOr
• WyalFile.Expr.Multiplication
• WyalFile.Expr.Negation
• WyalFile.Expr.NotEqual
• WyalFile.Expr.Operator
• WyalFile.Expr.Quantifier
• WyalFile.Expr.RecordAccess
• WyalFile.Expr.RecordInitialiser
• WyalFile.Expr.RecordUpdate
• WyalFile.Expr.Remainder
• WyalFile.Expr.Subtraction
• WyalFile.Expr.UniversalQuantifier
• WyalFile.Expr.VariableAccess
• WyalFile.FieldDeclaration
• WyalFile.Identifier
• WyalFile.Name
• WyalFile.Pair
• WyalFile.Stmt.Block
• WyalFile.Stmt.CaseOf
• WyalFile.Stmt.ExistentialQuantifier
• WyalFile.Stmt.IfThen
• WyalFile.Stmt.Quantifier
• WyalFile.Stmt.UniversalQuantifier
• WyalFile.Tuple
• WyalFile.Type.Any
• WyalFile.Type.Array
• WyalFile.Type.Atom
• WyalFile.Type.Bool
• WyalFile.Type.Byte
• WyalFile.Type.Function
• WyalFile.Type.FunctionOrMacroOrInvariant
• WyalFile.Type.FunctionOrMethodOrProperty
• WyalFile.Type.Int
• WyalFile.Type.Intersection
• WyalFile.Type.Invariant
• WyalFile.Type.Method
• WyalFile.Type.Negation
• WyalFile.Type.Nominal
• WyalFile.Type.Null
• WyalFile.Type.Property
• WyalFile.Type.Record
• WyalFile.Type.Reference
• WyalFile.Type.Union
• WyalFile.Type.UnionOrIntersection
• WyalFile.Type.Void
• WyalFile.Value
• WyalFile.Value.Bool
• WyalFile.Value.Int
• WyalFile.Value.Null
• WyalFile.Value.UTF8
• WyalFile.VariableDeclaration
• WyalFile.VerificationError

Enums

• WyalFile.Opcode

Exceptions

• NameResolver.AmbiguousNameError
• NameResolver.NameNotFoundError
• NameResolver.ResolutionError