- 所有已实现的接口:
Def,GenericDef,AyaDocile
-
嵌套类概要
从类继承的嵌套类/接口 org.aya.core.def.UserDef
UserDef.Type从接口继承的嵌套类/接口 org.aya.core.def.Def
Def.Signature -
字段概要
字段从类继承的字段 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
-
字段详细资料
-
modifiers
-
ref
-
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, factorykala.collection.immutable.ImmutableSeq<Matching>>, T> (BiFunction<Term, kala.control.Either<Term, kala.collection.immutable.ImmutableSeq<Matching>>, T> function) -
ref
-