com.mojang.datafixers.functions

Class PointFreeRule.Many

java.lang.Object

com.mojang.datafixers.functions.PointFreeRule.Many

All Implemented Interfaces:

PointFreeRule

Enclosing interface:

PointFreeRule

public static final class PointFreeRule.Many
extends Object
implements PointFreeRule

Nested Class Summary

Nested classes/interfaces inherited from interface com.mojang.datafixers.functions.PointFreeRule

PointFreeRule.All, PointFreeRule.AppNest, PointFreeRule.BangEta, PointFreeRule.CataFuseDifferent, PointFreeRule.CataFuseSame, PointFreeRule.CompAssocLeft, PointFreeRule.CompAssocRight, PointFreeRule.CompRewrite, PointFreeRule.LensAppId, PointFreeRule.LensComp, PointFreeRule.LensCompFunc, PointFreeRule.Many, PointFreeRule.Nop, PointFreeRule.One, PointFreeRule.OrElse, PointFreeRule.Seq, PointFreeRule.SortInj, PointFreeRule.SortProj

Constructor Summary

Constructors

Constructor and Description
Many(PointFreeRule rule)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
<A> Optional<? extends PointFree<A>>	rewrite(Type<A> type, PointFree<A> expr)

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.mojang.datafixers.functions.PointFreeRule

all, everywhere, many, nop, once, one, orElse, orElseStrict, rewrite, rewriteOrNop, rewriteOrNop, seq, seq

Constructor Detail

Many

public Many(PointFreeRule rule)

Method Detail

rewrite

public <A> Optional<? extends PointFree<A>> rewrite(Type<A> type,
                                                    PointFree<A> expr)

Specified by:

rewrite in interface PointFreeRule

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object