com.mojang.datafixers.types.families.RecursiveTypeFamily

public final class RecursiveTypeFamily extends Object implements TypeFamily

Constructor Details
- RecursiveTypeFamily
  
  public RecursiveTypeFamily(String name, TypeTemplate template)
Method Details
- buildMuType
  
  public <A> RecursivePoint.RecursivePointType<A> buildMuType(Type<A> newType, @Nullable RecursiveTypeFamily newFamily)
- name
  
  public String name()
- template
  
  public TypeTemplate template()
- size
  
  public int size()
- fold
  
  public IntFunction<RewriteResult<?,?>> fold(Algebra algebra, RecursiveTypeFamily newFamily)
  
  Mojang-Added Docs:
  returns family.apply(index) -> algebra.family.apply(index)
- apply
  
  public RecursivePoint.RecursivePointType<?> apply(int index)
  
  Specified by:
  
  apply in interface TypeFamily
- findType
  
  public <A, B> Either<TypedOptic<?,?,A,B>,Type.FieldNotFoundException> findType(int index, Type<A> aType, Type<B> bType, Type.TypeMatcher<A,B> matcher, boolean recurse)
- everywhere
  
  public Optional<RewriteResult<?,?>> everywhere(int index, TypeRewriteRule rule, PointFreeRule optimizationRule)
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- equals
  
  public boolean equals(Object o)
  
  Overrides:
  
  equals in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object

Class RecursiveTypeFamily

Constructor Summary