Module aya.base

Package org.aya.tyck.tycker

Class PropTycker

java.lang.Object

org.aya.tyck.tycker.TracedTycker

org.aya.tyck.tycker.StatedTycker

org.aya.tyck.tycker.MockTycker

org.aya.tyck.tycker.ConcreteAwareTycker

org.aya.tyck.tycker.LetListTycker

org.aya.tyck.tycker.UnifiedTycker

org.aya.tyck.tycker.PropTycker

Direct Known Subclasses:

ExprTycker

public abstract sealed class PropTycker
extends UnifiedTycker
permits ExprTycker

This is the fifth base-base class of a tycker. It has a member isProp, and supports some Prop-related functions.

See Also:

• inProp(Term)
• withInProp(boolean, Supplier)

Field Summary

Fields

Modifier and Type	Field	Description
boolean	inProp

Fields inherited from class org.aya.tyck.tycker.LetListTycker

definitionEqualities

Fields inherited from class org.aya.tyck.tycker.ConcreteAwareTycker

withTerms

Fields inherited from class org.aya.tyck.tycker.MockTycker

ctx

Fields inherited from class org.aya.tyck.tycker.StatedTycker

state

Fields inherited from class org.aya.tyck.tycker.TracedTycker

reporter, traceBuilder

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PropTycker(@NotNull org.aya.util.reporter.Reporter reporter, @Nullable Trace.Builder traceBuilder, @NotNull TyckState state)

Method Summary

Modifier and Type	Method	Description
boolean	inProp(@NotNull Term type)
protected final <T> T	withInProp(boolean inProp, @NotNull Supplier<T> supplier)

Methods inherited from class org.aya.tyck.tycker.UnifiedTycker

checkBoundaries, confluence, error, inheritFallbackUnify, unifyReported, unifyReported, unifyTy, unifyTyReported, unifyTyReported

Methods inherited from class org.aya.tyck.tycker.LetListTycker

subscoped

Methods inherited from class org.aya.tyck.tycker.ConcreteAwareTycker

addWithTerm, addWithTerm, solveMetas, traced, traceExit, zonk, zonk, zonk

Methods inherited from class org.aya.tyck.tycker.MockTycker

generatePi, instImplicits, mockArg, mockTerm, synthesizer, unifier

Methods inherited from class org.aya.tyck.tycker.StatedTycker

compareRestr, conOwnerSubst, defCall, inferRef, unifier, whnf

Methods inherited from class org.aya.tyck.tycker.TracedTycker

fail, fail, newTycker, traced, tracing

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

inProp

public boolean inProp

Constructor Details

PropTycker

protected PropTycker(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @Nullable Trace.Builder traceBuilder,
 @NotNull
 @NotNull TyckState state)

Method Details

withInProp

protected final <T> T withInProp(boolean inProp,
 @NotNull
 @NotNull Supplier<T> supplier)

inProp

public boolean inProp(@NotNull
 @NotNull Term type)

Returns:

false means unsure or not a prop type.