Class Type<A>

Method Details

• unbox

  public static <A> Type<A> unbox(App<Type.Mu,A> box)

• rewriteOrNop

  public RewriteResult<A,?> rewriteOrNop(TypeRewriteRule rule)

• opticView

  public static <S, T, A, B> RewriteResult<S,T> opticView(Type<S> type, RewriteResult<A,B> view, TypedOptic<S,T,A,B> optic)

• all

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

  Mojang-Added Docs:

  gmapT
  run rule on all direct children and combine results

• one

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

  Mojang-Added Docs:

  run rule on exactly one child

• everywhere

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

• updateMu

  public Type<?> updateMu(RecursiveTypeFamily newFamily)

• template

  public TypeTemplate template()

• buildTemplate

  public abstract TypeTemplate buildTemplate()

• findChoiceType

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

• findCheckedType

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

• read

  public final <T> DataResult<Pair<A,Dynamic<T>>> read(Dynamic<T> input)

• codec

  public final Codec<A> codec()

• buildCodec

  protected abstract Codec<A> buildCodec()

• write

  public final <T> DataResult<T> write(DynamicOps<T> ops, A value)

• writeDynamic

  public final <T> DataResult<Dynamic<T>> writeDynamic(DynamicOps<T> ops, A value)

• readTyped

  public <T> DataResult<Pair<Typed<A>,T>> readTyped(Dynamic<T> input)

• readTyped

  public <T> DataResult<Pair<Typed<A>,T>> readTyped(DynamicOps<T> ops, T input)

• read

  public <T> DataResult<Pair<Optional<?>,T>> read(DynamicOps<T> ops, TypeRewriteRule rule, PointFreeRule fRule, T input)

• readAndWrite

  public <T> DataResult<T> readAndWrite(DynamicOps<T> ops, Type<?> expectedType, TypeRewriteRule rule, PointFreeRule fRule, T input)

• rewrite

  public Optional<RewriteResult<A,?>> rewrite(TypeRewriteRule rule, PointFreeRule fRule)

• getSetType

  public <FT, FR> Type<?> getSetType(OpticFinder<FT> optic, Type<FR> newType)

• findFieldTypeOpt

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

• findFieldType

  public Type<?> findFieldType(String name)

• findField

  public OpticFinder<?> findField(String name)

• point

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

  Mojang-Added Docs:

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

• pointTyped

  public Optional<Typed<A>> pointTyped(DynamicOps<?> ops)

• findTypeCached

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

• findType

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

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

• finder

  public OpticFinder<A> finder()

• ifSame

  public <B> Optional<A> ifSame(Typed<B> value)

• ifSame

  public <B> Optional<A> ifSame(Type<B> type, B value)

• ifSame

  public <B> Optional<RewriteResult<A,?>> ifSame(Type<B> type, RewriteResult<B,?> value)

• equals

  public final boolean equals(Object o)

  Overrides:

  equals in class Object

• equals

  public abstract boolean equals(Object o, boolean ignoreRecursionPoints, boolean checkIndex)