org.dhallj.core.typechecking

Class TypeCheck

java.lang.Object

org.dhallj.core.typechecking.TypeCheck

All Implemented Interfaces:

ExternalVisitor<Expr>

public final class TypeCheck
extends java.lang.Object
implements ExternalVisitor<Expr>

Nested Class Summary

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

ExternalVisitor.Constant<A>

Constructor Summary

Constructors

Constructor and Description
TypeCheck()
TypeCheck(Context context)

Method Summary

Modifier and Type	Method and Description
Expr	onAnnotated(Expr base, Expr type)
Expr	onApplication(Expr base, Expr arg)
Expr	onAssert(Expr base)
Expr	onBuiltIn(java.lang.String name)
Expr	onClasspathImport(java.nio.file.Path path, Expr.ImportMode mode, byte[] hash)
Expr	onDouble(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(java.lang.String name, long index)
Expr	onIf(Expr predicate, Expr thenValue, Expr elseValue)
Expr	onInteger(java.math.BigInteger value)
Expr	onLambda(java.lang.String param, Expr input, Expr result)
Expr	onLet(java.lang.String name, Expr type, Expr value, 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(java.math.BigInteger value)
Expr	onNonEmptyList(java.lang.Iterable<Expr> values, int size)
Expr	onNote(Expr base, Source source)
Expr	onOperatorApplication(Operator operator, Expr lhs, Expr rhs)
Expr	onPi(java.lang.String param, Expr input, Expr result)
Expr	onProjection(Expr base, java.lang.String[] fieldNames)
Expr	onProjectionByType(Expr base, Expr type)
Expr	onRecord(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields, int size)
Expr	onRecordType(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields, int size)
Expr	onRemoteImport(java.net.URI url, Expr using, Expr.ImportMode mode, byte[] hash)
Expr	onText(java.lang.String[] parts, java.lang.Iterable<Expr> interpolated)
Expr	onToMap(Expr base, Expr type)
Expr	onUnionType(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields, int size)
Expr	onWith(Expr base, java.lang.String[] path, Expr value)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeCheck

public TypeCheck(Context context)

TypeCheck

public TypeCheck()

Method Detail

onNote

public final Expr onNote(Expr base,
                         Source source)

Specified by:

onNote in interface ExternalVisitor<Expr>

onNatural

public final Expr onNatural(java.math.BigInteger value)

Specified by:

onNatural in interface ExternalVisitor<Expr>

onInteger

public final Expr onInteger(java.math.BigInteger value)

Specified by:

onInteger in interface ExternalVisitor<Expr>

onDouble

public final Expr onDouble(double value)

Specified by:

onDouble in interface ExternalVisitor<Expr>

onBuiltIn

public final Expr onBuiltIn(java.lang.String name)

Specified by:

onBuiltIn in interface ExternalVisitor<Expr>

onIdentifier

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

Specified by:

onIdentifier in interface ExternalVisitor<Expr>

onLambda

public final Expr onLambda(java.lang.String param,
                           Expr input,
                           Expr result)

Specified by:

onLambda in interface ExternalVisitor<Expr>

onPi

public final Expr onPi(java.lang.String param,
                       Expr input,
                       Expr result)

Specified by:

onPi in interface ExternalVisitor<Expr>

onLet

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

Specified by:

onLet in interface ExternalVisitor<Expr>

onText

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

Specified by:

onText in interface ExternalVisitor<Expr>

onNonEmptyList

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

Specified by:

onNonEmptyList in interface ExternalVisitor<Expr>

onEmptyList

public final Expr onEmptyList(Expr type)

Specified by:

onEmptyList in interface ExternalVisitor<Expr>

onRecord

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

Specified by:

onRecord in interface ExternalVisitor<Expr>

onRecordType

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

Specified by:

onRecordType in interface ExternalVisitor<Expr>

onUnionType

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

Specified by:

onUnionType in interface ExternalVisitor<Expr>

onFieldAccess

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

Specified by:

onFieldAccess in interface ExternalVisitor<Expr>

onProjection

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

Specified by:

onProjection in interface ExternalVisitor<Expr>

onProjectionByType

public final Expr onProjectionByType(Expr base,
                                     Expr type)

Specified by:

onProjectionByType in interface ExternalVisitor<Expr>

onApplication

public final Expr onApplication(Expr base,
                                Expr arg)

Specified by:

onApplication in interface ExternalVisitor<Expr>

onOperatorApplication

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

Specified by:

onOperatorApplication in interface ExternalVisitor<Expr>

onIf

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

Specified by:

onIf in interface ExternalVisitor<Expr>

onAnnotated

public final Expr onAnnotated(Expr base,
                              Expr type)

Specified by:

onAnnotated in interface ExternalVisitor<Expr>

onAssert

public final Expr onAssert(Expr base)

Specified by:

onAssert in interface ExternalVisitor<Expr>

onMerge

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

Specified by:

onMerge in interface ExternalVisitor<Expr>

onToMap

public final Expr onToMap(Expr base,
                          Expr type)

Specified by:

onToMap in interface ExternalVisitor<Expr>

onWith

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

Specified by:

onWith in interface ExternalVisitor<Expr>

onMissingImport

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

Specified by:

onMissingImport in interface ExternalVisitor<Expr>

onEnvImport

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

Specified by:

onEnvImport in interface ExternalVisitor<Expr>

onLocalImport

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

Specified by:

onLocalImport in interface ExternalVisitor<Expr>

onClasspathImport

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

Specified by:

onClasspathImport in interface ExternalVisitor<Expr>

onRemoteImport

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

Specified by:

onRemoteImport in interface ExternalVisitor<Expr>