Class Fold<A,B>
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final Algebraprotected final RecursivePoint.RecursivePointType<A> protected final RecursivePoint.RecursivePointType<B> private static final Map<Pair<IntFunction<RewriteResult<?, ?>>, Integer>, RewriteResult<?, ?>> private static final Map<Fold.HmapCacheKey, IntFunction<RewriteResult<?, ?>>> protected final int -
Constructor Summary
ConstructorsConstructorDescriptionFold(RecursivePoint.RecursivePointType<A> aType, RecursivePoint.RecursivePointType<B> bType, Algebra algebra, int index) -
Method Summary
Modifier and TypeMethodDescriptionall(PointFreeRule rule) cap(RewriteResult<?, FB> resResult) private static <A,B> RewriteResult <A, B> cap(RewriteResult<A, B> view, PointFree<? extends Function<?, ?>> rewrite) booleanFunction<DynamicOps<?>, Function<A, B>> eval()inthashCode()toString(int level) type()Methods inherited from class PointFree
evalCached, indent, one, toString
-
Field Details
-
HMAP_CACHE
-
HMAP_APPLY_CACHE
private static final Map<Pair<IntFunction<RewriteResult<?,?>>, Integer>, RewriteResult<?, HMAP_APPLY_CACHE?>> -
aType
-
bType
-
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
-
all
-
cap
private static <A,B> RewriteResult<A,B> cap(RewriteResult<A, B> view, PointFree<? extends Function<?, ?>> rewrite) -
cap
-
eval
-
toString
-
equals
-
hashCode
-