TypeRewriteRule (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

All Known Implementing Classes:: TypeRewriteRule.All, TypeRewriteRule.CheckOnce, TypeRewriteRule.Everywhere, TypeRewriteRule.IfSame, TypeRewriteRule.Nop, TypeRewriteRule.One, TypeRewriteRule.OrElse, TypeRewriteRule.Seq

public interface TypeRewriteRule

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static class

TypeRewriteRule.All

static final record

TypeRewriteRule.CheckOnce

static class

TypeRewriteRule.Everywhere

static class

TypeRewriteRule.IfSame<B>

static enum

TypeRewriteRule.Nop

static final record

TypeRewriteRule.One

static final class

TypeRewriteRule.OrElse

static final class

TypeRewriteRule.Seq
Method Summary

Modifier and Type

Method

Description

static TypeRewriteRule

all(TypeRewriteRule rule, boolean recurse, boolean checkIndex)

static TypeRewriteRule

checkOnce(TypeRewriteRule rule, Consumer<Type<?>> onFail)

static TypeRewriteRule

everywhere(TypeRewriteRule rule, PointFreeRule optimizationRule, boolean recurse, boolean checkIndex)

static <B> TypeRewriteRule

ifSame(Type<B> targetType, RewriteResult<B,?> value)

static TypeRewriteRule

nop()

static TypeRewriteRule

once(TypeRewriteRule rule)

static TypeRewriteRule

one(TypeRewriteRule rule)

static TypeRewriteRule

orElse(TypeRewriteRule first, TypeRewriteRule second)

static TypeRewriteRule

orElse(TypeRewriteRule first, Supplier<TypeRewriteRule> second)

<A> Optional<RewriteResult<A,?>>

rewrite(Type<A> type)

static TypeRewriteRule

seq(TypeRewriteRule first, TypeRewriteRule second)

static TypeRewriteRule

seq(TypeRewriteRule firstRule, TypeRewriteRule... rules)

static TypeRewriteRule

seq(List<TypeRewriteRule> rules)

Method Details
- rewrite
  
  <A> Optional<RewriteResult<A,?>> rewrite(Type<A> type)
- nop
  
  static TypeRewriteRule nop()
- seq
  
  static TypeRewriteRule seq(List<TypeRewriteRule> rules)
- seq
  
  static TypeRewriteRule seq(TypeRewriteRule first, TypeRewriteRule second)
- seq
  
  static TypeRewriteRule seq(TypeRewriteRule firstRule, TypeRewriteRule... rules)
- orElse
  
  static TypeRewriteRule orElse(TypeRewriteRule first, TypeRewriteRule second)
- orElse
  
  static TypeRewriteRule orElse(TypeRewriteRule first, Supplier<TypeRewriteRule> second)
- all
  
  static TypeRewriteRule all(TypeRewriteRule rule, boolean recurse, boolean checkIndex)
- one
  
  static TypeRewriteRule one(TypeRewriteRule rule)
- once
  
  static TypeRewriteRule once(TypeRewriteRule rule)
- checkOnce
  
  static TypeRewriteRule checkOnce(TypeRewriteRule rule, Consumer<Type<?>> onFail)
- everywhere
  
  static TypeRewriteRule everywhere(TypeRewriteRule rule, PointFreeRule optimizationRule, boolean recurse, boolean checkIndex)
- ifSame
  
  static <B> TypeRewriteRule ifSame(Type<B> targetType, RewriteResult<B,?> value)