Uses of Class
org.derive4j.processor.api.model.TypeRestriction

Packages that use TypeRestriction

Package	Description
org.derive4j.processor
org.derive4j.processor.api
org.derive4j.processor.api.model

Uses of TypeRestriction in org.derive4j.processor

Methods in org.derive4j.processor that return types with arguments of type TypeRestriction

Modifier and Type	Method	Description
private Optional<TypeRestriction>	AdtParser.parseGadtConstraint(String argName, TypeMirror paramType, List<TypeVariable> adtTypeVariables)

Method parameters in org.derive4j.processor with type arguments of type TypeRestriction

Modifier and Type	Method	Description
Function<TypeVariable, Optional<TypeMirror>>	DeriveUtilsImpl.typeRestrictions(List<TypeRestriction> typeRestrictions)

Uses of TypeRestriction in org.derive4j.processor.api

Method parameters in org.derive4j.processor.api with type arguments of type TypeRestriction

Modifier and Type	Method	Description
Function<TypeVariable, Optional<TypeMirror>>	DeriveUtils.typeRestrictions(List<TypeRestriction> typeRestrictions)

Uses of TypeRestriction in org.derive4j.processor.api.model

Subclasses of TypeRestriction in org.derive4j.processor.api.model

Modifier and Type	Class	Description
private static final class	TypeRestrictions.Lazy
private static final class	TypeRestrictions.TypeRestriction_

Fields in org.derive4j.processor.api.model declared as TypeRestriction

Modifier and Type	Field	Description
private TypeRestriction	TypeRestrictions.Lazy.evaluation

Fields in org.derive4j.processor.api.model with type parameters of type TypeRestriction

Modifier and Type	Field	Description
private Supplier<TypeRestriction>	TypeRestrictions.Lazy.expression
private final List<TypeRestriction>	DataConstructors.Constructor.typeRestrictions

Methods in org.derive4j.processor.api.model that return TypeRestriction

Modifier and Type	Method	Description
private 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 TypeRestriction

Modifier and Type	Method	Description
static 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)
List<TypeRestriction>	DataConstructor.typeRestrictions()

Methods in org.derive4j.processor.api.model with parameters of type TypeRestriction

Modifier and Type	Method	Description
static 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 TypeRestriction

Modifier and Type	Method	Description
static 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

Modifier	Constructor	Description
(package private)	Lazy(Supplier<TypeRestriction> typeRestriction)