Package com.mojang.datafixers.functions

Interface PointFreeRule

All Known Subinterfaces:

PointFreeRule.CompRewrite

All Known Implementing Classes:

PointFreeRule.All, PointFreeRule.AppNest, PointFreeRule.BangEta, PointFreeRule.CataFuseDifferent, PointFreeRule.CataFuseSame, PointFreeRule.Choice, PointFreeRule.Choice2, PointFreeRule.Everywhere, PointFreeRule.LensAppId, PointFreeRule.LensComp, PointFreeRule.Many, PointFreeRule.Nop, PointFreeRule.Once, PointFreeRule.One, PointFreeRule.Seq, PointFreeRule.SortInj, PointFreeRule.SortProj

public interface PointFreeRule

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	PointFreeRule.All
static enum	PointFreeRule.AppNest
static enum	PointFreeRule.BangEta
static enum	PointFreeRule.CataFuseDifferent
static enum	PointFreeRule.CataFuseSame
static final record	PointFreeRule.Choice
static final record	PointFreeRule.Choice2
static interface	PointFreeRule.CompRewrite
static final record	PointFreeRule.Everywhere
static enum	PointFreeRule.LensAppId
static enum	PointFreeRule.LensComp
static final record	PointFreeRule.Many
static enum	PointFreeRule.Nop
static final record	PointFreeRule.Once
static final record	PointFreeRule.One
static final record	PointFreeRule.Seq
static enum	PointFreeRule.SortInj
static enum	PointFreeRule.SortProj

Method Summary

Modifier and Type	Method	Description
static PointFreeRule	all(PointFreeRule rule)
static PointFreeRule	choice(PointFreeRule... rules)
static PointFreeRule	everywhere(PointFreeRule topDown, PointFreeRule bottomUp)
static PointFreeRule	many(PointFreeRule rule)
static PointFreeRule	nop()
static PointFreeRule	once(PointFreeRule rule)
static PointFreeRule	one(PointFreeRule rule)
<A> Optional<? extends PointFree<A>>	rewrite(PointFree<A> expr)
default <A> PointFree<A>	rewriteOrNop(PointFree<A> expr)
static PointFreeRule	seq(PointFreeRule... rules)

Method Details

rewrite

<A> Optional<? extends PointFree<A>> rewrite(PointFree<A> expr)

rewriteOrNop

default <A> PointFree<A> rewriteOrNop(PointFree<A> expr)

nop

static PointFreeRule nop()

seq

static PointFreeRule seq(PointFreeRule... rules)

choice

static PointFreeRule choice(PointFreeRule... rules)

all

static PointFreeRule all(PointFreeRule rule)

one

static PointFreeRule one(PointFreeRule rule)

once

static PointFreeRule once(PointFreeRule rule)

many

static PointFreeRule many(PointFreeRule rule)

everywhere

static PointFreeRule everywhere(PointFreeRule topDown,
 PointFreeRule bottomUp)