Module aya.base

Package org.aya.core.def

Class FnDef

java.lang.Object

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

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

org.aya.core.def.FnDef

All Implemented Interfaces:

Def, GenericDef, AyaDocile

public final class FnDef
extends UserDef<Term>

Nested Class Summary

Nested classes/interfaces inherited from class org.aya.core.def.UserDef

UserDef.Type

Nested classes/interfaces inherited from interface org.aya.core.def.Def

Def.Signature<T extends Term>

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Term.Matching>>	body
final @NotNull EnumSet<Modifier>	modifiers
final @NotNull DefVar<FnDef,TeleDecl.FnDecl>	ref

Fields inherited from class org.aya.core.def.UserDef

problems

Fields inherited from class org.aya.core.def.TopLevelDef

result, telescope

Constructor Summary

Constructors

Constructor	Description
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<Term.Matching>> body)

Method Summary

Modifier and Type	Method	Description
static <T> BiFunction<Term,kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Term.Matching>>,T>	factory(BiFunction<Term,kala.control.Either<Term,kala.collection.immutable.ImmutableSeq<Term.Matching>>,T> function)
@NotNull DefVar<FnDef,TeleDecl.FnDecl>	ref()

Methods inherited from class org.aya.core.def.TopLevelDef

result, telescope

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.core.def.Def

toDoc

Field Details

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<Term.Matching>> body

Constructor Details

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<Term.Matching>> body)

Method Details

factory

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

ref

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