org.dhallj.core.normalization

Class BetaNormalize

java.lang.Object

org.dhallj.core.Visitor.NoPrepareEvents<Expr>

org.dhallj.core.normalization.BetaNormalize

All Implemented Interfaces:

Visitor<Expr>

public final class BetaNormalize
extends Visitor.NoPrepareEvents<Expr>

Performs beta normalization.

This is a stateless visitor intended for use as a singleton.

Nested Class Summary

Nested classes/interfaces inherited from interface org.dhallj.core.Visitor

Visitor.Constant<A>, Visitor.Identity, Visitor.NoPrepareEvents<A>, Visitor.Property

Field Summary

Fields

Modifier and Type	Field and Description
static Visitor<Expr>	instance

Constructor Summary

Constructors

Constructor and Description
BetaNormalize()

Method Summary

Modifier and Type	Method and Description
void	bind(java.lang.String name, Expr type)
Expr	onAnnotated(Expr base, Expr type)
Expr	onApplication(Expr base, java.util.List<Expr> args)
Expr	onAssert(Expr type)
Expr	onBuiltIn(Expr self, java.lang.String name)
Expr	onClasspathImport(java.nio.file.Path path, Expr.ImportMode mode, byte[] hash)
Expr	onDouble(Expr self, double value)
Expr	onEmptyList(Expr type)
Expr	onEnvImport(java.lang.String value, Expr.ImportMode mode, byte[] hash)
Expr	onFieldAccess(Expr base, java.lang.String fieldName)
Expr	onIdentifier(Expr self, java.lang.String name, long index)
Expr	onIf(Expr predicate, Expr thenValue, Expr elseValue)
Expr	onInteger(Expr self, java.math.BigInteger value)
Expr	onLambda(java.lang.String name, Expr type, Expr result)
Expr	onLet(java.util.List<Expr.LetBinding<Expr>> bindings, Expr body)
Expr	onLocalImport(java.nio.file.Path path, Expr.ImportMode mode, byte[] hash)
Expr	onMerge(Expr handlers, Expr union, Expr type)
Expr	onMissingImport(Expr.ImportMode mode, byte[] hash)
Expr	onNatural(Expr self, java.math.BigInteger value)
Expr	onNonEmptyList(java.util.List<Expr> values)
Expr	onNote(Expr base, Source source)
Expr	onOperatorApplication(Operator operator, Expr lhs, Expr rhs)
Expr	onPi(java.lang.String name, Expr type, Expr result)
Expr	onProjection(Expr base, java.lang.String[] fieldNames)
Expr	onProjectionByType(Expr base, Expr arg)
Expr	onRecord(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)
Expr	onRecordType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)
Expr	onRemoteImport(java.net.URI url, Expr using, Expr.ImportMode mode, byte[] hash)
Expr	onText(java.lang.String[] parts, java.util.List<Expr> interpolated)
Expr	onToMap(Expr base, Expr type)
Expr	onUnionType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)
Expr	onWith(Expr base, java.lang.String[] path, Expr value)

Methods inherited from class org.dhallj.core.Visitor.NoPrepareEvents

flattenToMapLists, prepareAnnotated, prepareApplication, prepareAssert, prepareEmptyList, prepareFieldAccess, prepareIf, prepareLambda, prepareLet, prepareLetBinding, prepareMerge, prepareNonEmptyList, prepareNonEmptyListElement, prepareOperatorApplication, preparePi, prepareProjection, prepareProjectionByType, prepareProjectionByType, prepareRecord, prepareRecordField, prepareRecordType, prepareRecordTypeField, prepareRemoteImport, prepareText, prepareTextPart, prepareToMap, prepareUnionType, prepareUnionTypeField, prepareWith, prepareWithValue, sortFields

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

instance

public static final Visitor<Expr> instance

Constructor Detail

BetaNormalize

public BetaNormalize()

Method Detail

bind

public void bind(java.lang.String name,
                 Expr type)

Specified by:

bind in interface Visitor<Expr>

Overrides:

bind in class Visitor.NoPrepareEvents<Expr>

onNote

public Expr onNote(Expr base,
                   Source source)

onNatural

public Expr onNatural(Expr self,
                      java.math.BigInteger value)

onInteger

public Expr onInteger(Expr self,
                      java.math.BigInteger value)

onDouble

public Expr onDouble(Expr self,
                     double value)

onBuiltIn

public Expr onBuiltIn(Expr self,
                      java.lang.String name)

onIdentifier

public Expr onIdentifier(Expr self,
                         java.lang.String name,
                         long index)

onLambda

public Expr onLambda(java.lang.String name,
                     Expr type,
                     Expr result)

onPi

public Expr onPi(java.lang.String name,
                 Expr type,
                 Expr result)

onLet

public Expr onLet(java.util.List<Expr.LetBinding<Expr>> bindings,
                  Expr body)

onText

public Expr onText(java.lang.String[] parts,
                   java.util.List<Expr> interpolated)

onNonEmptyList

public Expr onNonEmptyList(java.util.List<Expr> values)

onEmptyList

public Expr onEmptyList(Expr type)

onRecord

public Expr onRecord(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)

onRecordType

public Expr onRecordType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)

onUnionType

public Expr onUnionType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)

onFieldAccess

public Expr onFieldAccess(Expr base,
                          java.lang.String fieldName)

onProjection

public Expr onProjection(Expr base,
                         java.lang.String[] fieldNames)

onProjectionByType

public Expr onProjectionByType(Expr base,
                               Expr arg)

onApplication

public Expr onApplication(Expr base,
                          java.util.List<Expr> args)

onOperatorApplication

public Expr onOperatorApplication(Operator operator,
                                  Expr lhs,
                                  Expr rhs)

onIf

public Expr onIf(Expr predicate,
                 Expr thenValue,
                 Expr elseValue)

onAnnotated

public Expr onAnnotated(Expr base,
                        Expr type)

onAssert

public Expr onAssert(Expr type)

onMerge

public Expr onMerge(Expr handlers,
                    Expr union,
                    Expr type)

onToMap

public Expr onToMap(Expr base,
                    Expr type)

onWith

public Expr onWith(Expr base,
                   java.lang.String[] path,
                   Expr value)

onMissingImport

public Expr onMissingImport(Expr.ImportMode mode,
                            byte[] hash)

onEnvImport

public Expr onEnvImport(java.lang.String value,
                        Expr.ImportMode mode,
                        byte[] hash)

onLocalImport

public Expr onLocalImport(java.nio.file.Path path,
                          Expr.ImportMode mode,
                          byte[] hash)

onClasspathImport

public Expr onClasspathImport(java.nio.file.Path path,
                              Expr.ImportMode mode,
                              byte[] hash)

onRemoteImport

public Expr onRemoteImport(java.net.URI url,
                           Expr using,
                           Expr.ImportMode mode,
                           byte[] hash)