ExpressionTypeAliases

A module exporting several type aliases.

Constant::Type

Constant.

Expression::Type

Proper expression, i.e., non-leaf expressions.

ExpressionLoosely::Type

Union{Constant,Variable,Expression}.

Variable::Type

Variable.

DynamicConstant(value)

Constructor for a constant.

DynamicExpression(children, operation_key, operations)

Constructor for an expression.

DynamicVariable(name)

Constructor for a variable.

MoreStaticExpression{<:Any,Operation}(children)

Constructor for an expression, keeping the operation in the type domain.

StaticConstant{value}()

Constructor for a constant, keeping the value in the type domain.

StaticExpression(children, operation)

Constructor for an expression.

StaticVariable{Name}()

Constructor for a variable, keeping the name in the type domain.

expression_children(expression)

Returns the immediate children of the given expression.

expression_into_type_domain(expression)

Returns an expression equal to expression whose data is completely contained in the type domain.

May throw in case Julia isn't able to use a relevant value as a type parameter.

Some properties, should hold for any valid expr:

• Base.issingletontype(typeof(expression_into_type_domain(expr)))

• expr == expression_into_type_domain(expr)

expression_is_constant(expression)::Bool

Return true if and only if expression is constant, in the sense of not depending on any variable.

expression_map_matched(predicate, mapping, expression)

Returns an expression based on expression, but with mapping applied to each matching subexpression. The argument predicate determines whether an expression is matching.

expression_metadata(expression)

Returns the metadata associated with an expression. See expression_new.

expression_new(expression_type::Type, operation, children, metadata)

Returns an expression whose type is based on expression_type, but with children as its immediate children and with operation as its top-level operation.

The metadata argument may carry additional necessary data. Use nothing as the default.

expression_operation(expression)

Returns the top-level operation of the given expression.

expression_with_children(expression, children)

Returns an expression based on expression, but with children as its immediate children.