Main Navigation Home Docs Reference

Appearance

Sidebar Navigation

Introduction

Getting Started

Making a Simple REPL

Inspections

Generic

Functional

Imperative

OOP

Logic

Guides

Making a Parser

Making a Custom Inspection Set

AST Reference

Literals

BooleanPrimitive

CharPrimitive

ListPrimitive

NilPrimitive

NumberPrimitive

StringPrimitive

SymbolPrimitive

Expressions

Application

Case

CompositionExpression

ConsExpression

DataExpression

FieldExpression

If

Lambda

LetInExpression

ListComprehension

RangeExpression

Switch

TupleExpression

Variable

Statements

Assignment

Break

Catch

Continue

For

ForLoop

Input

Print

Raise

Repeat

Return

Sequence

Try

While

Yield

Patterns

ApplicationPattern

AsPattern

ConsPattern

ConstructorPattern

FunctorPattern

ListPattern

LiteralPattern

TuplePattern

UnionPattern

VariablePattern

WildcardPattern

Declarations

Constructor

EntryPoint

Enumeration

Equation

Field

Function

Generator

GuardedBody

Otherwise

Procedure

Record

Structure

UnguardedBody

Types

ConstrainedType

Constraint

ListType

ParameterizedType

SimpleType

TupleType

TypeAlias

TypeApplication

TypeCast

TypeSignature

TypeVar

Logic

Call

Exist

Fact

Findall

Forall

Goal

Not

Query

Rule

UnifyOperation

OOP

Attribute

Class

Implement

Interface

Method

New

Object

PrimitiveMethod

Self

Send

Super

Operators

ArithmeticBinaryOperation

ArithmeticUnaryOperation

AssignOperation

BitwiseBinaryOperation

BitwiseUnaryOperation

ComparisonOperation

ListBinaryOperation

ListUnaryOperation

LogicalBinaryOperation

LogicalUnaryOperation

StringOperation

On this page

Type Alias: UnifyOperator

UnifyOperator = "Unify"

Pager

Next pageGetting Started

Type Alias: UnifyOperator ​

Type Alias: UnifyOperator