Module aya.base

Package org.aya.tyck.repr

Class ShapeFactory

java.lang.Object

org.aya.tyck.repr.ShapeFactory

public final class ShapeFactory
extends Object

Constructor Summary

Constructors

Constructor	Description
ShapeFactory()

Method Summary

Modifier and Type	Method	Description
static Shaped.Applicable<Term,CtorDef,TeleDecl.DataCtor>	ofCtor(@NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref, @NotNull ShapeRecognition paramRecog, @NotNull DataCall paramType)
static Shaped.Applicable<Term,CtorDef,TeleDecl.DataCtor>	ofCtor(@NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref, AyaShape.Factory factory, @NotNull DataCall paramType)
static Shaped.Applicable<Term,FnDef,TeleDecl.FnDecl>	ofFn(@NotNull DefVar<FnDef,TeleDecl.FnDecl> ref, @NotNull ShapeRecognition recog)

Methods inherited from class java.lang.Object

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

Constructor Details

ShapeFactory

public ShapeFactory()

Method Details

ofCtor

@Nullable
public static Shaped.Applicable<Term,CtorDef,TeleDecl.DataCtor> ofCtor(@NotNull
 @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref,
 @NotNull
 AyaShape.Factory factory,
 @NotNull
 @NotNull DataCall paramType)

ofCtor

@Nullable
public static Shaped.Applicable<Term,CtorDef,TeleDecl.DataCtor> ofCtor(@NotNull
 @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref,
 @NotNull
 @NotNull ShapeRecognition paramRecog,
 @NotNull
 @NotNull DataCall paramType)

ofFn

@Nullable
public static Shaped.Applicable<Term,FnDef,TeleDecl.FnDecl> ofFn(@NotNull
 @NotNull DefVar<FnDef,TeleDecl.FnDecl> ref,
 @NotNull
 @NotNull ShapeRecognition recog)