Module aya.base

Package org.aya.generic

Interface Shaped.Applicable<T extends AyaDocile,Core extends Def,Concrete extends TeleDecl<?>>

All Superinterfaces:

Shaped<T>

All Known Subinterfaces:

IntegerOps<Core,Concrete>

All Known Implementing Classes:

IntegerOps.ConRule, IntegerOps.FnRule

Enclosing interface:

Shaped<T>

public static interface Shaped.Applicable<T extends AyaDocile,Core extends Def,Concrete extends TeleDecl<?>>
extends Shaped<T>

Something Shaped which is applicable, like FnDef, CtorDef, and probably DataDef

See Also:

• RuleReducer

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.generic.Shaped

Shaped.Applicable<T extends AyaDocile,Core extends Def,Concrete extends TeleDecl<?>>, Shaped.Inductive<T>, Shaped.List<T extends AyaDocile>, Shaped.Nat<T extends AyaDocile>

Method Summary

Modifier and Type	Method	Description
T	apply(@NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<T>> args)	Applying arguments.
@NotNull DefVar<Core,Concrete>	ref()	The underlying ref

Methods inherited from interface org.aya.generic.Shaped

type

Method Details

ref

@NotNull
@NotNull DefVar<Core,Concrete> ref()

The underlying ref

apply

@Nullable
T apply(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.Arg<T>> args)

Applying arguments.

Parameters:

args - arguments

Returns:

null if failed