Package semantictest contains utilities for testing the semantic package.

ConjunctionsToExprSlice finds all children of AndOperators that are not themselves AndOperators, and returns them in a slice.

ExprsToConjunction accepts a variable number of expressions and ANDs them together into a single expression.

Formatted produces a Formatter object suitable for printing using the standard fmt package.

NewArrayType will construct a new Array MonoType where the inner element for the array is elemType.

NewDictType will construct a new Dict MonoType where the key element for the dict is keyType and the value element for the dict is valueType.

NewDynamicType will construct a new Dynamic MonoType.

NewFunctionType will construct a new Function MonoType that has a return value that matches retn and arguments for each of the values in ArgumentType.

NewMonoType constructs a new monotype from a FlatBuffers table and the given kind of monotype.

NewObjectType will construct a new Object MonoType with the properties in properties.

NewPolyType returns a new polytype given a flatbuffers polytype.

PartitionPredicates accepts a predicate expression, separates it into components that have been logically ANDed together, and applies partitionFn to them.

ToAST will construct an AST from the semantic graph.

Argument represents a function argument.

FunctionExpression represents the definition of a function.

FunctionParameter represents a function parameter.

FunctionParameters represents the list of function parameters and which if any parameter is the pipe parameter.

MonoType represents a monotype.

PolyType represents a polytype.

Property represents a property of a record.

ScopedVisitor will nest the given visitor when the scope changes.

Kind specifies a particular kind of monotype.

Nature is the primitive description of a type.