Skip navigation links
A B C D E F G H I J K L M N O P R S T U V W Z 

A

accept(ExternalVisitor<A>) - Method in class org.dhallj.core.Expr
Run the given external visitor on this expression.
accept(Visitor<A>) - Method in class org.dhallj.core.Expr
Run the given internal visitor on this expression.
accept(ExternalVisitor<A>) - Method in class org.dhallj.core.Expr.Parsed
 
AdditionalInfo - Enum in org.dhallj.cbor
 
alphaNormalize() - Method in class org.dhallj.core.Expr
Alpha-normalize this expression.
AlphaNormalize - Class in org.dhallj.core.normalization
Performs alpha normalization.
AlphaNormalize() - Constructor for class org.dhallj.core.normalization.AlphaNormalize
 
applyAsLambda(Expr, Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a lambda, apply it to the given argument.
asBoolLiteral(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a Bool literal, return its value.
asBuiltIn(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a Dhall built-in, return its name.
asDoubleLiteral(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a Double literal, return its value.
asFieldAccess(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a field access, return the base and field name.
asIntegerLiteral(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is an Integer literal, return its value.
asListLiteral(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a List literal, return its contents.
asNaturalLiteral(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a Natural literal, return its value.
asRecordLiteral(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a record literal, return its fields.
asRecordType(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a record type, return its fields.
asSimpleTextLiteral(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a Text literal with no interpolations, return its value.
asUnionType(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is a union type, return its fields.

B

BetaNormalize - Class in org.dhallj.core.normalization
Performs beta normalization.
BetaNormalize() - Constructor for class org.dhallj.core.normalization.BetaNormalize
 
bind(String, Expr) - Method in class org.dhallj.core.binary.Encode
 
bind(String, Expr) - Method in class org.dhallj.core.normalization.AlphaNormalize
 
bind(String, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
bind(String, Expr) - Method in class org.dhallj.core.normalization.Shift
 
bind(String, Expr) - Method in class org.dhallj.core.normalization.Substitute
 
bind(String, Expr) - Method in interface org.dhallj.core.Visitor
 
bind(String, Expr) - Method in class org.dhallj.core.Visitor.Constant
 
bind(String, Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
BOOL - Static variable in class org.dhallj.core.Expr.Constants
 
ByteArrayReader(byte[]) - Constructor for class org.dhallj.cbor.Reader.ByteArrayReader
 
ByteArrayWriter() - Constructor for class org.dhallj.cbor.Writer.ByteArrayWriter
 

C

CborException - Exception in org.dhallj.cbor
 
CompactPrinter(PrintWriter) - Constructor for class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
CompactStringPrinter() - Constructor for class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
Constant(A) - Constructor for class org.dhallj.core.ExternalVisitor.Constant
 
Constant(A) - Constructor for class org.dhallj.core.Visitor.Constant
 
Constants() - Constructor for class org.dhallj.core.Expr.Constants
 
Context - Class in org.dhallj.core.typechecking
 

D

Decode - Class in org.dhallj.core.binary
 
Decode() - Constructor for class org.dhallj.core.binary.Decode
 
decode(byte[]) - Static method in class org.dhallj.core.binary.Decode
 
decodeHashBytes(String) - Static method in class org.dhallj.core.Expr.Util
 
DecodingException - Exception in org.dhallj.core.binary
 
DecodingException(String) - Constructor for exception org.dhallj.core.binary.DecodingException
 
DecodingException(String, Throwable) - Constructor for exception org.dhallj.core.binary.DecodingException
 
decrement(String) - Method in class org.dhallj.core.Expr
Increment a variable name in this expression.
decrement(String) - Method in class org.dhallj.core.typechecking.Context
 
desugarComplete(Expr, Expr) - Static method in class org.dhallj.core.Expr.Util
Desugar the complete operator (::).
desugarWith(Expr, String[], Expr) - Static method in class org.dhallj.core.Expr.Util
Desugar with.
DhallException - Exception in org.dhallj.core
Base class of exceptions that may be thrown or returned by DhallJ.
DhallException(String) - Constructor for exception org.dhallj.core.DhallException
 
DhallException(String, Throwable) - Constructor for exception org.dhallj.core.DhallException
 
DhallException.ParsingFailure - Exception in org.dhallj.core
Represents a parsing failure, generally wrapping an underlying exception.
DhallException.ResolutionFailure - Exception in org.dhallj.core
 
DOUBLE - Static variable in class org.dhallj.core.Expr.Constants
 

E

EMPTY - Static variable in class org.dhallj.core.typechecking.Context
 
EMPTY_RECORD_LITERAL - Static variable in class org.dhallj.core.Expr.Constants
 
EMPTY_RECORD_TYPE - Static variable in class org.dhallj.core.Expr.Constants
 
EMPTY_UNION_TYPE - Static variable in class org.dhallj.core.Expr.Constants
 
Encode - Class in org.dhallj.core.binary
 
Encode(Writer) - Constructor for class org.dhallj.core.binary.Encode
 
encodeHashBytes(byte[]) - Static method in class org.dhallj.core.Expr.Util
Encode an array of bytes as a hex string.
encodeToStream(Expr, OutputStream) - Static method in class org.dhallj.core.Expr.Util
Write an encoded expression to a stream.
equals(Object) - Method in class org.dhallj.core.Expr
Check whether this expression is equivalent to another value.
equivalent(Expr) - Method in class org.dhallj.core.Expr
Check whether this expression is equivalent to another.
escapeText(String, boolean) - Static method in class org.dhallj.core.Expr.Util
 
Expr - Class in org.dhallj.core
Represents a Dhall expression.
Expr.Constants - Class in org.dhallj.core
Definitions of Dhall built-ins and other frequently-used expressions.
Expr.ImportMode - Enum in org.dhallj.core
Modifier specifying how an import should be parsed into a Dhall expression.
Expr.LetBinding<A> - Class in org.dhallj.core
Represents the first part of a let-expression.
Expr.Parsed - Class in org.dhallj.core
Represents a Dhall expression that's been parsed and has associated source information.
Expr.Util - Class in org.dhallj.core
Convenience methods for working with expressions.
ExternalVisitor<A> - Interface in org.dhallj.core
Represents a function from a Dhall expression to a value.
ExternalVisitor.Constant<A> - Class in org.dhallj.core
Represents a function from a Dhall expression that always returns the same value.

F

FALSE - Static variable in class org.dhallj.core.Expr.Constants
 
fillInStackTrace() - Method in exception org.dhallj.core.DhallException.ParsingFailure
 
fillInStackTrace() - Method in exception org.dhallj.core.DhallException.ResolutionFailure
 
fillInStackTrace() - Method in exception org.dhallj.core.typechecking.TypeCheckFailure
 
flattenToMapLists() - Method in class org.dhallj.core.binary.Encode
 
flattenToMapLists() - Method in class org.dhallj.core.converters.JsonConverter
 
flattenToMapLists() - Method in interface org.dhallj.core.Visitor
Determines whether the driver flattens lists matching the toMap format into records before feeding them to the visitor.
flattenToMapLists() - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
fromByte(byte) - Static method in enum org.dhallj.cbor.AdditionalInfo
 
fromByte(byte) - Static method in enum org.dhallj.cbor.MajorType
 
fromExpr(Expr) - Static method in enum org.dhallj.core.typechecking.Universe
 
fromFloat(float) - Static method in class org.dhallj.cbor.HalfFloat
 
fromLabel(int) - Static method in enum org.dhallj.core.Operator
 
fromString(String, int, int, int, int) - Static method in class org.dhallj.core.Source
 
functionCheck(Universe, Universe) - Static method in enum org.dhallj.core.typechecking.Universe
 

G

getBeginColumn() - Method in class org.dhallj.core.Source
 
getBeginLine() - Method in class org.dhallj.core.Source
 
getBytes() - Method in class org.dhallj.cbor.Writer.ByteArrayWriter
 
getEncodedBytes() - Method in class org.dhallj.core.Expr
Encode this expression as a CBOR byte array.
getEndColumn() - Method in class org.dhallj.core.Source
 
getEndLine() - Method in class org.dhallj.core.Source
 
getFirstDiff(Expr, Expr) - Static method in class org.dhallj.core.Expr.Util
Return the first difference between the structure of two expressions as a pair.
getHashBytes() - Method in class org.dhallj.cbor.Writer.SHA256Writer
 
getHashBytes() - Method in class org.dhallj.core.Expr
Encode this expression as a CBOR byte array and return the SHA-256 hash of the result.
getLabel() - Method in enum org.dhallj.core.Operator
 
getListArg(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is an application of List, return the element type.
getName() - Method in class org.dhallj.core.Expr.LetBinding
 
getNoneArg(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is an application of None, return the element type.
getOptionalArg(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is an application of Optional, return the element type.
getPrecedence() - Method in enum org.dhallj.core.Operator
 
getReturnValue() - Method in class org.dhallj.core.ExternalVisitor.Constant
 
getReturnValue() - Method in class org.dhallj.core.Visitor.Constant
 
getSomeArg(Expr) - Static method in class org.dhallj.core.Expr.Util
If the expression is an application of Some, return the element type.
getSource() - Method in class org.dhallj.core.Expr.Parsed
 
getText() - Method in class org.dhallj.core.Source
 
getType() - Method in class org.dhallj.core.Expr.LetBinding
 
getValue() - Method in class org.dhallj.core.Expr.LetBinding
 

H

HalfFloat - Class in org.dhallj.cbor
Conversions between 16 and 32-bit floating point numbers.
HalfFloat() - Constructor for class org.dhallj.cbor.HalfFloat
 
hash() - Method in class org.dhallj.core.Expr
Encode this expression as a CBOR byte array and return the SHA-256 hash of the result as a string.
hashCode() - Method in class org.dhallj.core.Expr
Hashes the CBOR encoding of this expression.
hasType() - Method in class org.dhallj.core.Expr.LetBinding
 

I

Identity() - Constructor for class org.dhallj.core.Visitor.Identity
 
increment(String) - Method in class org.dhallj.core.Expr
Increment a variable name in this expression.
increment(String) - Method in class org.dhallj.core.typechecking.Context
 
insert(String, Expr) - Method in class org.dhallj.core.typechecking.Context
 
instance - Static variable in class org.dhallj.core.normalization.BetaNormalize
 
INTEGER - Static variable in class org.dhallj.core.Expr.Constants
 
isBoolOperator() - Method in enum org.dhallj.core.Operator
 
isBuiltIn(String) - Static method in class org.dhallj.core.Expr.Constants
 
isKeyword(String) - Static method in class org.dhallj.core.Expr.Constants
 
isResolved() - Method in class org.dhallj.core.Expr
Check whether all imports in this expression have been resolved.
isUniverse(Expr) - Static method in enum org.dhallj.core.typechecking.Universe
 

J

JsonConverter - Class in org.dhallj.core.converters
 
JsonConverter(JsonHandler, boolean) - Constructor for class org.dhallj.core.converters.JsonConverter
 
JsonConverter(JsonHandler) - Constructor for class org.dhallj.core.converters.JsonConverter
 
JsonHandler - Interface in org.dhallj.core.converters
 
JsonHandler.CompactPrinter - Class in org.dhallj.core.converters
 
JsonHandler.CompactStringPrinter - Class in org.dhallj.core.converters
 

K

KIND - Static variable in class org.dhallj.core.Expr.Constants
 

L

LetBinding(String, A, A) - Constructor for class org.dhallj.core.Expr.LetBinding
 
LIST - Static variable in class org.dhallj.core.Expr.Constants
 
LIST_FOLD - Static variable in class org.dhallj.core.Expr.Constants
 
LOCATION_TYPE - Static variable in class org.dhallj.core.Expr.Constants
 
lookup(String, long) - Method in class org.dhallj.core.typechecking.Context
 

M

MajorType - Enum in org.dhallj.cbor
 
makeAnnotated(Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeApplication(Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeApplication(Expr, Expr[]) - Static method in class org.dhallj.core.Expr
 
makeApplication(Expr, List<Expr>) - Static method in class org.dhallj.core.Expr
 
makeAssert(Expr) - Static method in class org.dhallj.core.Expr
 
makeBuiltIn(String) - Static method in class org.dhallj.core.Expr
 
makeClasspathImport(Path, Expr.ImportMode, byte[]) - Static method in class org.dhallj.core.Expr
 
makeDoubleLiteral(double) - Static method in class org.dhallj.core.Expr
 
makeEmptyListLiteral(Expr) - Static method in class org.dhallj.core.Expr
 
makeEnvImport(String, Expr.ImportMode, byte[]) - Static method in class org.dhallj.core.Expr
 
makeFieldAccess(Expr, String) - Static method in class org.dhallj.core.Expr
 
makeIdentifier(String, long) - Static method in class org.dhallj.core.Expr
 
makeIdentifier(String) - Static method in class org.dhallj.core.Expr
 
makeIf(Expr, Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeIntegerLiteral(BigInteger) - Static method in class org.dhallj.core.Expr
 
makeLambda(String, Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeLet(String, Expr, Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeLet(List<Expr.LetBinding<Expr>>, Expr) - Static method in class org.dhallj.core.Expr
 
makeLet(String, Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeLocalImport(Path, Expr.ImportMode, byte[]) - Static method in class org.dhallj.core.Expr
 
makeMerge(Expr, Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeMerge(Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeMissingImport(Expr.ImportMode, byte[]) - Static method in class org.dhallj.core.Expr
 
makeNaturalLiteral(BigInteger) - Static method in class org.dhallj.core.Expr
 
makeNonEmptyListLiteral(Expr[]) - Static method in class org.dhallj.core.Expr
 
makeNonEmptyListLiteral(Collection<Expr>) - Static method in class org.dhallj.core.Expr
 
makeNote(Expr, Source) - Static method in class org.dhallj.core.Expr
 
makeOperatorApplication(Operator, Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makePi(String, Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makePi(Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeProjection(Expr, String[]) - Static method in class org.dhallj.core.Expr
 
makeProjectionByType(Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeRecordLiteral(Map.Entry<String, Expr>[]) - Static method in class org.dhallj.core.Expr
 
makeRecordLiteral(Collection<Map.Entry<String, Expr>>) - Static method in class org.dhallj.core.Expr
 
makeRecordLiteral(String, Expr) - Static method in class org.dhallj.core.Expr
 
makeRecordType(Map.Entry<String, Expr>[]) - Static method in class org.dhallj.core.Expr
 
makeRecordType(Collection<Map.Entry<String, Expr>>) - Static method in class org.dhallj.core.Expr
 
makeRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Static method in class org.dhallj.core.Expr
 
makeTextLiteral(String[], Expr[]) - Static method in class org.dhallj.core.Expr
 
makeTextLiteral(String[], Collection<Expr>) - Static method in class org.dhallj.core.Expr
 
makeTextLiteral(String) - Static method in class org.dhallj.core.Expr
 
makeToMap(Expr, Expr) - Static method in class org.dhallj.core.Expr
 
makeToMap(Expr) - Static method in class org.dhallj.core.Expr
 
makeUnionType(Map.Entry<String, Expr>[]) - Static method in class org.dhallj.core.Expr
 
makeUnionType(Collection<Map.Entry<String, Expr>>) - Static method in class org.dhallj.core.Expr
 
makeWith(Expr, String[], Expr) - Static method in class org.dhallj.core.Expr
 
MAP_KEY_FIELD_NAME - Static variable in class org.dhallj.core.Expr.Constants
 
MAP_VALUE_FIELD_NAME - Static variable in class org.dhallj.core.Expr.Constants
 
max(Universe) - Method in enum org.dhallj.core.typechecking.Universe
 

N

NATURAL - Static variable in class org.dhallj.core.Expr.Constants
 
NATURAL_FOLD - Static variable in class org.dhallj.core.Expr.Constants
 
nextSymbol(Visitor<R>) - Method in class org.dhallj.cbor.Reader
Only allow symbols that correspond to entire encoded Dhall expressions.
NONE - Static variable in class org.dhallj.core.Expr.Constants
 
NoPrepareEvents() - Constructor for class org.dhallj.core.Visitor.NoPrepareEvents
 
normalize() - Method in class org.dhallj.core.Expr
Beta-normalize this expression.

O

onAnnotated(Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onAnnotated(Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onAnnotated(Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onAnnotated(Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onAnnotated(Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onAnnotated(A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onAnnotated(Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onAnnotated(A, A) - Method in interface org.dhallj.core.Visitor
 
onAnnotated(Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onApplication(Void, List<Void>) - Method in class org.dhallj.core.binary.Encode
 
onApplication(Boolean, List<Boolean>) - Method in class org.dhallj.core.converters.JsonConverter
 
onApplication(Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onApplication(Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onApplication(Expr, List<Expr>) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onApplication(Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onApplication(A, List<A>) - Method in class org.dhallj.core.Visitor.Constant
 
onApplication(Expr, List<Expr>) - Method in class org.dhallj.core.Visitor.Identity
 
onApplication(A, List<A>) - Method in interface org.dhallj.core.Visitor
 
onApplication(Boolean, List<Boolean>) - Method in class org.dhallj.core.Visitor.Property
 
onArray(BigInteger, BigInteger) - Method in interface org.dhallj.cbor.Visitor
 
onArrayElementGap() - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onArrayElementGap() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onArrayElementGap() - Method in interface org.dhallj.core.converters.JsonHandler
 
onArrayEnd() - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onArrayEnd() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onArrayEnd() - Method in interface org.dhallj.core.converters.JsonHandler
 
onArrayStart() - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onArrayStart() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onArrayStart() - Method in interface org.dhallj.core.converters.JsonHandler
 
onAssert(Void) - Method in class org.dhallj.core.binary.Encode
 
onAssert(Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onAssert(Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onAssert(Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onAssert(Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onAssert(A) - Method in class org.dhallj.core.Visitor.Constant
 
onAssert(Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onAssert(A) - Method in interface org.dhallj.core.Visitor
 
onAssert(Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onBoolean(boolean) - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onBoolean(boolean) - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onBoolean(boolean) - Method in interface org.dhallj.core.converters.JsonHandler
 
onBuiltIn(Expr, String) - Method in class org.dhallj.core.binary.Encode
 
onBuiltIn(Expr, String) - Method in class org.dhallj.core.converters.JsonConverter
 
onBuiltIn(String) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onBuiltIn(String) - Method in interface org.dhallj.core.ExternalVisitor
 
onBuiltIn(Expr, String) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onBuiltIn(String) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onBuiltIn(Expr, String) - Method in class org.dhallj.core.Visitor.Constant
 
onBuiltIn(Expr, String) - Method in class org.dhallj.core.Visitor.Identity
 
onBuiltIn(Expr, String) - Method in interface org.dhallj.core.Visitor
 
onByteString(byte[]) - Method in interface org.dhallj.cbor.Visitor
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.binary.Encode
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.ExternalVisitor
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Constant
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Identity
 
onClasspathImport(Path, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.Visitor
 
onDouble(Expr, double) - Method in class org.dhallj.core.binary.Encode
 
onDouble(Expr, double) - Method in class org.dhallj.core.converters.JsonConverter
 
onDouble(double) - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onDouble(double) - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onDouble(double) - Method in interface org.dhallj.core.converters.JsonHandler
 
onDouble(double) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onDouble(double) - Method in interface org.dhallj.core.ExternalVisitor
 
onDouble(Expr, double) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onDouble(double) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onDouble(Expr, double) - Method in class org.dhallj.core.Visitor.Constant
 
onDouble(Expr, double) - Method in class org.dhallj.core.Visitor.Identity
 
onDouble(Expr, double) - Method in interface org.dhallj.core.Visitor
 
onDoubleFloat(double) - Method in interface org.dhallj.cbor.Visitor
 
onEmptyList(Void) - Method in class org.dhallj.core.binary.Encode
 
onEmptyList(Boolean) - Method in class org.dhallj.core.converters.JsonConverter
 
onEmptyList(Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onEmptyList(Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onEmptyList(Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onEmptyList(Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onEmptyList(A) - Method in class org.dhallj.core.Visitor.Constant
 
onEmptyList(Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onEmptyList(A) - Method in interface org.dhallj.core.Visitor
 
onEmptyList(Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.binary.Encode
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.ExternalVisitor
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Constant
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Identity
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.Visitor
 
onEnvImport(String, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Property
 
onFalse() - Method in interface org.dhallj.cbor.Visitor
 
onFieldAccess(Void, String) - Method in class org.dhallj.core.binary.Encode
 
onFieldAccess(Boolean, String) - Method in class org.dhallj.core.converters.JsonConverter
 
onFieldAccess(Expr, String) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onFieldAccess(Expr, String) - Method in interface org.dhallj.core.ExternalVisitor
 
onFieldAccess(Expr, String) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onFieldAccess(Expr, String) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onFieldAccess(A, String) - Method in class org.dhallj.core.Visitor.Constant
 
onFieldAccess(Expr, String) - Method in class org.dhallj.core.Visitor.Identity
 
onFieldAccess(A, String) - Method in interface org.dhallj.core.Visitor
 
onFieldAccess(Boolean, String) - Method in class org.dhallj.core.Visitor.Property
 
onHalfFloat(float) - Method in interface org.dhallj.cbor.Visitor
 
onIdentifier(Expr, String, long) - Method in class org.dhallj.core.binary.Encode
 
onIdentifier(String, long) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onIdentifier(String, long) - Method in interface org.dhallj.core.ExternalVisitor
 
onIdentifier(Expr, String, long) - Method in class org.dhallj.core.normalization.AlphaNormalize
 
onIdentifier(Expr, String, long) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onIdentifier(Expr, String, long) - Method in class org.dhallj.core.normalization.Shift
 
onIdentifier(Expr, String, long) - Method in class org.dhallj.core.normalization.Substitute
 
onIdentifier(String, long) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onIdentifier(Expr, String, long) - Method in class org.dhallj.core.Visitor.Constant
 
onIdentifier(Expr, String, long) - Method in class org.dhallj.core.Visitor.Identity
 
onIdentifier(Expr, String, long) - Method in interface org.dhallj.core.Visitor
 
onIf(Void, Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onIf(Expr, Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onIf(Expr, Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onIf(Expr, Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onIf(Expr, Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onIf(A, A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onIf(Expr, Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onIf(A, A, A) - Method in interface org.dhallj.core.Visitor
 
onIf(Boolean, Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onInteger(Expr, BigInteger) - Method in class org.dhallj.core.binary.Encode
 
onInteger(Expr, BigInteger) - Method in class org.dhallj.core.converters.JsonConverter
 
onInteger(BigInteger) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onInteger(BigInteger) - Method in interface org.dhallj.core.ExternalVisitor
 
onInteger(Expr, BigInteger) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onInteger(BigInteger) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onInteger(Expr, BigInteger) - Method in class org.dhallj.core.Visitor.Constant
 
onInteger(Expr, BigInteger) - Method in class org.dhallj.core.Visitor.Identity
 
onInteger(Expr, BigInteger) - Method in interface org.dhallj.core.Visitor
 
onLambda(String, Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onLambda(String, Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onLambda(String, Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onLambda(String, Expr, Expr) - Method in class org.dhallj.core.normalization.AlphaNormalize
 
onLambda(String, Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onLambda(String, Expr, Expr) - Method in class org.dhallj.core.normalization.Shift
 
onLambda(String, Expr, Expr) - Method in class org.dhallj.core.normalization.Substitute
 
onLambda(String, Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onLambda(String, A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onLambda(String, Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onLambda(String, A, A) - Method in interface org.dhallj.core.Visitor
 
onLambda(String, Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onLet(List<Expr.LetBinding<Void>>, Void) - Method in class org.dhallj.core.binary.Encode
 
onLet(String, Expr, Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onLet(String, Expr, Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onLet(List<Expr.LetBinding<Expr>>, Expr) - Method in class org.dhallj.core.normalization.AlphaNormalize
 
onLet(List<Expr.LetBinding<Expr>>, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onLet(List<Expr.LetBinding<Expr>>, Expr) - Method in class org.dhallj.core.normalization.Shift
 
onLet(List<Expr.LetBinding<Expr>>, Expr) - Method in class org.dhallj.core.normalization.Substitute
 
onLet(String, Expr, Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onLet(List<Expr.LetBinding<A>>, A) - Method in class org.dhallj.core.Visitor.Constant
 
onLet(List<Expr.LetBinding<Expr>>, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onLet(List<Expr.LetBinding<A>>, A) - Method in interface org.dhallj.core.Visitor
 
onLet(List<Expr.LetBinding<Boolean>>, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.binary.Encode
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.ExternalVisitor
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Constant
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Identity
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.Visitor
 
onLocalImport(Path, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Property
 
onMap(BigInteger) - Method in interface org.dhallj.cbor.Visitor
 
onMerge(Void, Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onMerge(Expr, Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onMerge(Expr, Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onMerge(Expr, Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onMerge(Expr, Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onMerge(A, A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onMerge(Expr, Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onMerge(A, A, A) - Method in interface org.dhallj.core.Visitor
 
onMerge(Boolean, Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onMissingImport(Expr.ImportMode, byte[]) - Method in class org.dhallj.core.binary.Encode
 
onMissingImport(Expr.ImportMode, byte[]) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onMissingImport(Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.ExternalVisitor
 
onMissingImport(Expr.ImportMode, byte[]) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onMissingImport(Expr.ImportMode, byte[]) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onMissingImport(Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Constant
 
onMissingImport(Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Identity
 
onMissingImport(Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.Visitor
 
onMissingImport(Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Property
 
onNatural(Expr, BigInteger) - Method in class org.dhallj.core.binary.Encode
 
onNatural(Expr, BigInteger) - Method in class org.dhallj.core.converters.JsonConverter
 
onNatural(BigInteger) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onNatural(BigInteger) - Method in interface org.dhallj.core.ExternalVisitor
 
onNatural(Expr, BigInteger) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onNatural(BigInteger) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onNatural(Expr, BigInteger) - Method in class org.dhallj.core.Visitor.Constant
 
onNatural(Expr, BigInteger) - Method in class org.dhallj.core.Visitor.Identity
 
onNatural(Expr, BigInteger) - Method in interface org.dhallj.core.Visitor
 
onNegativeInteger(BigInteger) - Method in interface org.dhallj.cbor.Visitor
 
onNonEmptyList(List<Void>) - Method in class org.dhallj.core.binary.Encode
 
onNonEmptyList(List<Boolean>) - Method in class org.dhallj.core.converters.JsonConverter
 
onNonEmptyList(Iterable<Expr>, int) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onNonEmptyList(Iterable<Expr>, int) - Method in interface org.dhallj.core.ExternalVisitor
 
onNonEmptyList(List<Expr>) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onNonEmptyList(Iterable<Expr>, int) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onNonEmptyList(List<A>) - Method in class org.dhallj.core.Visitor.Constant
 
onNonEmptyList(List<Expr>) - Method in class org.dhallj.core.Visitor.Identity
 
onNonEmptyList(List<A>) - Method in interface org.dhallj.core.Visitor
 
onNonEmptyList(List<Boolean>) - Method in class org.dhallj.core.Visitor.Property
 
onNote(Void, Source) - Method in class org.dhallj.core.binary.Encode
 
onNote(Expr, Source) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onNote(Expr, Source) - Method in interface org.dhallj.core.ExternalVisitor
 
onNote(Expr, Source) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onNote(Expr, Source) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onNote(A, Source) - Method in class org.dhallj.core.Visitor.Constant
 
onNote(Expr, Source) - Method in class org.dhallj.core.Visitor.Identity
 
onNote(A, Source) - Method in interface org.dhallj.core.Visitor
 
onNull() - Method in interface org.dhallj.cbor.Visitor
 
onNull() - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onNull() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onNull() - Method in interface org.dhallj.core.converters.JsonHandler
 
onNumber(BigInteger) - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onNumber(BigInteger) - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onNumber(BigInteger) - Method in interface org.dhallj.core.converters.JsonHandler
 
onObjectEnd() - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onObjectEnd() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onObjectEnd() - Method in interface org.dhallj.core.converters.JsonHandler
 
onObjectField(String) - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onObjectField(String) - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onObjectField(String) - Method in interface org.dhallj.core.converters.JsonHandler
 
onObjectFieldGap() - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onObjectFieldGap() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onObjectFieldGap() - Method in interface org.dhallj.core.converters.JsonHandler
 
onObjectStart() - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onObjectStart() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onObjectStart() - Method in interface org.dhallj.core.converters.JsonHandler
 
onOperatorApplication(Operator, Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onOperatorApplication(Operator, Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onOperatorApplication(Operator, Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onOperatorApplication(Operator, Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onOperatorApplication(Operator, Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onOperatorApplication(Operator, A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onOperatorApplication(Operator, Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onOperatorApplication(Operator, A, A) - Method in interface org.dhallj.core.Visitor
 
onOperatorApplication(Operator, Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onPi(String, Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onPi(String, Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onPi(String, Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onPi(String, Expr, Expr) - Method in class org.dhallj.core.normalization.AlphaNormalize
 
onPi(String, Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onPi(String, Expr, Expr) - Method in class org.dhallj.core.normalization.Shift
 
onPi(String, Expr, Expr) - Method in class org.dhallj.core.normalization.Substitute
 
onPi(String, Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onPi(String, A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onPi(String, Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onPi(String, A, A) - Method in interface org.dhallj.core.Visitor
 
onPi(String, Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onProjection(Void, String[]) - Method in class org.dhallj.core.binary.Encode
 
onProjection(Expr, String[]) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onProjection(Expr, String[]) - Method in interface org.dhallj.core.ExternalVisitor
 
onProjection(Expr, String[]) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onProjection(Expr, String[]) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onProjection(A, String[]) - Method in class org.dhallj.core.Visitor.Constant
 
onProjection(Expr, String[]) - Method in class org.dhallj.core.Visitor.Identity
 
onProjection(A, String[]) - Method in interface org.dhallj.core.Visitor
 
onProjection(Boolean, String[]) - Method in class org.dhallj.core.Visitor.Property
 
onProjectionByType(Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onProjectionByType(Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onProjectionByType(Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onProjectionByType(Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onProjectionByType(Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onProjectionByType(A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onProjectionByType(Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onProjectionByType(A, A) - Method in interface org.dhallj.core.Visitor
 
onProjectionByType(Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onRecord(List<Map.Entry<String, Void>>) - Method in class org.dhallj.core.binary.Encode
 
onRecord(List<Map.Entry<String, Boolean>>) - Method in class org.dhallj.core.converters.JsonConverter
 
onRecord(Iterable<Map.Entry<String, Expr>>, int) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onRecord(Iterable<Map.Entry<String, Expr>>, int) - Method in interface org.dhallj.core.ExternalVisitor
 
onRecord(List<Map.Entry<String, Expr>>) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onRecord(Iterable<Map.Entry<String, Expr>>, int) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onRecord(List<Map.Entry<String, A>>) - Method in class org.dhallj.core.Visitor.Constant
 
onRecord(List<Map.Entry<String, Expr>>) - Method in class org.dhallj.core.Visitor.Identity
 
onRecord(List<Map.Entry<String, A>>) - Method in interface org.dhallj.core.Visitor
 
onRecord(List<Map.Entry<String, Boolean>>) - Method in class org.dhallj.core.Visitor.Property
 
onRecordType(List<Map.Entry<String, Void>>) - Method in class org.dhallj.core.binary.Encode
 
onRecordType(Iterable<Map.Entry<String, Expr>>, int) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onRecordType(Iterable<Map.Entry<String, Expr>>, int) - Method in interface org.dhallj.core.ExternalVisitor
 
onRecordType(List<Map.Entry<String, Expr>>) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onRecordType(Iterable<Map.Entry<String, Expr>>, int) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onRecordType(List<Map.Entry<String, A>>) - Method in class org.dhallj.core.Visitor.Constant
 
onRecordType(List<Map.Entry<String, Expr>>) - Method in class org.dhallj.core.Visitor.Identity
 
onRecordType(List<Map.Entry<String, A>>) - Method in interface org.dhallj.core.Visitor
 
onRecordType(List<Map.Entry<String, Boolean>>) - Method in class org.dhallj.core.Visitor.Property
 
onRemoteImport(URI, Void, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.binary.Encode
 
onRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.ExternalVisitor
 
onRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onRemoteImport(URI, A, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Constant
 
onRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Identity
 
onRemoteImport(URI, A, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.Visitor
 
onRemoteImport(URI, Boolean, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.Property
 
onSingleFloat(float) - Method in interface org.dhallj.cbor.Visitor
 
onString(String) - Method in class org.dhallj.core.converters.JsonHandler.CompactPrinter
 
onString(String) - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
onString(String) - Method in interface org.dhallj.core.converters.JsonHandler
 
onTag() - Method in interface org.dhallj.cbor.Visitor
 
onText(String[], List<Void>) - Method in class org.dhallj.core.binary.Encode
 
onText(String[], List<Boolean>) - Method in class org.dhallj.core.converters.JsonConverter
 
onText(String[], Iterable<Expr>) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onText(String[], Iterable<Expr>) - Method in interface org.dhallj.core.ExternalVisitor
 
onText(String[], List<Expr>) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onText(String[], Iterable<Expr>) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onText(String[], List<A>) - Method in class org.dhallj.core.Visitor.Constant
 
onText(String[], List<Expr>) - Method in class org.dhallj.core.Visitor.Identity
 
onText(String[], List<A>) - Method in interface org.dhallj.core.Visitor
 
onText(String[], List<Boolean>) - Method in class org.dhallj.core.Visitor.Property
 
onTextString(String) - Method in interface org.dhallj.cbor.Visitor
 
onToMap(Void, Void) - Method in class org.dhallj.core.binary.Encode
 
onToMap(Expr, Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onToMap(Expr, Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onToMap(Expr, Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onToMap(Expr, Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onToMap(A, A) - Method in class org.dhallj.core.Visitor.Constant
 
onToMap(Expr, Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onToMap(A, A) - Method in interface org.dhallj.core.Visitor
 
onToMap(Boolean, Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onToMap(Boolean, String[], Boolean) - Method in class org.dhallj.core.Visitor.Property
 
onTrue() - Method in interface org.dhallj.cbor.Visitor
 
onUnionType(List<Map.Entry<String, Void>>) - Method in class org.dhallj.core.binary.Encode
 
onUnionType(Iterable<Map.Entry<String, Expr>>, int) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onUnionType(Iterable<Map.Entry<String, Expr>>, int) - Method in interface org.dhallj.core.ExternalVisitor
 
onUnionType(List<Map.Entry<String, Expr>>) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onUnionType(Iterable<Map.Entry<String, Expr>>, int) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onUnionType(List<Map.Entry<String, A>>) - Method in class org.dhallj.core.Visitor.Constant
 
onUnionType(List<Map.Entry<String, Expr>>) - Method in class org.dhallj.core.Visitor.Identity
 
onUnionType(List<Map.Entry<String, A>>) - Method in interface org.dhallj.core.Visitor
 
onUnionType(List<Map.Entry<String, Boolean>>) - Method in class org.dhallj.core.Visitor.Property
 
onUnsignedInteger(BigInteger) - Method in interface org.dhallj.cbor.Visitor
 
onVariableArray(BigInteger, String) - Method in interface org.dhallj.cbor.Visitor
 
onWith(Void, String[], Void) - Method in class org.dhallj.core.binary.Encode
 
onWith(Expr, String[], Expr) - Method in class org.dhallj.core.ExternalVisitor.Constant
 
onWith(Expr, String[], Expr) - Method in interface org.dhallj.core.ExternalVisitor
 
onWith(Expr, String[], Expr) - Method in class org.dhallj.core.normalization.BetaNormalize
 
onWith(Expr, String[], Expr) - Method in class org.dhallj.core.typechecking.TypeCheck
 
onWith(A, String[], A) - Method in class org.dhallj.core.Visitor.Constant
 
onWith(Expr, String[], Expr) - Method in class org.dhallj.core.Visitor.Identity
 
onWith(A, String[], A) - Method in interface org.dhallj.core.Visitor
 
Operator - Enum in org.dhallj.core
Represents a Dhall operator.
OPTIONAL - Static variable in class org.dhallj.core.Expr.Constants
 
org.dhallj.cbor - package org.dhallj.cbor
 
org.dhallj.core - package org.dhallj.core
 
org.dhallj.core.binary - package org.dhallj.core.binary
 
org.dhallj.core.converters - package org.dhallj.core.converters
 
org.dhallj.core.normalization - package org.dhallj.core.normalization
 
org.dhallj.core.typechecking - package org.dhallj.core.typechecking
 
OutputStreamWriter(OutputStream) - Constructor for class org.dhallj.cbor.Writer.OutputStreamWriter
 

P

parse(String) - Static method in enum org.dhallj.core.Operator
 
Parsed(Expr, Source) - Constructor for class org.dhallj.core.Expr.Parsed
 
ParsingFailure(String, Throwable) - Constructor for exception org.dhallj.core.DhallException.ParsingFailure
 
peek() - Method in class org.dhallj.cbor.Reader.ByteArrayReader
 
peek() - Method in class org.dhallj.cbor.Reader
 
prepareAnnotated(Expr) - Method in class org.dhallj.core.binary.Encode
 
prepareAnnotated(Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareAnnotated(Expr) - Method in interface org.dhallj.core.Visitor
 
prepareApplication(Expr, int) - Method in class org.dhallj.core.binary.Encode
 
prepareApplication(Expr, int) - Method in class org.dhallj.core.converters.JsonConverter
 
prepareApplication(Expr, int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareApplication(Expr, int) - Method in interface org.dhallj.core.Visitor
 
prepareAssert() - Method in class org.dhallj.core.binary.Encode
 
prepareAssert() - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareAssert() - Method in interface org.dhallj.core.Visitor
 
prepareEmptyList(Expr) - Method in class org.dhallj.core.binary.Encode
 
prepareEmptyList(Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareEmptyList(Expr) - Method in interface org.dhallj.core.Visitor
 
prepareFieldAccess(Expr, String) - Method in class org.dhallj.core.binary.Encode
 
prepareFieldAccess(Expr, String) - Method in class org.dhallj.core.converters.JsonConverter
 
prepareFieldAccess(Expr, String) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareFieldAccess(Expr, String) - Method in interface org.dhallj.core.Visitor
 
prepareIf() - Method in class org.dhallj.core.binary.Encode
 
prepareIf() - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareIf() - Method in interface org.dhallj.core.Visitor
 
prepareLambda(String, Expr) - Method in class org.dhallj.core.binary.Encode
 
prepareLambda(String, Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareLambda(String, Expr) - Method in interface org.dhallj.core.Visitor
 
prepareLet(int) - Method in class org.dhallj.core.binary.Encode
 
prepareLet(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareLet(int) - Method in interface org.dhallj.core.Visitor
 
prepareLetBinding(String, Expr) - Method in class org.dhallj.core.binary.Encode
 
prepareLetBinding(String, Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareLetBinding(String, Expr) - Method in interface org.dhallj.core.Visitor
 
prepareMerge(Expr) - Method in class org.dhallj.core.binary.Encode
 
prepareMerge(Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareMerge(Expr) - Method in interface org.dhallj.core.Visitor
 
prepareNonEmptyList(int) - Method in class org.dhallj.core.binary.Encode
 
prepareNonEmptyList(int) - Method in class org.dhallj.core.converters.JsonConverter
 
prepareNonEmptyList(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareNonEmptyList(int) - Method in interface org.dhallj.core.Visitor
 
prepareNonEmptyListElement(int) - Method in class org.dhallj.core.binary.Encode
 
prepareNonEmptyListElement(int) - Method in class org.dhallj.core.converters.JsonConverter
 
prepareNonEmptyListElement(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareNonEmptyListElement(int) - Method in interface org.dhallj.core.Visitor
 
prepareOperatorApplication(Operator) - Method in class org.dhallj.core.binary.Encode
 
prepareOperatorApplication(Operator) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareOperatorApplication(Operator) - Method in interface org.dhallj.core.Visitor
 
preparePi(String, Expr) - Method in class org.dhallj.core.binary.Encode
 
preparePi(String, Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
preparePi(String, Expr) - Method in interface org.dhallj.core.Visitor
 
prepareProjection(int) - Method in class org.dhallj.core.binary.Encode
 
prepareProjection(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareProjection(int) - Method in interface org.dhallj.core.Visitor
 
prepareProjectionByType() - Method in class org.dhallj.core.binary.Encode
 
prepareProjectionByType(Expr) - Method in class org.dhallj.core.binary.Encode
 
prepareProjectionByType() - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareProjectionByType(Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareProjectionByType() - Method in interface org.dhallj.core.Visitor
 
prepareProjectionByType(Expr) - Method in interface org.dhallj.core.Visitor
 
prepareRecord(int) - Method in class org.dhallj.core.binary.Encode
 
prepareRecord(int) - Method in class org.dhallj.core.converters.JsonConverter
 
prepareRecord(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareRecord(int) - Method in interface org.dhallj.core.Visitor
 
prepareRecordField(String, Expr, int) - Method in class org.dhallj.core.binary.Encode
 
prepareRecordField(String, Expr, int) - Method in class org.dhallj.core.converters.JsonConverter
 
prepareRecordField(String, Expr, int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareRecordField(String, Expr, int) - Method in interface org.dhallj.core.Visitor
 
prepareRecordType(int) - Method in class org.dhallj.core.binary.Encode
 
prepareRecordType(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareRecordType(int) - Method in interface org.dhallj.core.Visitor
 
prepareRecordTypeField(String, Expr, int) - Method in class org.dhallj.core.binary.Encode
 
prepareRecordTypeField(String, Expr, int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareRecordTypeField(String, Expr, int) - Method in interface org.dhallj.core.Visitor
 
prepareRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.binary.Encode
 
prepareRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareRemoteImport(URI, Expr, Expr.ImportMode, byte[]) - Method in interface org.dhallj.core.Visitor
 
prepareText(int) - Method in class org.dhallj.core.binary.Encode
 
prepareText(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareText(int) - Method in interface org.dhallj.core.Visitor
 
prepareTextPart(String) - Method in class org.dhallj.core.binary.Encode
 
prepareTextPart(String) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareTextPart(String) - Method in interface org.dhallj.core.Visitor
 
prepareToMap(Expr) - Method in class org.dhallj.core.binary.Encode
 
prepareToMap(Expr) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareToMap(Expr) - Method in interface org.dhallj.core.Visitor
 
prepareUnionType(int) - Method in class org.dhallj.core.binary.Encode
 
prepareUnionType(int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareUnionType(int) - Method in interface org.dhallj.core.Visitor
 
prepareUnionTypeField(String, Expr, int) - Method in class org.dhallj.core.binary.Encode
 
prepareUnionTypeField(String, Expr, int) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareUnionTypeField(String, Expr, int) - Method in interface org.dhallj.core.Visitor
 
prepareWith(String[]) - Method in class org.dhallj.core.binary.Encode
 
prepareWith(String[]) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareWith(String[]) - Method in interface org.dhallj.core.Visitor
 
prepareWithValue(String[]) - Method in class org.dhallj.core.binary.Encode
 
prepareWithValue(String[]) - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
prepareWithValue(String[]) - Method in interface org.dhallj.core.Visitor
 
printText(StringBuilder) - Method in class org.dhallj.core.Source
 
Property() - Constructor for class org.dhallj.core.Visitor.Property
 

R

read() - Method in class org.dhallj.cbor.Reader.ByteArrayReader
 
read(int) - Method in class org.dhallj.cbor.Reader.ByteArrayReader
 
read() - Method in class org.dhallj.cbor.Reader
 
read(int) - Method in class org.dhallj.cbor.Reader
 
readArrayStart() - Method in class org.dhallj.cbor.Reader
 
readBigNum() - Method in class org.dhallj.cbor.Reader
 
Reader - Class in org.dhallj.cbor
An implementation of enough of the CBOR spec to cope with decoding the CBOR values we need for Dhall.
Reader() - Constructor for class org.dhallj.cbor.Reader
 
Reader.ByteArrayReader - Class in org.dhallj.cbor
 
readMap(Visitor<R>) - Method in class org.dhallj.cbor.Reader
 
readNullableByteString() - Method in class org.dhallj.cbor.Reader
 
readNullableTextString() - Method in class org.dhallj.cbor.Reader
 
readPositiveBigNum() - Method in class org.dhallj.cbor.Reader
 
readUnsignedInteger() - Method in class org.dhallj.cbor.Reader
 
ResolutionFailure(String, Throwable) - Constructor for exception org.dhallj.core.DhallException.ResolutionFailure
 
ResolutionFailure(String) - Constructor for exception org.dhallj.core.DhallException.ResolutionFailure
 

S

sameStructure(Expr) - Method in class org.dhallj.core.Expr
Check whether this expression has the same structure as another.
SHA256Writer() - Constructor for class org.dhallj.cbor.Writer.SHA256Writer
 
Shift - Class in org.dhallj.core.normalization
Shifts all instances of a variable.
Shift(boolean, String) - Constructor for class org.dhallj.core.normalization.Shift
 
SOME - Static variable in class org.dhallj.core.Expr.Constants
 
SORT - Static variable in class org.dhallj.core.Expr.Constants
 
sortFields() - Method in class org.dhallj.core.binary.Encode
 
sortFields() - Method in class org.dhallj.core.converters.JsonConverter
 
sortFields() - Method in class org.dhallj.core.Visitor.NoPrepareEvents
 
sortFields() - Method in interface org.dhallj.core.Visitor
Determines whether the driver sorts fields by name before feeding them to the visitor.
Source - Class in org.dhallj.core
Represents a section of a source document corresponding to a parsed expression.
Source(int, int, int, int) - Constructor for class org.dhallj.core.Source
 
stream - Variable in class org.dhallj.cbor.Writer.OutputStreamWriter
 
substitute(String, Expr) - Method in class org.dhallj.core.Expr
Substitute the given expression for the given variable name in this expression.
Substitute - Class in org.dhallj.core.normalization
Substitutes an expression for all instances of a variable in another expression.
Substitute(String, Expr) - Constructor for class org.dhallj.core.normalization.Substitute
 

T

TEXT - Static variable in class org.dhallj.core.Expr.Constants
 
toCompactString(Expr) - Static method in class org.dhallj.core.converters.JsonConverter
 
toExpr() - Method in enum org.dhallj.core.typechecking.Universe
 
toFloat(int) - Static method in class org.dhallj.cbor.HalfFloat
 
toString() - Method in class org.dhallj.core.converters.JsonHandler.CompactStringPrinter
 
toString() - Method in enum org.dhallj.core.Expr.ImportMode
 
toString() - Method in class org.dhallj.core.Expr
 
toString() - Method in enum org.dhallj.core.Operator
 
toString() - Method in class org.dhallj.core.Source
 
TRUE - Static variable in class org.dhallj.core.Expr.Constants
 
tryReadTextString() - Method in class org.dhallj.cbor.Reader
This is unfortunate and horrible.
TYPE - Static variable in class org.dhallj.core.Expr.Constants
 
typeCheck(Expr) - Static method in class org.dhallj.core.Expr.Util
Type-check the given expression and return the inferred type.
TypeCheck - Class in org.dhallj.core.typechecking
 
TypeCheck(Context) - Constructor for class org.dhallj.core.typechecking.TypeCheck
 
TypeCheck() - Constructor for class org.dhallj.core.typechecking.TypeCheck
 
TypeCheckFailure - Exception in org.dhallj.core.typechecking
 

U

UNDERSCORE - Static variable in class org.dhallj.core.Expr.Constants
 
Universe - Enum in org.dhallj.core.typechecking
 

V

valueOf(String) - Static method in enum org.dhallj.cbor.AdditionalInfo
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.dhallj.cbor.MajorType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.dhallj.core.Expr.ImportMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.dhallj.core.Operator
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.dhallj.core.typechecking.Universe
Returns the enum constant of this type with the specified name.
values() - Static method in enum org.dhallj.cbor.AdditionalInfo
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.dhallj.cbor.MajorType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.dhallj.core.Expr.ImportMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.dhallj.core.Operator
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.dhallj.core.typechecking.Universe
Returns an array containing the constants of this enum type, in the order they are declared.
Visitor<R> - Interface in org.dhallj.cbor
Represents a function from a CBOR expression to a value.
Visitor<A> - Interface in org.dhallj.core
Represents a function from a Dhall expression to a value that recurses through the structure of the expression.
Visitor.Constant<A> - Class in org.dhallj.core
Represents a function from a Dhall expression that always returns the same value.
Visitor.Identity - Class in org.dhallj.core
Represents an identity function.
Visitor.NoPrepareEvents<A> - Class in org.dhallj.core
Represents a function from a Dhall expression that doesn't need preparation events.
Visitor.Property - Class in org.dhallj.core
Represents a property of Dhall expressions.

W

write(byte) - Method in class org.dhallj.cbor.Writer.OutputStreamWriter
 
write(byte...) - Method in class org.dhallj.cbor.Writer.OutputStreamWriter
 
write(byte) - Method in class org.dhallj.cbor.Writer.SHA256Writer
 
write(byte...) - Method in class org.dhallj.cbor.Writer.SHA256Writer
 
write(byte) - Method in class org.dhallj.cbor.Writer
 
write(byte...) - Method in class org.dhallj.cbor.Writer
 
writeArrayStart(int) - Method in class org.dhallj.cbor.Writer
 
writeBigInteger(BigInteger) - Method in class org.dhallj.cbor.Writer
 
writeBoolean(boolean) - Method in class org.dhallj.cbor.Writer
 
writeByteString(byte[]) - Method in class org.dhallj.cbor.Writer
 
writeDouble(double) - Method in class org.dhallj.cbor.Writer
 
writeLong(long) - Method in class org.dhallj.cbor.Writer
 
writeMapStart(int) - Method in class org.dhallj.cbor.Writer
 
writeNull() - Method in class org.dhallj.cbor.Writer
 
Writer - Class in org.dhallj.cbor
 
Writer() - Constructor for class org.dhallj.cbor.Writer
 
Writer.ByteArrayWriter - Class in org.dhallj.cbor
 
Writer.OutputStreamWriter - Class in org.dhallj.cbor
 
Writer.SHA256Writer - Class in org.dhallj.cbor
 
writeString(String) - Method in class org.dhallj.cbor.Writer
 

Z

ZERO - Static variable in class org.dhallj.core.Expr.Constants
 
A B C D E F G H I J K L M N O P R S T U V W Z 
Skip navigation links