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 java.util.Optional<TypeRestriction>	AdtParser.parseGadtConstraint(java.lang.String argName, javax.lang.model.type.TypeMirror paramType, java.util.List<javax.lang.model.type.TypeVariable> adtTypeVariables)

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

Modifier and Type	Method	Description
java.util.function.Function<javax.lang.model.type.TypeVariable,java.util.Optional<javax.lang.model.type.TypeMirror>>	DeriveUtilsImpl.typeRestrictions(java.util.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
java.util.function.Function<javax.lang.model.type.TypeVariable,java.util.Optional<javax.lang.model.type.TypeMirror>>	DeriveUtils.typeRestrictions(java.util.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 class	TypeRestrictions.Lazy
private static 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 java.util.function.Supplier<TypeRestriction>	TypeRestrictions.Lazy.expression
private java.util.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(java.util.function.Supplier<TypeRestriction> typeRestriction)
static TypeRestriction	TypeRestriction.typeRestriction(javax.lang.model.type.TypeVariable restrictedTypeVariable, javax.lang.model.type.TypeMirror type, DataArgument typeEq)
static TypeRestriction	TypeRestrictions.typeRestriction(javax.lang.model.type.TypeVariable restrictedTypeVariable, javax.lang.model.type.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 java.util.List<TypeRestriction>	DataConstructors.getTypeRestrictions(DataConstructor dataConstructor)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.modRefinementType(java.util.function.Function<javax.lang.model.type.TypeMirror,javax.lang.model.type.TypeMirror> refinementTypeMod)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.modRefinementType(java.util.function.Function<javax.lang.model.type.TypeMirror,javax.lang.model.type.TypeMirror> refinementTypeMod)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.modRestrictedTypeVariable(java.util.function.Function<javax.lang.model.type.TypeVariable,javax.lang.model.type.TypeVariable> restrictedTypeVariableMod)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.modRestrictedTypeVariable(java.util.function.Function<javax.lang.model.type.TypeVariable,javax.lang.model.type.TypeVariable> restrictedTypeVariableMod)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.modTypeEq(java.util.function.Function<DataArgument,DataArgument> typeEqMod)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.modTypeEq(java.util.function.Function<DataArgument,DataArgument> typeEqMod)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.setRefinementType(javax.lang.model.type.TypeMirror newRefinementType)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.setRefinementType(javax.lang.model.type.TypeMirror newRefinementType)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.setRestrictedTypeVariable(javax.lang.model.type.TypeVariable newRestrictedTypeVariable)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.setRestrictedTypeVariable(javax.lang.model.type.TypeVariable newRestrictedTypeVariable)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.setTypeEq(DataArgument newTypeEq)
static java.util.function.Function<TypeRestriction,TypeRestriction>	TypeRestrictions.setTypeEq(DataArgument newTypeEq)
<R> java.util.function.Function<TypeRestriction,R>	TypeRestrictions.CasesMatchers.TotalMatcher_TypeRestriction.typeRestriction(TypeRestriction.Case<R> typeRestriction)
<R> java.util.function.Function<TypeRestriction,R>	TypeRestrictions.CasesMatchers.TotalMatcher_TypeRestriction.typeRestriction_(R r)
java.util.List<TypeRestriction>	DataConstructor.typeRestrictions()

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

Modifier and Type	Method	Description
static javax.lang.model.type.TypeMirror	TypeRestrictions.getRefinementType(TypeRestriction typeRestriction)
static javax.lang.model.type.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(java.util.function.Supplier<TypeRestriction> typeRestriction)
static java.util.function.Function<DataConstructor,DataConstructor>	DataConstructors.modTypeRestrictions(java.util.function.Function<java.util.List<TypeRestriction>,java.util.List<TypeRestriction>> typeRestrictionsMod)
static java.util.function.Function<DataConstructor,DataConstructor>	DataConstructors.modTypeRestrictions(java.util.function.Function<java.util.List<TypeRestriction>,java.util.List<TypeRestriction>> typeRestrictionsMod)
static java.util.function.Function<DataConstructor,DataConstructor>	DataConstructors.setTypeRestrictions(java.util.List<TypeRestriction> newTypeRestrictions)

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

Constructor	Description
Lazy(java.util.function.Supplier<TypeRestriction> typeRestriction)