PointFreeRule.CompRewrite (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

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)