public static final class PointFreeRule.One extends Object implements 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 and Description |
---|
One(PointFreeRule rule) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
int |
hashCode() |
<A> Optional<? extends PointFree<A>> |
rewrite(Type<A> type,
PointFree<A> expr) |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
all, everywhere, many, nop, once, one, orElse, orElseStrict, rewrite, rewriteOrNop, rewriteOrNop, seq, seq
public One(PointFreeRule rule)