org.dhallj.core

Interface ExternalVisitor<A>

All Known Implementing Classes:

ExternalVisitor.Constant, TypeCheck

public interface ExternalVisitor<A>

Represents a function from a Dhall expression to a value.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ExternalVisitor.Constant<A> Represents a function from a Dhall expression that always returns the same value.

Method Summary

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

Method Detail

onNote

A onNote(Expr base,
         Source source)

onNatural

A onNatural(java.math.BigInteger value)

onInteger

A onInteger(java.math.BigInteger value)

onDouble

A onDouble(double value)

onBuiltIn

A onBuiltIn(java.lang.String name)

onIdentifier

A onIdentifier(java.lang.String name,
               long index)

onLambda

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

onPi

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

onLet

A onLet(java.lang.String name,
        Expr type,
        Expr value,
        Expr body)

onText

A onText(java.lang.String[] parts,
         java.lang.Iterable<Expr> interpolated)

onNonEmptyList

A onNonEmptyList(java.lang.Iterable<Expr> values,
                 int size)

onEmptyList

A onEmptyList(Expr type)

onRecord

A onRecord(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields,
           int size)

onRecordType

A onRecordType(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields,
               int size)

onUnionType

A onUnionType(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields,
              int size)

onFieldAccess

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

onProjection

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

onProjectionByType

A onProjectionByType(Expr base,
                     Expr type)

onApplication

A onApplication(Expr base,
                Expr arg)

onOperatorApplication

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

onIf

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

onAnnotated

A onAnnotated(Expr base,
              Expr type)

onAssert

A onAssert(Expr base)

onMerge

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

onToMap

A onToMap(Expr base,
          Expr type)

onWith

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

onMissingImport

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

onEnvImport

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

onLocalImport

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

onClasspathImport

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

onRemoteImport

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