com.mojang.datafixers.types.templates

public final class Sum$SumType<F, G>

extends Type<Either<F, G>>

All mapped superinterfaces:

App

com.mojang.datafixers.types.templates.Sum$SumType

Field summary

Modifier and TypeField
protected final Type<F>
first
protected final Type<G>
second
private int
hashCode

Constructor summary

ModifierConstructor
public (Type<F> arg0, Type<G> arg1)

Method summary

Modifier and TypeMethod
public RewriteResult<Either<F, G>, ?>
all(TypeRewriteRule arg0, boolean arg1, boolean arg2)
public <F2, G2> RewriteResult<Either<F, G>, ?>
mergeViews(RewriteResult<F, F2> arg0, RewriteResult<G, G2> arg1)
public Optional<RewriteResult<Either<F, G>, ?>>
one(TypeRewriteRule arg0)
private static <F, G, F2> RewriteResult<Either<F, G>, Either<F2, G>>
fixLeft(Type<Either<F, G>> arg0, Type<F> arg1, Type<G> arg2, RewriteResult<F, F2> arg3)
private static <F, G, G2> RewriteResult<Either<F, G>, Either<F, G2>>
fixRight(Type<Either<F, G>> arg0, Type<F> arg1, Type<G> arg2, RewriteResult<G, G2> arg3)
public Type<?>
updateMu(RecursiveTypeFamily arg0)
public TypeTemplate
buildTemplate()
public Optional<TaggedChoice$TaggedChoiceType<?>>
findChoiceType(String arg0, int arg1)
public Optional<Type<?>>
findCheckedType(int arg0)
protected Codec<Either<F, G>>
buildCodec()
public boolean
equals(Object arg0, boolean arg1, boolean arg2)
public Optional<Type<?>>
findFieldTypeOpt(String arg0)
public Optional<Either<F, G>>
point(DynamicOps<?> arg0)
private static <A, B, LS, RS, LT, RT> TypedOptic<Either<LS, RS>, Either<LT, RT>, A, B>
mergeOptics(TypedOptic<LS, LT, A, B> arg0, TypedOptic<RS, RT, A, B> arg1)
public <FT, FR> Either<TypedOptic<Either<F, G>, ?, FT, FR>, Type$FieldNotFoundException>
findTypeInChildren(Type<FT> arg0, Type<FR> arg1, Type$TypeMatcher<FT, FR> arg2, boolean arg3)
private <FT, FR, F2> TypedOptic<Either<F, G>, ?, FT, FR>
capLeft(TypedOptic<F, F2, FT, FR> arg0)
private <FT, FR, G2> TypedOptic<Either<F, G>, ?, FT, FR>
capRight(TypedOptic<G, G2, FT, FR> arg0)