Package org.derive4j.processor.api
Class FreeVariables
java.lang.Object
org.derive4j.processor.api.FreeVariables
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic class
private static final class
private static final class
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncases()
static String
getName
(FreeVariable freeVariable) static DeclaredType
getType
(FreeVariable freeVariable) static FreeVariable
lazy
(Supplier<FreeVariable> freeVariable) static Function
<FreeVariable, FreeVariable> static Function
<FreeVariable, FreeVariable> modType
(Function<DeclaredType, DeclaredType> typeMod) static Function
<FreeVariable, FreeVariable> static Function
<FreeVariable, FreeVariable> setType
(DeclaredType newType) static FreeVariable
variable
(DeclaredType type, String name)
-
Constructor Details
-
FreeVariables
private FreeVariables()
-
-
Method Details
-
variable
-
lazy
-
cases
-
getType
-
getName
-
setType
-
modType
public static Function<FreeVariable,FreeVariable> modType(Function<DeclaredType, DeclaredType> typeMod) -
setName
-
modName
-