java.lang.Object

com.mojang.datafixers.functions.PointFree<Function<A,B>>

com.mojang.datafixers.functions.Fold<A,B>

final class Fold<A,B> extends PointFree<Function<A,B>>

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

private static final record

Fold.HmapCacheKey
Field Summary

Fields

Modifier and Type

Field

Description

protected final Algebra

algebra

protected final RecursivePoint.RecursivePointType<A>

aType

protected final RecursivePoint.RecursivePointType<B>

bType

private static final Map<Pair<IntFunction<RewriteResult<?,?>>, Integer>, RewriteResult<?,?>>

HMAP_APPLY_CACHE

private static final Map<Fold.HmapCacheKey, IntFunction<RewriteResult<?,?>>>

HMAP_CACHE

protected final int

index
Constructor Summary

Constructors

Constructor

Description

Fold(RecursivePoint.RecursivePointType<A> aType, RecursivePoint.RecursivePointType<B> bType, Algebra algebra, int index)
Method Summary

Modifier and Type

Method

Description

(package private) Optional<? extends PointFree<Function<A,B>>>

all(PointFreeRule rule)

private <FB> PointFree<Function<A,B>>

cap(RewriteResult<?,FB> resResult)

private static <A,B> RewriteResult<A,B>

cap(RewriteResult<A,B> view, PointFree<? extends Function<?,?>> rewrite)

boolean

equals(Object o)

Function<DynamicOps<?>, Function<A,B>>

eval()

int

hashCode()

String

toString(int level)

Type<Function<A,B>>

type()

Methods inherited from class PointFree
evalCached, indent, one, toString

Methods inherited from class Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details
- HMAP_CACHE
  
  private static final Map<Fold.HmapCacheKey, IntFunction<RewriteResult<?,?>>> HMAP_CACHE
- HMAP_APPLY_CACHE
  
  private static final Map<Pair<IntFunction<RewriteResult<?,?>>, Integer>, RewriteResult<?,?>> HMAP_APPLY_CACHE
- aType
  
  protected final RecursivePoint.RecursivePointType<A> aType
- bType
  
  protected final RecursivePoint.RecursivePointType<B> bType
- algebra
  
  protected final Algebra algebra
- index
  
  protected final int index
Constructor Details
- Fold
  
  public Fold(RecursivePoint.RecursivePointType<A> aType, RecursivePoint.RecursivePointType<B> bType, Algebra algebra, int index)
Method Details
- type
  
  public Type<Function<A,B>> type()
  
  Specified by:
  
  type in class PointFree<Function<A,B>>
- all
  
  Optional<? extends PointFree<Function<A,B>>> all(PointFreeRule rule)
  
  Overrides:
  
  all in class PointFree<Function<A,B>>
- cap
  
  private static <A,B> RewriteResult<A,B> cap(RewriteResult<A,B> view, PointFree<? extends Function<?,?>> rewrite)
- cap
  
  private <FB> PointFree<Function<A,B>> cap(RewriteResult<?,FB> resResult)
- eval
  
  public Function<DynamicOps<?>, Function<A,B>> eval()
  
  Specified by:
  
  eval in class PointFree<Function<A,B>>
- toString
  
  public String toString(int level)
  
  Specified by:
  
  toString in class PointFree<Function<A,B>>
- equals
  
  public boolean equals(Object o)
  
  Overrides:
  
  equals in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object

Class Fold<A,B>

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class PointFree

Methods inherited from class Object

Field Details

HMAP_CACHE

HMAP_APPLY_CACHE

aType

bType

algebra

index

Constructor Details

Fold

Method Details

type

all

cap

cap

eval

toString

equals

hashCode