com.mojang.datafixers.types.templates

Class RecursivePoint.RecursivePointType<A>

java.lang.Object

com.mojang.datafixers.types.Type<A>

com.mojang.datafixers.types.templates.RecursivePoint.RecursivePointType<A>

All Implemented Interfaces:

Type.Mu<A>

Enclosing class:

RecursivePoint

public static final class RecursivePoint.RecursivePointType<A>
extends Type<A>

Nested Class Summary

Nested classes/interfaces inherited from class com.mojang.datafixers.types.Type

Type.Continue, Type.FieldNotFoundException, Type.Mu, Type.TypeError, Type.TypeMatcher<FT,FR>

Constructor Summary

Constructors

Constructor and Description
RecursivePointType(RecursiveTypeFamily family, int index, by-name Type<A> delegate)

Method Summary

Modifier and Type	Method and Description
RewriteResult<A,?>	all(TypeRewriteRule rule, boolean recurse, boolean checkIndex) gmapT run rule on all direct children and combine results
protected Codec<A>	buildCodec() needs to be lazy
TypeTemplate	buildTemplate()
boolean	equals(Object obj, boolean ignoreRecursionPoints, boolean checkIndex)
Optional<RewriteResult<A,?>>	everywhere(TypeRewriteRule rule, PointFreeRule optimizationRule, boolean recurse, boolean checkIndex)
RecursiveTypeFamily	family()
Optional<Type<?>>	findCheckedType(int index)
Optional<TaggedChoice.TaggedChoiceType<?>>	findChoiceType(String name, int index)
Optional<Type<?>>	findFieldTypeOpt(String name)
<FT,FR> (TypedOptic<A,?,FT,FR>|Type.FieldNotFoundException)	findTypeInChildren(Type<FT> type, Type<FR> resultType, Type.TypeMatcher<FT,FR> matcher, boolean recurse)
int	hashCode()
View<A,A>	in()
int	index()
Optional<RewriteResult<A,?>>	one(TypeRewriteRule rule) run rule on exactly one child
View<A,A>	out()
Optional<A>	point(DynamicOps<?> ops) populate with the default value, if possible only initializes empty things
String	toString()
Type<A>	unfold()
Type<?>	updateMu(RecursiveTypeFamily newFamily)

Methods inherited from class com.mojang.datafixers.types.Type

codec, equals, finder, findField, findFieldType, findType, findTypeCached, getSetType, ifSame, ifSame, ifSame, opticView, pointTyped, read, read, readAndWrite, readTyped, readTyped, rewrite, rewriteOrNop, template, unbox, write, writeDynamic

Methods inherited from class java.lang.Object

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

Constructor Detail

RecursivePointType

public RecursivePointType(RecursiveTypeFamily family,
                          int index,
                          by-name Type<A> delegate)

Method Detail

family

public RecursiveTypeFamily family()

index

public int index()

unfold

public Type<A> unfold()

buildCodec

protected Codec<A> buildCodec()

needs to be lazy

Specified by:

buildCodec in class Type<A>

all

public RewriteResult<A,?> all(TypeRewriteRule rule,
                              boolean recurse,
                              boolean checkIndex)

Description copied from class: Type

gmapT run rule on all direct children and combine results

Overrides:

all in class Type<A>

one

public Optional<RewriteResult<A,?>> one(TypeRewriteRule rule)

Description copied from class: Type

run rule on exactly one child

Overrides:

one in class Type<A>

everywhere

public Optional<RewriteResult<A,?>> everywhere(TypeRewriteRule rule,
                                               PointFreeRule optimizationRule,
                                               boolean recurse,
                                               boolean checkIndex)

Overrides:

everywhere in class Type<A>

updateMu

public Type<?> updateMu(RecursiveTypeFamily newFamily)

Overrides:

updateMu in class Type<A>

buildTemplate

public TypeTemplate buildTemplate()

Specified by:

buildTemplate in class Type<A>

findChoiceType

public Optional<TaggedChoice.TaggedChoiceType<?>> findChoiceType(String name,
                                                                 int index)

Overrides:

findChoiceType in class Type<A>

findCheckedType

public Optional<Type<?>> findCheckedType(int index)

Overrides:

findCheckedType in class Type<A>

findFieldTypeOpt

public Optional<Type<?>> findFieldTypeOpt(String name)

Overrides:

findFieldTypeOpt in class Type<A>

point

public Optional<A> point(DynamicOps<?> ops)

Description copied from class: Type

populate with the default value, if possible only initializes empty things

Overrides:

point in class Type<A>

findTypeInChildren

public <FT,FR> (TypedOptic<A,?,FT,FR>|Type.FieldNotFoundException) findTypeInChildren(Type<FT> type,
                                                                                      Type<FR> resultType,
                                                                                      Type.TypeMatcher<FT,FR> matcher,
                                                                                      boolean recurse)

Overrides:

findTypeInChildren in class Type<A>

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj,
                      boolean ignoreRecursionPoints,
                      boolean checkIndex)

Specified by:

equals in class Type<A>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

in

public View<A,A> in()

out

public View<A,A> out()