Module aya.base

Package org.aya.tyck.error

Interface CubicalError

All Superinterfaces:

ExprProblem, org.aya.util.reporter.Problem, TyckError

All Known Implementing Classes:

CubicalError.BoundaryDisagree, CubicalError.CoeVaryingType, CubicalError.FaceMismatch

public sealed interface CubicalError
extends ExprProblem, TyckError
permits CubicalError.BoundaryDisagree, CubicalError.FaceMismatch, CubicalError.CoeVaryingType

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	CubicalError.BoundaryDisagree
static final record	CubicalError.CoeVaryingType
static final record	CubicalError.FaceMismatch

Nested classes/interfaces inherited from interface org.aya.util.reporter.Problem

org.aya.util.reporter.Problem.Severity, org.aya.util.reporter.Problem.Stage

Field Summary

Fields inherited from interface org.aya.util.reporter.Problem

ERROR, NOTE, TEXT

Method Summary

Methods inherited from interface org.aya.generic.ExprProblem

expr, sourcePos

Methods inherited from interface org.aya.util.reporter.Problem

brief, describe, hint, inlineHints, isError, toPrettyError

Methods inherited from interface org.aya.tyck.error.TyckError

level, stage