模块 aya.base

程序包 org.aya.tyck.pat

类 PatTycker

java.lang.Object

org.aya.tyck.pat.PatTycker

public final class PatTycker
extends Object

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final record	PatTycker.LhsResult
static final record	PatTycker.PatResult

字段概要

字段

修饰符和类型	字段	说明
final @NotNull ExprTycker	exprTycker
static final EndoFunctor	META_PAT_INLINER

构造器概要

构造器

构造器	说明
PatTycker(@NotNull ExprTycker exprTycker)
PatTycker(@NotNull ExprTycker exprTycker, @NotNull Subst typeSubst, @NotNull kala.collection.mutable.MutableMap<AnyVar,Expr> bodySubst, Trace.Builder traceBuilder)

方法概要

修饰符和类型	方法	说明
@NotNull PatTycker.PatResult	elabClausesClassified(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pattern.Clause> clauses, Def.Signature signature, @NotNull org.aya.util.error.SourcePos overallPos)
@NotNull PatTycker.PatResult	elabClausesDirectly(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pattern.Clause> clauses, Def.Signature signature)
static kala.control.Result<Subst,Boolean>	mischa(CallTerm.Data dataCall, CtorDef ctor, @Nullable LocalCtx ctx, @NotNull TyckState state)
boolean	noError()
@NotNull kala.tuple.Tuple2<kala.collection.SeqView<Pat>,Term>	visitPatterns(Def.Signature sig, kala.collection.SeqView<Pattern> stream)

从类继承的方法 java.lang.Object

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

字段详细资料

META_PAT_INLINER

public static final EndoFunctor META_PAT_INLINER

exprTycker

@NotNull
public final @NotNull ExprTycker exprTycker

构造器详细资料

PatTycker

public PatTycker(@NotNull
 @NotNull ExprTycker exprTycker,
 @NotNull
 @NotNull Subst typeSubst,
 @NotNull
 @NotNull kala.collection.mutable.MutableMap<AnyVar,Expr> bodySubst,
 @Nullable
 Trace.Builder traceBuilder)

PatTycker

public PatTycker(@NotNull
 @NotNull ExprTycker exprTycker)

方法详细资料

noError

public boolean noError()

elabClausesDirectly

@NotNull
public @NotNull PatTycker.PatResult elabClausesDirectly(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pattern.Clause> clauses,
 @NotNull
 Def.Signature signature)

elabClausesClassified

@NotNull
public @NotNull PatTycker.PatResult elabClausesClassified(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pattern.Clause> clauses,
 @NotNull
 Def.Signature signature,
 @NotNull
 @NotNull org.aya.util.error.SourcePos overallPos)

visitPatterns

@NotNull
public @NotNull kala.tuple.Tuple2<kala.collection.SeqView<Pat>,Term> visitPatterns(Def.Signature sig,
 kala.collection.SeqView<Pattern> stream)

mischa

public static kala.control.Result<Subst,Boolean> mischa(CallTerm.Data dataCall,
 CtorDef ctor,
 @Nullable
 @Nullable LocalCtx ctx,
 @NotNull
 @NotNull TyckState state)