模块 aya.base

程序包 org.aya.generic

接口 Shaped<T>

所有已知子接口:

Shaped.Inductively<T>

所有已知实现类:

LitTerm.ShapedInt, Pat.ShapedInt

public interface Shaped<T>

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static interface	Shaped.Inductively<T>

方法概要

修饰符和类型	方法	说明
default T	constructorForm()
T	constructorForm(@Nullable TyckState state)
@NotNull AyaShape	shape()
@NotNull Term	type()

方法详细资料

shape

@NotNull
@NotNull AyaShape shape()

type

@NotNull
@NotNull Term type()

constructorForm

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

constructorForm

@NotNull
default T constructorForm()