模块 aya.base

程序包 org.aya.core.term

记录类 FormTerm.Cube

java.lang.Object

java.lang.Record

org.aya.core.term.FormTerm.Cube

记录组件：

params - Dimension parameters, never empty.

partial - Partial element carried by this path.

封闭接口:

FormTerm

public static record FormTerm.Cube(@NotNull kala.collection.immutable.ImmutableSeq<LocalVar> params, @NotNull Term type, @NotNull org.aya.guest0x0.cubical.Partial<Term> partial)
extends Record

'Generalized path' syntax.

另请参阅:

• Expr.Path
• FormTerm.Path

构造器概要

构造器

构造器	说明
Cube(@NotNull kala.collection.immutable.ImmutableSeq<LocalVar> params, @NotNull Term type, @NotNull org.aya.guest0x0.cubical.Partial<Term> partial)	创建 Cube 记录类的实例。

方法概要

修饰符和类型	方法	说明
@NotNull Term	applyDimsTo(@NotNull Term innerMost)
@NotNull FormTerm.Pi	computePi()
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull Term	makeApp(@NotNull Term app, @NotNull Arg<Term> arg)
@NotNull Term	makeLam(@NotNull Term app)
FormTerm.Cube	map(@NotNull Function<Term,Term> mapper)
FormTerm.Cube	map(@NotNull kala.collection.immutable.ImmutableSeq<LocalVar> params, @NotNull Function<Term,Term> mapper)
@NotNull kala.collection.immutable.ImmutableSeq<LocalVar>	params()	返回 params 记录组件的值。
@NotNull org.aya.guest0x0.cubical.Partial<Term>	partial()	返回 partial 记录组件的值。
final String	toString()	返回此记录类的字符串表示形式。
@NotNull Term	type()	返回 type 记录组件的值。

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

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

构造器详细资料

Cube

public Cube(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<LocalVar> params,
 @NotNull
 @NotNull Term type,
 @NotNull
 @NotNull org.aya.guest0x0.cubical.Partial<Term> partial)

创建 Cube 记录类的实例。

参数:

params - params 记录组件的值

type - type 记录组件的值

partial - partial 记录组件的值

方法详细资料

computePi

@NotNull
public @NotNull FormTerm.Pi computePi()

applyDimsTo

@NotNull
public @NotNull Term applyDimsTo(@NotNull
 @NotNull Term innerMost)

map

@NotNull
public FormTerm.Cube map(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<LocalVar> params,
 @NotNull
 @NotNull Function<Term,Term> mapper)

map

@NotNull
public FormTerm.Cube map(@NotNull
 @NotNull Function<Term,Term> mapper)

makeApp

@NotNull
public @NotNull Term makeApp(@NotNull
 @NotNull Term app,
 @NotNull
 @NotNull Arg<Term> arg)

makeLam

@NotNull
public @NotNull Term makeLam(@NotNull
 @NotNull Term app)

toString

public final String toString()

返回此记录类的字符串表示形式。此表示形式包含类的名称，后跟每个记录组件的名称和值。

指定者:

toString 在类中 Record

返回:

此对象的字符串表示形式

hashCode

public final int hashCode()

返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。

指定者:

hashCode 在类中 Record

返回:

此对象的哈希代码值

equals

public final boolean equals(Object o)

指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 此记录类中的所有组件都使用 Objects::equals(Object,Object) 进行比较。

指定者:

equals 在类中 Record

参数:

o - 要与之进行比较的对象

返回:

如果此对象与 o 参数相同，则为 true；否则为 false。

params

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<LocalVar> params()

返回 params 记录组件的值。

返回:

params 记录组件的值

type

@NotNull
public @NotNull Term type()

返回 type 记录组件的值。

返回:

type 记录组件的值

partial

@NotNull
public @NotNull org.aya.guest0x0.cubical.Partial<Term> partial()

返回 partial 记录组件的值。

返回:

partial 记录组件的值