com.mojang.datafixers.types

public abstract class Type<A>

implements App<Type$Mu, A>

com.mojang.datafixers.types.Type

Field summary

Modifier and TypeField
private static final Map<org.apache.commons.lang3.tuple.Triple<Type<?>, TypeRewriteRule, PointFreeRule>, CompletableFuture<Optional<? extends RewriteResult<?, ?>>>>
PENDING_REWRITE_CACHE
private static final Map<org.apache.commons.lang3.tuple.Triple<Type<?>, TypeRewriteRule, PointFreeRule>, Optional<? extends RewriteResult<?, ?>>>
REWRITE_CACHE
private TypeTemplate
template
private Codec<A>
codec

Constructor summary

ModifierConstructor
public ()

Method summary

Modifier and TypeMethod
public static <A> Type<A>
unbox(App<Type$Mu, A> arg0)
public RewriteResult<A, ?>
rewriteOrNop(TypeRewriteRule arg0)
public static <S, T, A, B> RewriteResult<S, T>
opticView(Type<S> arg0, RewriteResult<A, B> arg1, TypedOptic<S, T, A, B> arg2)
public RewriteResult<A, ?>
all(TypeRewriteRule arg0, boolean arg1, boolean arg2)
public Optional<RewriteResult<A, ?>>
one(TypeRewriteRule arg0)
public Optional<RewriteResult<A, ?>>
everywhere(TypeRewriteRule arg0, PointFreeRule arg1, boolean arg2, boolean arg3)
public Type<?>
updateMu(RecursiveTypeFamily arg0)
public TypeTemplate
template()
public abstract TypeTemplate
buildTemplate()
public Optional<TaggedChoice$TaggedChoiceType<?>>
findChoiceType(String arg0, int arg1)
public Optional<Type<?>>
findCheckedType(int arg0)
public final <T> DataResult<Pair<A, Dynamic<T>>>
read(Dynamic<T> arg0)
public final Codec<A>
codec()
protected abstract Codec<A>
buildCodec()
public final <T> DataResult<T>
write(DynamicOps<T> arg0, A arg1)
public final <T> DataResult<Dynamic<T>>
writeDynamic(DynamicOps<T> arg0, A arg1)
public <T> DataResult<Pair<Typed<A>, T>>
readTyped(Dynamic<T> arg0)
public <T> DataResult<Pair<Typed<A>, T>>
readTyped(DynamicOps<T> arg0, T arg1)
public <T> DataResult<Pair<Optional<?>, T>>
read(DynamicOps<T> arg0, TypeRewriteRule arg1, PointFreeRule arg2, T arg3)
public <T> DataResult<T>
readAndWrite(DynamicOps<T> arg0, Type<?> arg1, TypeRewriteRule arg2, PointFreeRule arg3, T arg4)
private <T, B> DataResult<T>
capWrite(DynamicOps<T> arg0, Type<?> arg1, T arg2, A arg3, View<A, B> arg4)
public Optional<RewriteResult<A, ?>>
rewrite(TypeRewriteRule arg0, PointFreeRule arg1)
public <FT, FR> Type<?>
getSetType(OpticFinder<FT> arg0, Type<FR> arg1)
public Optional<Type<?>>
findFieldTypeOpt(String arg0)
public Type<?>
findFieldType(String arg0)
public OpticFinder<?>
findField(String arg0)
public Optional<A>
point(DynamicOps<?> arg0)
public Optional<Typed<A>>
pointTyped(DynamicOps<?> arg0)
public <FT, FR> Either<TypedOptic<A, ?, FT, FR>, Type$FieldNotFoundException>
findTypeCached(Type<FT> arg0, Type<FR> arg1, Type$TypeMatcher<FT, FR> arg2, boolean arg3)
public <FT, FR> Either<TypedOptic<A, ?, FT, FR>, Type$FieldNotFoundException>
findType(Type<FT> arg0, Type<FR> arg1, Type$TypeMatcher<FT, FR> arg2, boolean arg3)
public <FT, FR> Either<TypedOptic<A, ?, FT, FR>, Type$FieldNotFoundException>
findTypeInChildren(Type<FT> arg0, Type<FR> arg1, Type$TypeMatcher<FT, FR> arg2, boolean arg3)
public OpticFinder<A>
finder()
public <B> Optional<A>
ifSame(Typed<B> arg0)
public <B> Optional<A>
ifSame(Type<B> arg0, B arg1)
public <B> Optional<RewriteResult<A, ?>>
ifSame(Type<B> arg0, RewriteResult<B, ?> arg1)
public abstract boolean
equals(Object arg0, boolean arg1, boolean arg2)