public static class TypeRewriteRule.Everywhere extends Object implements TypeRewriteRule
TypeRewriteRule.All, TypeRewriteRule.CheckOnce, TypeRewriteRule.Everywhere, TypeRewriteRule.IfSame<B>, TypeRewriteRule.Nop, TypeRewriteRule.One, TypeRewriteRule.OrElse, TypeRewriteRule.Seq
Modifier and Type | Field and Description |
---|---|
protected PointFreeRule |
optimizationRule |
protected boolean |
recurse |
protected TypeRewriteRule |
rule |
Constructor and Description |
---|
Everywhere(TypeRewriteRule rule,
PointFreeRule optimizationRule,
boolean recurse,
boolean checkIndex) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
int |
hashCode() |
<A> Optional<RewriteResult<A,?>> |
rewrite(Type<A> type) |
protected final TypeRewriteRule rule
protected final PointFreeRule optimizationRule
protected final boolean recurse
public Everywhere(TypeRewriteRule rule, PointFreeRule optimizationRule, boolean recurse, boolean checkIndex)
public <A> Optional<RewriteResult<A,?>> rewrite(Type<A> type)
rewrite
in interface TypeRewriteRule