com.mojang.datafixers.types.families

Class RecursiveTypeFamily

java.lang.Object

com.mojang.datafixers.types.families.RecursiveTypeFamily

All Implemented Interfaces:

TypeFamily

public final class RecursiveTypeFamily
extends Object
implements TypeFamily

Constructor Summary

Constructors

Constructor and Description
RecursiveTypeFamily(String name, TypeTemplate template)

Method Summary

Modifier and Type	Method and Description
RecursivePoint.RecursivePointType<?>	apply(int index)
<A> RecursivePoint.RecursivePointType<A>	buildMuType(Type<A> newType, RecursiveTypeFamily newFamily)
boolean	equals(Object o)
Optional<RewriteResult<?,?>>	everywhere(int index, TypeRewriteRule rule, PointFreeRule optimizationRule)
<A,B> (TypedOptic<?,?,A,B>|Type.FieldNotFoundException)	findType(int index, Type<A> aType, Type<B> bType, Type.TypeMatcher<A,B> matcher, boolean recurse)
(int) -> RewriteResult<?,?>	fold(Algebra algebra) returns family.apply(index) -> algebra.family.apply(index)
int	hashCode()
String	name()
int	size()
TypeTemplate	template()
String	toString()
static <A,B> View<A,B>	viewUnchecked(Type<?> type, Type<?> resType, PointFree<(A) -> B> function)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.mojang.datafixers.types.families.TypeFamily

familyOptic

Constructor Detail

RecursiveTypeFamily

public RecursiveTypeFamily(String name,
                           TypeTemplate template)

Method Detail

viewUnchecked

public static <A,B> View<A,B> viewUnchecked(Type<?> type,
                                            Type<?> resType,
                                            PointFree<(A) -> B> function)

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 (int) -> RewriteResult<?,?> fold(Algebra algebra)

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> (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