com.mojang.datafixers.types.templates

Class RecursivePoint

java.lang.Object

com.mojang.datafixers.types.templates.RecursivePoint

All Implemented Interfaces:

TypeTemplate

public final class RecursivePoint
extends Object
implements TypeTemplate

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	RecursivePoint.RecursivePointType<A>

Constructor Summary

Constructors

Constructor and Description
RecursivePoint(int index)

Method Summary

Modifier and Type	Method and Description
TypeFamily	apply(TypeFamily family)
<A,B> FamilyOptic<A,B>	applyO(FamilyOptic<A,B> input, Type<A> aType, Type<B> bType)
<S,T> RewriteResult<S,T>	cap(TypeFamily family, RewriteResult<S,T> result)
boolean	equals(Object obj)
<FT,FR> (TypeTemplate|Type.FieldNotFoundException)	findFieldOrType(int index, String name, Type<FT> type, Type<FR> resultType) returned optic will accept template<family<index>> with the input template, and will return the same with the returned template.
int	hashCode()
(int) -> RewriteResult<?,?>	hmap(TypeFamily family, (int) -> RewriteResult<?,?> function) constraint: family, argFamily and resFamily are matched.
int	index()
int	size()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.mojang.datafixers.types.templates.TypeTemplate

toSimpleType

Constructor Detail

RecursivePoint

public RecursivePoint(int index)

Method Detail

size

public int size()

Specified by:

size in interface TypeTemplate

apply

public TypeFamily apply(TypeFamily family)

Specified by:

apply in interface TypeTemplate

applyO

public <A,B> FamilyOptic<A,B> applyO(FamilyOptic<A,B> input,
                                     Type<A> aType,
                                     Type<B> bType)

Specified by:

applyO in interface TypeTemplate

findFieldOrType

public <FT,FR> (TypeTemplate|Type.FieldNotFoundException) findFieldOrType(int index,
                                                                          @Nullable
                                                                          String name,
                                                                          Type<FT> type,
                                                                          Type<FR> resultType)

Description copied from interface: TypeTemplate

returned optic will accept template<family<index>> with the input template, and will return the same with the returned template.

(template, optic) = Left(result)

this.apply(family).apply(index) == optic.sType

template.apply(family).apply(index) == optic.tType

Specified by:

findFieldOrType in interface TypeTemplate

hmap

public (int) -> RewriteResult<?,?> hmap(TypeFamily family,
                                        (int) -> RewriteResult<?,?> function)

Description copied from interface: TypeTemplate

constraint: family, argFamily and resFamily are matched.

result.function(i) :: this.apply(function.argFamily()).apply(i) -> this.apply(function.resFamily()).apply(i)

Specified by:

hmap in interface TypeTemplate

cap

public <S,T> RewriteResult<S,T> cap(TypeFamily family,
                                    RewriteResult<S,T> result)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

index

public int index()