com.mojang.datafixers.types.families

public final class RecursiveTypeFamily

implements TypeFamily

com.mojang.datafixers.types.families.RecursiveTypeFamily

Field summary

Modifier and TypeField
private final String
name
private final TypeTemplate
template
private final int
size
private final it.unimi.dsi.fastutil.ints.Int2ObjectMap<RecursivePoint$RecursivePointType<?>>
types
private final int
hashCode

Constructor summary

ModifierConstructor
public (String arg0, TypeTemplate arg1)

Method summary

Modifier and TypeMethod
public static <A, B> View<A, B>
viewUnchecked(Type<?> arg0, Type<?> arg1, PointFree<Function<A, B>> arg2)
public <A> RecursivePoint$RecursivePointType<A>
buildMuType(Type<A> arg0, RecursiveTypeFamily arg1)
public String
name()
public TypeTemplate
template()
public int
size()
public IntFunction<RewriteResult<?, ?>>
fold(Algebra arg0)
public RecursivePoint$RecursivePointType<?>
apply(int arg0)
public <A, B> Either<TypedOptic<?, ?, A, B>, Type$FieldNotFoundException>
findType(int arg0, Type<A> arg1, Type<B> arg2, Type$TypeMatcher<A, B> arg3, boolean arg4)
private <S, T, A, B> TypedOptic<S, T, A, B>
mkOptic(Type<S> arg0, Type<T> arg1, Type<A> arg2, Type<B> arg3, OpticParts<A, B> arg4)
private <S, T, A, B> Either<TypedOptic<?, ?, A, B>, Type$FieldNotFoundException>
mkSimpleOptic(RecursivePoint$RecursivePointType<S> arg0, RecursivePoint$RecursivePointType<T> arg1, Type<A> arg2, Type<B> arg3, Type$TypeMatcher<A, B> arg4)
public Optional<RewriteResult<?, ?>>
everywhere(int arg0, TypeRewriteRule arg1, PointFreeRule arg2)
private <A, B> boolean
cap2(List<RewriteResult<?, ?>> arg0, RecursivePoint$RecursivePointType<A> arg1, TypeRewriteRule arg2, PointFreeRule arg3, boolean arg4, RewriteResult<?, ?> arg5, RecursivePoint$RecursivePointType<B> arg6)