Skip to content

Yukigo

Main Navigation Inicio Docs AST

Español

English

Español

English

Appearance

Sidebar Navigation

Introducción

Comenzar

Crear un REPL simple

Inspecciones

Genérico

Funcional

Imperativo

POO

Lógica

Guías

Crear un parser

Crear inspecciones

¿Cómo funciona?

Intérprete

Pattern matching

Referencia AST

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

TypePattern

UnionPattern

VariablePattern

WildcardPattern

Declarations

Constructor

EntryPoint

Enumeration

Equation

Field

Function

Generator

GuardedBody

Instance

Otherwise

Procedure

Record

Structure

TypeClass

UnguardedBody

Types

ConstrainedType

Constraint

ListType

ParameterizedType

SimpleType

TupleType

TypeAlias

TypeApplication

TypeCast

TypeSignature

TypeVar

Logic

Call

Exist

Fact

Findall

Forall

Goal

LogicConstraint

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

Contribuir

Release

On this page

Type Alias: Assertion

Assertion = Truth | Equality | Failure

Pager

Next pageComenzar

Type Alias: Assertion ​

Type Alias: Assertion