public static enum PointFreeRule.Nop extends Enum<PointFreeRule.Nop> implements PointFreeRule, by-name 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
Enum Constant and Description |
---|
INSTANCE |
Modifier and Type | Method and Description |
---|---|
PointFreeRule |
get() |
<A> Optional<PointFree<A>> |
rewrite(Type<A> type,
PointFree<A> expr) |
static PointFreeRule.Nop |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PointFreeRule.Nop[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
all, everywhere, many, nop, once, one, orElse, orElseStrict, rewrite, rewriteOrNop, rewriteOrNop, seq, seq
public static final PointFreeRule.Nop INSTANCE
public static PointFreeRule.Nop[] values()
for (PointFreeRule.Nop c : PointFreeRule.Nop.values()) System.out.println(c);
public static PointFreeRule.Nop valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic <A> Optional<PointFree<A>> rewrite(Type<A> type, PointFree<A> expr)
rewrite
in interface PointFreeRule
public PointFreeRule get()
get
in interface by-name PointFreeRule