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

Class Check.CheckType<A>

Nested Class Summary

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

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Constructor Details

CheckType

Method Details

buildCodec

fix

all

everywhere

one

updateMu

buildTemplate

findChoiceType

findCheckedType

findFieldTypeOpt

point

findTypeInChildren

wrapOptic

toString

equals

hashCode