模块 aya.base

程序包 org.aya.generic

接口 Shaped.Inductively<T>

所有超级接口:

Shaped<T>

所有已知实现类:

LitTerm.ShapedInt, Pat.ShapedInt

封闭接口:

Shaped<T>

public static interface Shaped.Inductively<T>
extends Shaped<T>

嵌套类概要

从接口继承的嵌套类/接口 org.aya.generic.Shaped

Shaped.Inductively<T>

方法概要

修饰符和类型	方法	说明
default T	constructorForm(@Nullable TyckState state)
T	destruct(int repr)
T	makeSuc(@NotNull CtorDef suc, T t)
T	makeZero(@NotNull CtorDef zero)
int	repr()
default <O> boolean	sameValue(@Nullable TyckState state, @NotNull Shaped<O> other)
@NotNull Term	type()
default <R> R	with(@NotNull BiFunction<CtorDef,CtorDef,R> block, @NotNull Supplier<R> unsolved)
default <R> R	with(@Nullable TyckState state, @NotNull BiFunction<CtorDef,CtorDef,R> block, @NotNull Supplier<R> unsolved)

从接口继承的方法 org.aya.generic.Shaped

constructorForm, shape

方法详细资料

type

@NotNull
@NotNull Term type()

指定者:

type 在接口中 Shaped<T>

makeZero

@NotNull
T makeZero(@NotNull
 @NotNull CtorDef zero)

makeSuc

@NotNull
T makeSuc(@NotNull
 @NotNull CtorDef suc,
 @NotNull
 T t)

destruct

@NotNull
T destruct(int repr)

repr

int repr()

sameValue

default <O> boolean sameValue(@Nullable
 @Nullable TyckState state,
 @NotNull
 @NotNull Shaped<O> other)

constructorForm

@NotNull
default T constructorForm(@Nullable
 @Nullable TyckState state)

指定者:

constructorForm 在接口中 Shaped<T>

with

default <R> R with(@NotNull
 @NotNull BiFunction<CtorDef,CtorDef,R> block,
 @NotNull
 @NotNull Supplier<R> unsolved)

with

default <R> R with(@Nullable
 @Nullable TyckState state,
 @NotNull
 @NotNull BiFunction<CtorDef,CtorDef,R> block,
 @NotNull
 @NotNull Supplier<R> unsolved)