Module aya.base

Package org.aya.tyck

Interface Result

All Known Implementing Classes:

Result.Default, Result.Sort

public sealed interface Result
permits Result.Sort, Result.Default

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	Result.Default	Result.Default.type is the type of Result.Default.wellTyped.
static final record	Result.Sort

Method Summary

Modifier and Type	Method	Description
@NotNull Result	freezeHoles(@NotNull TyckState state)
default @NotNull Result	normalize(@NotNull NormalizeMode mode, @NotNull TyckState state)
@NotNull Term	type()
@NotNull Term	wellTyped()

Method Details

wellTyped

@NotNull
@NotNull Term wellTyped()

type

@NotNull
@NotNull Term type()

freezeHoles

@NotNull
@NotNull Result freezeHoles(@NotNull
 @NotNull TyckState state)

normalize

@NotNull
default @NotNull Result normalize(@NotNull
 @NotNull NormalizeMode mode,
 @NotNull
 @NotNull TyckState state)