Package com.mojang.datafixers.types.templates

Class Check.CheckType<A>

java.lang.Object

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

com.mojang.datafixers.types.templates.Check.CheckType<A>

All Implemented Interfaces:

App<Type.Mu,A>

Enclosing class:

Check

public static final class Check.CheckType<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	Description
CheckType(String name, int index, int expectedIndex, Type<A> delegate)

Method Summary

Modifier and Type	Method	Description
RewriteResult<A,?>	all(TypeRewriteRule rule, boolean recurse, boolean checkIndex)
protected Codec<A>	buildCodec()
TypeTemplate	buildTemplate()
boolean	equals(Object obj, boolean ignoreRecursionPoints, boolean checkIndex)
Optional<RewriteResult<A,?>>	everywhere(TypeRewriteRule rule, PointFreeRule optimizationRule, boolean recurse, boolean checkIndex)
Optional<Type<?>>	findCheckedType(int index)
Optional<TaggedChoice.TaggedChoiceType<?>>	findChoiceType(String name, int index)
Optional<Type<?>>	findFieldTypeOpt(String name)
<FT, FR> Either<TypedOptic<A,?,FT,FR>,Type.FieldNotFoundException>	findTypeInChildren(Type<FT> type, Type<FR> resultType, Type.TypeMatcher<FT,FR> matcher, boolean recurse)
static <A, B> RewriteResult<A,?>	fix(Check.CheckType<A> type, RewriteResult<A,B> instance)
int	hashCode()
Optional<RewriteResult<A,?>>	one(TypeRewriteRule rule)
Optional<A>	point(DynamicOps<?> ops)
String	toString()
Type<?>	updateMu(RecursiveTypeFamily newFamily)
protected static <A, B, FT, FR> TypedOptic<A,B,FT,FR>	wrapOptic(Check.CheckType<A> type, TypedOptic<A,B,FT,FR> optic)

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 Details

CheckType

public CheckType(String name,
 int index,
 int expectedIndex,
 Type<A> delegate)

Method Details

buildCodec

protected Codec<A> buildCodec()

Specified by:

buildCodec in class Type<A>

fix

public static <A,
B> RewriteResult<A,?> fix(Check.CheckType<A> type,
 RewriteResult<A,B> instance)

all

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

Overrides:

all in class Type<A>

everywhere

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

Overrides:

everywhere in class Type<A>

one

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

Overrides:

one 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)

Overrides:

point in class Type<A>

findTypeInChildren

public <FT,
FR>
Either<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>

wrapOptic

protected static <A,
B,
FT,
FR> TypedOptic<A,B,FT,FR> wrapOptic(Check.CheckType<A> type,
 TypedOptic<A,B,FT,FR> optic)

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