Uses of Class
org.derive4j.processor.api.model.TypeRestriction
Packages that use TypeRestriction
Package
Description
-
Uses of TypeRestriction in org.derive4j.processor
Methods in org.derive4j.processor that return types with arguments of type TypeRestrictionModifier and TypeMethodDescriptionprivate Optional
<TypeRestriction> AdtParser.parseGadtConstraint
(String argName, TypeMirror paramType, List<TypeVariable> adtTypeVariables) Method parameters in org.derive4j.processor with type arguments of type TypeRestrictionModifier and TypeMethodDescriptionDeriveUtilsImpl.typeRestrictions
(List<TypeRestriction> typeRestrictions) -
Uses of TypeRestriction in org.derive4j.processor.api
Method parameters in org.derive4j.processor.api with type arguments of type TypeRestrictionModifier and TypeMethodDescriptionDeriveUtils.typeRestrictions
(List<TypeRestriction> typeRestrictions) -
Uses of TypeRestriction in org.derive4j.processor.api.model
Subclasses of TypeRestriction in org.derive4j.processor.api.modelModifier and TypeClassDescriptionprivate static final class
private static final class
Fields in org.derive4j.processor.api.model declared as TypeRestrictionFields in org.derive4j.processor.api.model with type parameters of type TypeRestrictionModifier and TypeFieldDescriptionprivate Supplier
<TypeRestriction> TypeRestrictions.Lazy.expression
private final List
<TypeRestriction> DataConstructors.Constructor.typeRestrictions
Methods in org.derive4j.processor.api.model that return TypeRestrictionModifier and TypeMethodDescriptionprivate TypeRestriction
TypeRestrictions.Lazy._evaluate()
static TypeRestriction
TypeRestrictions.lazy
(Supplier<TypeRestriction> typeRestriction) static TypeRestriction
TypeRestriction.typeRestriction
(TypeVariable restrictedTypeVariable, TypeMirror type, DataArgument typeEq) static TypeRestriction
TypeRestrictions.typeRestriction
(TypeVariable restrictedTypeVariable, TypeMirror refinementType, DataArgument typeEq) Methods in org.derive4j.processor.api.model that return types with arguments of type TypeRestrictionModifier and TypeMethodDescriptionstatic List
<TypeRestriction> DataConstructors.getTypeRestrictions
(DataConstructor dataConstructor) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.modRefinementType
(Function<TypeMirror, TypeMirror> refinementTypeMod) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.modRefinementType
(Function<TypeMirror, TypeMirror> refinementTypeMod) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.modRestrictedTypeVariable
(Function<TypeVariable, TypeVariable> restrictedTypeVariableMod) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.modRestrictedTypeVariable
(Function<TypeVariable, TypeVariable> restrictedTypeVariableMod) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.modTypeEq
(Function<DataArgument, DataArgument> typeEqMod) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.modTypeEq
(Function<DataArgument, DataArgument> typeEqMod) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.setRefinementType
(TypeMirror newRefinementType) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.setRefinementType
(TypeMirror newRefinementType) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.setRestrictedTypeVariable
(TypeVariable newRestrictedTypeVariable) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.setRestrictedTypeVariable
(TypeVariable newRestrictedTypeVariable) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.setTypeEq
(DataArgument newTypeEq) static Function
<TypeRestriction, TypeRestriction> TypeRestrictions.setTypeEq
(DataArgument newTypeEq) final <R> Function
<TypeRestriction, R> TypeRestrictions.CasesMatchers.TotalMatcher_TypeRestriction.typeRestriction
(TypeRestriction.Case<R> typeRestriction) final <R> Function
<TypeRestriction, R> TypeRestrictions.CasesMatchers.TotalMatcher_TypeRestriction.typeRestriction_
(R r) DataConstructor.typeRestrictions()
Methods in org.derive4j.processor.api.model with parameters of type TypeRestrictionModifier and TypeMethodDescriptionstatic TypeMirror
TypeRestrictions.getRefinementType
(TypeRestriction typeRestriction) static TypeVariable
TypeRestrictions.getRestrictedTypeVariable
(TypeRestriction typeRestriction) static DataArgument
TypeRestrictions.getTypeEq
(TypeRestriction typeRestriction) Method parameters in org.derive4j.processor.api.model with type arguments of type TypeRestrictionModifier and TypeMethodDescriptionstatic TypeRestriction
TypeRestrictions.lazy
(Supplier<TypeRestriction> typeRestriction) static Function
<DataConstructor, DataConstructor> DataConstructors.modTypeRestrictions
(Function<List<TypeRestriction>, List<TypeRestriction>> typeRestrictionsMod) static Function
<DataConstructor, DataConstructor> DataConstructors.modTypeRestrictions
(Function<List<TypeRestriction>, List<TypeRestriction>> typeRestrictionsMod) static Function
<DataConstructor, DataConstructor> DataConstructors.setTypeRestrictions
(List<TypeRestriction> newTypeRestrictions) Constructor parameters in org.derive4j.processor.api.model with type arguments of type TypeRestriction