Module aya.base

Package org.aya.core.term

Interface Callable.Factory<D extends Def,S extends Decl>

Enclosing interface:

Callable

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface Callable.Factory<D extends Def,S extends Decl>

This exists solely for simplifying code in the tycker.

Method Summary

Modifier and Type	Method	Description
@NotNull Callable	make(DefVar<D,S> defVar, int ulift, kala.collection.immutable.ImmutableSeq<@NotNull org.aya.util.Arg<Term>> args)

Method Details

make

@Contract(pure=true,
          value="_,_,_->new")
@NotNull
@NotNull Callable make(DefVar<D,S> defVar,
 int ulift,
 kala.collection.immutable.ImmutableSeq<@NotNull org.aya.util.Arg<Term>> args)