Package com.mojang.datafixers.functions

Interface PointFreeRule.CompRewrite

All Superinterfaces:

PointFreeRule

All Known Implementing Classes:

PointFreeRule.CataFuseDifferent, PointFreeRule.CataFuseSame, PointFreeRule.LensComp, PointFreeRule.SortInj, PointFreeRule.SortProj

Enclosing interface:

PointFreeRule

public static interface PointFreeRule.CompRewrite
extends 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.Choice, PointFreeRule.Choice2, PointFreeRule.CompRewrite, PointFreeRule.Everywhere, PointFreeRule.LensAppId, PointFreeRule.LensComp, PointFreeRule.Many, PointFreeRule.Nop, PointFreeRule.Once, PointFreeRule.One, PointFreeRule.Seq, PointFreeRule.SortInj, PointFreeRule.SortProj

Method Summary

Modifier and Type	Method	Description
Optional<? extends PointFree<? extends Function<?,?>>>	doRewrite(PointFree<? extends Function<?,?>> first, PointFree<? extends Function<?,?>> second)
default <A> Optional<? extends PointFree<A>>	rewrite(PointFree<A> expr)
static PointFreeRule.CompRewrite	together(PointFreeRule.CompRewrite... rules)

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

rewriteOrNop

Method Details

together

static PointFreeRule.CompRewrite together(PointFreeRule.CompRewrite... rules)

rewrite

default <A> Optional<? extends PointFree<A>> rewrite(PointFree<A> expr)

Specified by:

rewrite in interface PointFreeRule

doRewrite

Optional<? extends PointFree<? extends Function<?,?>>> doRewrite(PointFree<? extends Function<?,?>> first,
 PointFree<? extends Function<?,?>> second)