public static enum PointFreeRule.LensComp extends Enum<PointFreeRule.LensComp> implements PointFreeRule.CompRewrite
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<?>> |
doRewrite(Type<A> type,
Type<?> middleType,
PointFree<? extends (?) -> ?> first,
PointFree<? extends (?) -> ?> second) |
static PointFreeRule.LensComp |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PointFreeRule.LensComp[] |
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
buildLeft, buildLeftNested, buildRight, buildRightNested, rewrite
all, everywhere, many, nop, once, one, orElse, orElseStrict, rewrite, rewriteOrNop, rewriteOrNop, seq, seq
public static final PointFreeRule.LensComp INSTANCE
public static PointFreeRule.LensComp[] values()
for (PointFreeRule.LensComp c : PointFreeRule.LensComp.values()) System.out.println(c);
public static PointFreeRule.LensComp 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