public static final class PointFreeRule.OrElse 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
Modifier and Type | Field and Description |
---|---|
protected PointFreeRule |
first |
protected by-name PointFreeRule |
second |
Constructor and Description |
---|
OrElse(PointFreeRule first,
by-name PointFreeRule second) |
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
protected final PointFreeRule first
protected final by-name PointFreeRule second
public OrElse(PointFreeRule first, by-name PointFreeRule second)