PointFreeRule.CompRewrite (NeoForge 26.1)

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 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

private static void

addFirst(Deque<PointFree<? extends Function<?,?>>> queue, PointFree<? extends Function<?,?>> function)

Optional<? extends PointFree<? extends Function<?,?>>>

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

private Optional<PointFree<? extends Function<?,?>>[]>

rewrite(PointFree<? extends Function<?,?>>[] functions)

default <A> Optional<? extends PointFree<A>>

rewrite(PointFree<A> expr)

static PointFreeRule.CompRewrite

together(PointFreeRule.CompRewrite... rules)

Methods inherited from interface 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
- rewrite
  
  private Optional<PointFree<? extends Function<?,?>>[]> rewrite(PointFree<? extends Function<?,?>>[] functions)
- addFirst
  
  private static void addFirst(Deque<PointFree<? extends Function<?,?>>> queue, PointFree<? extends Function<?,?>> function)
- doRewrite
  
  Optional<? extends PointFree<? extends Function<?,?>>> doRewrite(PointFree<? extends Function<?,?>> first, PointFree<? extends Function<?,?>> second)