Module aya.base

Package org.aya.tyck

Interface ExprTycker.Result

All Known Implementing Classes:

ExprTycker.SortResult, ExprTycker.TermResult, ExprTycker.TyResult

Enclosing class:

ExprTycker

public static interface ExprTycker.Result

Method Summary

Modifier and Type	Method	Description
@NotNull ExprTycker.Result	freezeHoles(@NotNull TyckState state)
default @NotNull ExprTycker.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 ExprTycker.Result freezeHoles(@NotNull
 @NotNull TyckState state)

normalize

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