com.mojang.datafixers.types.templates

Class Sum.SumType<F,G>

java.lang.Object

com.mojang.datafixers.types.Type<(F|G)>

com.mojang.datafixers.types.templates.Sum.SumType<F,G>

All Implemented Interfaces:

Type.Mu<(F|G)>

Enclosing class:

Sum

public static final class Sum.SumType<F,G>
extends Type<(F|G)>

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>

Field Summary

Fields

Modifier and Type	Field and Description
protected Type<F>	first
protected Type<G>	second

Constructor Summary

Constructors

Constructor and Description
SumType(Type<F> first, Type<G> second)

Method Summary

Modifier and Type	Method and Description
RewriteResult<(F|G),?>	all(TypeRewriteRule rule, boolean recurse, boolean checkIndex) gmapT run rule on all direct children and combine results
protected Codec<(F|G)>	buildCodec()
TypeTemplate	buildTemplate()
boolean	equals(Object obj, boolean ignoreRecursionPoints, boolean checkIndex)
Optional<Type<?>>	findCheckedType(int index)
Optional<TaggedChoice.TaggedChoiceType<?>>	findChoiceType(String name, int index)
Optional<Type<?>>	findFieldTypeOpt(String name)
<FT,FR> (TypedOptic<(F|G),?,FT,FR>|Type.FieldNotFoundException)	findTypeInChildren(Type<FT> type, Type<FR> resultType, Type.TypeMatcher<FT,FR> matcher, boolean recurse)
int	hashCode()
<F2,G2> RewriteResult<(F|G),?>	mergeViews(RewriteResult<F,F2> leftView, RewriteResult<G,G2> rightView)
Optional<RewriteResult<(F|G),?>>	one(TypeRewriteRule rule) run rule on exactly one child
Optional<(F|G)>	point(DynamicOps<?> ops) populate with the default value, if possible only initializes empty things
String	toString()
Type<?>	updateMu(RecursiveTypeFamily newFamily)

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

codec, equals, everywhere, 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

Field Detail

first

protected final Type<F> first

second

protected final Type<G> second

Constructor Detail

SumType

public SumType(Type<F> first,
               Type<G> second)

Method Detail

all

public RewriteResult<(F|G),?> 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<(F|G)>

mergeViews

public <F2,G2> RewriteResult<(F|G),?> mergeViews(RewriteResult<F,F2> leftView,
                                                 RewriteResult<G,G2> rightView)

one

public Optional<RewriteResult<(F|G),?>> one(TypeRewriteRule rule)

Description copied from class: Type

run rule on exactly one child

Overrides:

one in class Type<(F|G)>

updateMu

public Type<?> updateMu(RecursiveTypeFamily newFamily)

Overrides:

updateMu in class Type<(F|G)>

buildTemplate

public TypeTemplate buildTemplate()

Specified by:

buildTemplate in class Type<(F|G)>

findChoiceType

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

Overrides:

findChoiceType in class Type<(F|G)>

findCheckedType

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

Overrides:

findCheckedType in class Type<(F|G)>

buildCodec

protected Codec<(F|G)> buildCodec()

Specified by:

buildCodec in class Type<(F|G)>

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<(F|G)>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

findFieldTypeOpt

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

Overrides:

findFieldTypeOpt in class Type<(F|G)>

point

public Optional<(F|G)> point(DynamicOps<?> ops)

Description copied from class: Type

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

Overrides:

point in class Type<(F|G)>

findTypeInChildren

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

Overrides:

findTypeInChildren in class Type<(F|G)>