Interface PointFreeRule
- All Known Subinterfaces:
PointFreeRule.CompRewrite
- All Known Implementing Classes:
PointFreeRule.All, PointFreeRule.AppNest, PointFreeRule.BangEta, PointFreeRule.CataFuseDifferent, PointFreeRule.CataFuseSame, PointFreeRule.Choice, PointFreeRule.Choice2, PointFreeRule.Everywhere, PointFreeRule.LensAppId, PointFreeRule.LensComp, PointFreeRule.Many, PointFreeRule.Nop, PointFreeRule.Once, PointFreeRule.One, PointFreeRule.Seq, PointFreeRule.SortInj, PointFreeRule.SortProj
public interface PointFreeRule
-
Nested Class Summary
Nested ClassesModifier and TypeInterfaceDescriptionstatic final recordstatic enumstatic enumstatic enumstatic enumstatic final recordstatic final recordstatic interfacestatic final recordstatic enumstatic enumstatic final recordstatic enumstatic final recordstatic final recordstatic final recordstatic enumstatic enum -
Method Summary
Modifier and TypeMethodDescriptionstatic PointFreeRuleall(PointFreeRule rule) static PointFreeRulechoice(PointFreeRule... rules) static PointFreeRuleeverywhere(PointFreeRule topDown, PointFreeRule bottomUp) static PointFreeRulemany(PointFreeRule rule) static PointFreeRulenop()static PointFreeRuleonce(PointFreeRule rule) static PointFreeRuleone(PointFreeRule rule) default <A> PointFree<A> rewriteOrNop(PointFree<A> expr) static PointFreeRuleseq(PointFreeRule... rules)
-
Method Details
-
rewrite
-
rewriteOrNop
-
nop
-
seq
-
choice
-
all
-
one
-
once
-
many
-
everywhere
-