com.mojang.datafixers.types.templates

Class Const

java.lang.Object

com.mojang.datafixers.types.templates.Const

All Implemented Interfaces:

TypeTemplate

public final class Const
extends Object
implements TypeTemplate

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Const.PrimitiveType<A>

Constructor Summary

Constructors

Constructor and Description
Const(Type<?> type)

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)
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	size()
String	toString()
Type<?>	type()

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

Const

public Const(Type<?> type)

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

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

type

public Type<?> type()