模块 aya.base

程序包 org.aya.core.def

类 FnDef

java.lang.Object

org.aya.core.def.TopLevelDef<Ret>

org.aya.core.def.UserDef<Term>

org.aya.core.def.FnDef

所有已实现的接口:

Def, GenericDef, AyaDocile

public final class FnDef
extends UserDef<Term>

嵌套类概要

从类继承的嵌套类/接口 org.aya.core.def.UserDef

UserDef.Type

从接口继承的嵌套类/接口 org.aya.core.def.Def

Def.Signature

字段概要

字段

修饰符和类型	字段	说明
final @NotNull kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>>	body
final @NotNull EnumSet<Modifier>	modifiers
final @NotNull DefVar<FnDef,TeleDecl.FnDecl>	ref

从类继承的字段 org.aya.core.def.UserDef

problems

从类继承的字段 org.aya.core.def.TopLevelDef

result, telescope

构造器概要

构造器

构造器	说明
FnDef(@NotNull DefVar<FnDef,TeleDecl.FnDecl> ref, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, @NotNull Term result, @NotNull EnumSet<Modifier> modifiers, @NotNull kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>> body)

方法概要

修饰符和类型	方法	说明
static <T> BiFunction<Term,kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>>,T>	factory(BiFunction<Term,kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>>,T> function)
@NotNull DefVar<FnDef,TeleDecl.FnDecl>	ref()

从类继承的方法 org.aya.core.def.TopLevelDef

result, telescope

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

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

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.core.def.Def

toDoc

字段详细资料

modifiers

@NotNull
public final @NotNull EnumSet<Modifier> modifiers

ref

@NotNull
public final @NotNull DefVar<FnDef,TeleDecl.FnDecl> ref

body

@NotNull
public final @NotNull kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>> body

构造器详细资料

FnDef

public FnDef(@NotNull
 @NotNull DefVar<FnDef,TeleDecl.FnDecl> ref,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope,
 @NotNull
 @NotNull Term result,
 @NotNull
 @NotNull EnumSet<Modifier> modifiers,
 @NotNull
 @NotNull kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>> body)

方法详细资料

factory

public static <T>
BiFunction<Term,kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>>,T> factory(BiFunction<Term,kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Matching>>,T> function)

ref

@NotNull
public @NotNull DefVar<FnDef,TeleDecl.FnDecl> ref()