public static enum PointFreeRule.LensCompFunc extends Enum<PointFreeRule.LensCompFunc> 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
Enum Constant and Description |
---|
INSTANCE |
Modifier and Type | Method and Description |
---|---|
<A> Optional<? extends PointFree<A>> |
rewrite(Type<A> type,
PointFree<A> expr) |
static PointFreeRule.LensCompFunc |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PointFreeRule.LensCompFunc[] |
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.LensCompFunc INSTANCE
public static PointFreeRule.LensCompFunc[] values()
for (PointFreeRule.LensCompFunc c : PointFreeRule.LensCompFunc.values()) System.out.println(c);
public static PointFreeRule.LensCompFunc 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 null