SYMBOL INDEX (1358 symbols across 72 files) FILE: cli/src/main/java/org/dhallj/cli/Dhall.java class Dhall (line 9) | public class Dhall { method main (line 10) | public static void main(String[] args) throws IOException { FILE: javascript/api/DhallJs.java class DhallJs (line 7) | @JsType method parse (line 9) | public static String parse(String input) { method normalize (line 13) | public static String normalize(String input) { method typeCheck (line 17) | public static String typeCheck(String input) { FILE: javascript/api/dhall.js function parse (line 9) | function parse(input) { function typeCheck (line 17) | function typeCheck(input) { function normalize (line 25) | function normalize(input) { FILE: javascript/jre/BufferedReader.java class BufferedReader (line 3) | public class BufferedReader extends Reader { method BufferedReader (line 4) | public BufferedReader(InputStreamReader stream) {} method read (line 6) | public int read(char[] cbuf, int off, int len) { method close (line 10) | public void close() {} FILE: javascript/jre/InputStreamReader.java class InputStreamReader (line 3) | public class InputStreamReader extends Reader { method InputStreamReader (line 4) | public InputStreamReader(InputStream in) {} method InputStreamReader (line 5) | public InputStreamReader(InputStream in, String charsetName) {} method read (line 6) | public int read(char[] cbuf, int off, int len) { method close (line 10) | public void close() {} FILE: javascript/jre/InvalidPathException.java class InvalidPathException (line 3) | public class InvalidPathException extends IllegalArgumentException {} FILE: javascript/jre/Path.java class Path (line 5) | public class Path { method Path (line 8) | public Path(String input) { method isAbsolute (line 12) | public final boolean isAbsolute() { method iterator (line 16) | public final Iterator iterator() { method getNameCount (line 20) | public final int getNameCount() { method resolve (line 24) | public Path resolve(String other) { FILE: javascript/jre/Paths.java class Paths (line 3) | public class Paths { method get (line 8) | public static final Path get(String input) { FILE: javascript/jre/URI.java class URI (line 3) | public class URI { method URI (line 6) | public URI(String input) throws URISyntaxException { method getScheme (line 10) | public final String getScheme() { method getAuthority (line 14) | public final String getAuthority() { method getPath (line 18) | public final String getPath() { method getQuery (line 22) | public final String getQuery() { FILE: javascript/jre/URISyntaxException.java class URISyntaxException (line 3) | public class URISyntaxException extends Throwable {} FILE: modules/core/src/main/java/org/dhallj/cbor/AdditionalInfo.java type AdditionalInfo (line 3) | public enum AdditionalInfo { method AdditionalInfo (line 14) | private AdditionalInfo(int value) { method fromByte (line 18) | public static AdditionalInfo fromByte(byte b) { FILE: modules/core/src/main/java/org/dhallj/cbor/CborException.java class CborException (line 3) | public class CborException extends RuntimeException { method CborException (line 4) | CborException(String message) { FILE: modules/core/src/main/java/org/dhallj/cbor/HalfFloat.java class HalfFloat (line 8) | public final class HalfFloat { method fromFloat (line 9) | public static final int fromFloat(float asFloat) { method toFloat (line 38) | public static final float toFloat(int bits) { FILE: modules/core/src/main/java/org/dhallj/cbor/MajorType.java type MajorType (line 3) | public enum MajorType { method MajorType (line 15) | private MajorType(int value) { method fromByte (line 19) | public static MajorType fromByte(byte b) { FILE: modules/core/src/main/java/org/dhallj/cbor/NullVisitor.java class NullVisitor (line 6) | final class NullVisitor implements Visitor { method onUnsignedInteger (line 10) | @Override method onNegativeInteger (line 15) | @Override method onByteString (line 20) | @Override method onTextString (line 25) | @Override method onVariableArray (line 30) | @Override method onArray (line 35) | @Override method onMap (line 40) | @Override method onFalse (line 45) | @Override method onTrue (line 50) | @Override method onNull (line 55) | @Override method onHalfFloat (line 60) | @Override method onSingleFloat (line 65) | @Override method onDoubleFloat (line 70) | @Override method onTag (line 75) | @Override method notExpected (line 80) | private R notExpected(String msg) { FILE: modules/core/src/main/java/org/dhallj/cbor/Reader.java class Reader (line 13) | public abstract class Reader { method nextSymbol (line 17) | public final R nextSymbol(Visitor visitor) { method read (line 42) | protected abstract byte read(); method peek (line 44) | protected abstract byte peek(); method read (line 46) | protected abstract byte[] read(int count); method readUnsignedInteger (line 48) | public final BigInteger readUnsignedInteger() { method readPositiveBigNum (line 53) | public final BigInteger readPositiveBigNum() { method readBigNum (line 63) | public final BigInteger readBigNum() { method readBigDecimal (line 92) | public final BigDecimal readBigDecimal() { method readNullableTextString (line 120) | public final String readNullableTextString() { method readNullableByteString (line 133) | public final byte[] readNullableByteString() { method tryReadTextString (line 153) | public final String tryReadTextString() { method readArrayStart (line 164) | public final BigInteger readArrayStart() { method readMap (line 181) | public final Map readMap(Visitor visitor) { method readUnsignedInteger (line 200) | private final BigInteger readUnsignedInteger(byte b) { method readNegativeInteger (line 205) | private final BigInteger readNegativeInteger(byte b) { method readByteString (line 210) | private final byte[] readByteString(byte b) { method readTextString (line 221) | private final String readTextString(byte b) { method readArrayStart (line 233) | private final R readArrayStart(byte b, Visitor visitor) { method readMapStart (line 253) | private final BigInteger readMapStart(byte b) { method unassignedMessage (line 263) | private static final String unassignedMessage(int v) { method notValidMessage (line 270) | private static final String notValidMessage(int v) { method readPrimitive (line 277) | private final R readPrimitive(byte b, Visitor visitor) { method skip55799 (line 326) | private final void skip55799() { method readBigInteger (line 347) | private final BigInteger readBigInteger(AdditionalInfo info, byte firs... method readBigInteger (line 368) | private final BigInteger readBigInteger(long numBytes) { class ByteArrayReader (line 377) | public static final class ByteArrayReader extends Reader { method ByteArrayReader (line 381) | public ByteArrayReader(byte[] bytes) { method read (line 385) | @Override method peek (line 390) | @Override method read (line 395) | @Override FILE: modules/core/src/main/java/org/dhallj/cbor/Visitor.java type Visitor (line 12) | public interface Visitor { method onUnsignedInteger (line 14) | public R onUnsignedInteger(BigInteger value); method onNegativeInteger (line 16) | public R onNegativeInteger(BigInteger value); method onByteString (line 18) | public R onByteString(byte[] value); method onTextString (line 20) | public R onTextString(String value); method onVariableArray (line 22) | public R onVariableArray(BigInteger length, String name); method onArray (line 24) | public R onArray(BigInteger length, BigInteger tagI); method onMap (line 26) | public R onMap(BigInteger size); method onFalse (line 28) | public R onFalse(); method onTrue (line 30) | public R onTrue(); method onNull (line 32) | public R onNull(); method onHalfFloat (line 34) | public R onHalfFloat(float value); method onSingleFloat (line 36) | public R onSingleFloat(float value); method onDoubleFloat (line 38) | public R onDoubleFloat(double value); method onTag (line 40) | public R onTag(); FILE: modules/core/src/main/java/org/dhallj/cbor/Writer.java class Writer (line 16) | public abstract class Writer { class WrappedIOException (line 24) | private static final class WrappedIOException extends RuntimeException { method WrappedIOException (line 27) | WrappedIOException(IOException underlying) { class OutputStreamWriter (line 32) | public static class OutputStreamWriter extends Writer { method OutputStreamWriter (line 35) | public OutputStreamWriter(OutputStream stream) { method write (line 39) | protected final void write(byte b) { method write (line 47) | protected final void write(byte... bs) { class ByteArrayWriter (line 56) | public static final class ByteArrayWriter extends OutputStreamWriter { method ByteArrayWriter (line 57) | public ByteArrayWriter() { method getBytes (line 61) | public final byte[] getBytes() { class SHA256Writer (line 66) | public static final class SHA256Writer extends Writer { method SHA256Writer (line 69) | public SHA256Writer() { method getHashBytes (line 80) | public final byte[] getHashBytes() { method write (line 84) | protected final void write(byte b) { method write (line 88) | protected final void write(byte... bs) { method write (line 93) | protected abstract void write(byte b); method write (line 95) | protected abstract void write(byte... bs); method writeNull (line 97) | public final void writeNull() { method writeBoolean (line 101) | public final void writeBoolean(boolean value) { method writeLong (line 105) | public final void writeLong(long value) { method writeBigInteger (line 113) | public final void writeBigInteger(BigInteger value) { method writeBigDecimal (line 121) | public final void writeBigDecimal(BigDecimal value) { method writeString (line 128) | public final void writeString(String value) { method writeByteString (line 134) | public final void writeByteString(byte[] bytes) { method writeDouble (line 139) | public final void writeDouble(double value) { method writeArrayStart (line 181) | public final void writeArrayStart(int length) { method writeMapStart (line 185) | public final void writeMapStart(int length) { method writeTypeAndLength (line 189) | private final void writeTypeAndLength(int majorType, long length) { method writeTypeAndLength (line 222) | private final void writeTypeAndLength(int majorType, BigInteger length) { FILE: modules/core/src/main/java/org/dhallj/core/ArrayIterable.java class ArrayIterable (line 6) | final class ArrayIterable implements Iterable { method ArrayIterable (line 9) | public ArrayIterable(A[] values) { method iterator (line 13) | public final Iterator iterator() { class ArrayIterator (line 17) | private static final class ArrayIterator implements Iterator { method ArrayIterator (line 21) | ArrayIterator(A[] values) { method hasNext (line 25) | public final boolean hasNext() { method next (line 29) | public final A next() { method remove (line 37) | public final void remove() { FILE: modules/core/src/main/java/org/dhallj/core/Constructors.java class Constructors (line 23) | final class Constructors { class NaturalLiteral (line 24) | static final class NaturalLiteral extends Expr { method NaturalLiteral (line 27) | NaturalLiteral(BigInteger value) { method accept (line 32) | public final A accept(ExternalVisitor visitor) { method advance (line 36) | final void advance(VisitState state) { class IntegerLiteral (line 41) | static final class IntegerLiteral extends Expr { method IntegerLiteral (line 44) | IntegerLiteral(BigInteger value) { method accept (line 49) | public final A accept(ExternalVisitor visitor) { method advance (line 53) | final void advance(VisitState state) { class DoubleLiteral (line 58) | static final class DoubleLiteral extends Expr { method DoubleLiteral (line 61) | DoubleLiteral(double value) { method accept (line 66) | public final A accept(ExternalVisitor visitor) { method advance (line 70) | final void advance(VisitState state) { class DateLiteral (line 75) | static final class DateLiteral extends Expr { method DateLiteral (line 80) | DateLiteral(int year, int month, int day) { method accept (line 87) | public final A accept(ExternalVisitor visitor) { method advance (line 91) | final void advance(VisitState state) { class TimeLiteral (line 96) | static final class TimeLiteral extends Expr { method TimeLiteral (line 102) | TimeLiteral(int hour, int minute, int second, BigDecimal fractional) { method accept (line 110) | public final A accept(ExternalVisitor visitor) { method advance (line 114) | final void advance(VisitState state) { class TimeZoneLiteral (line 120) | static final class TimeZoneLiteral extends Expr { method TimeZoneLiteral (line 123) | TimeZoneLiteral(int minutes) { method accept (line 128) | public final A accept(ExternalVisitor visitor) { method advance (line 132) | final void advance(VisitState state) { class TextLiteral (line 137) | static final class TextLiteral extends Expr { method TextLiteral (line 141) | TextLiteral(String[] parts, Expr[] interpolated) { method accept (line 147) | public final A accept(ExternalVisitor visitor) { method advance (line 151) | final void advance(VisitState state) { class Application (line 180) | static final class Application extends Expr { method Application (line 184) | Application(Expr base, Expr arg) { method accept (line 190) | public final A accept(ExternalVisitor visitor) { method advance (line 194) | final void advance(VisitState state) { method gatherApplicationArgs (line 236) | private static final Expr gatherApplicationArgs(Expr candidate, Dequ... class OperatorApplication (line 252) | static final class OperatorApplication extends Expr { method OperatorApplication (line 257) | OperatorApplication(Operator operator, Expr lhs, Expr rhs) { method accept (line 264) | public final A accept(ExternalVisitor visitor) { method advance (line 268) | final void advance(VisitState state) { class If (line 286) | static final class If extends Expr { method If (line 291) | If(Expr predicate, Expr thenValue, Expr elseValue) { method accept (line 298) | public final A accept(ExternalVisitor visitor) { method advance (line 302) | final void advance(VisitState state) { class Lambda (line 325) | static final class Lambda extends Expr { method Lambda (line 330) | Lambda(String name, Expr type, Expr result) { method accept (line 337) | public final A accept(ExternalVisitor visitor) { method advance (line 341) | final void advance(VisitState state) { class Pi (line 364) | static final class Pi extends Expr { method Pi (line 369) | Pi(String name, Expr type, Expr result) { method accept (line 376) | public final A accept(ExternalVisitor visitor) { method advance (line 380) | final void advance(VisitState state) { class Assert (line 403) | static final class Assert extends Expr { method Assert (line 406) | Assert(Expr base) { method accept (line 411) | public final A accept(ExternalVisitor visitor) { method advance (line 415) | final void advance(VisitState state) { class FieldAccess (line 427) | static final class FieldAccess extends Expr { method FieldAccess (line 431) | FieldAccess(Expr base, String fieldName) { method accept (line 437) | public final A accept(ExternalVisitor visitor) { method advance (line 441) | final void advance(VisitState state) { class Projection (line 456) | static final class Projection extends Expr { method Projection (line 460) | Projection(Expr base, String[] fieldNames) { method accept (line 466) | public final A accept(ExternalVisitor visitor) { method advance (line 470) | final void advance(VisitState state) { class ProjectionByType (line 482) | static final class ProjectionByType extends Expr { method ProjectionByType (line 486) | ProjectionByType(Expr base, Expr type) { method accept (line 492) | public final A accept(ExternalVisitor visitor) { method advance (line 496) | final void advance(VisitState state) { class BuiltIn (line 515) | static final class BuiltIn extends Expr { method BuiltIn (line 518) | BuiltIn(String name) { method accept (line 523) | public final A accept(ExternalVisitor visitor) { method advance (line 527) | final void advance(VisitState state) { class Identifier (line 532) | static final class Identifier extends Expr { method Identifier (line 536) | Identifier(String name, long index) { method accept (line 542) | public final A accept(ExternalVisitor visitor) { method advance (line 546) | final void advance(VisitState state) { class RecordLiteral (line 551) | static final class RecordLiteral extends Expr { method RecordLiteral (line 554) | RecordLiteral(Entry[] fields) { method accept (line 559) | public final A accept(ExternalVisitor visitor) { method advance (line 563) | final void advance(VisitState state) { class RecordType (line 599) | static final class RecordType extends Expr { method RecordType (line 602) | RecordType(Entry[] fields) { method accept (line 607) | public final A accept(ExternalVisitor visitor) { method advance (line 611) | final void advance(VisitState state) { class UnionType (line 648) | static final class UnionType extends Expr { method UnionType (line 651) | UnionType(Entry[] fields) { method accept (line 656) | public final A accept(ExternalVisitor visitor) { method advance (line 660) | final void advance(VisitState state) { class NonEmptyListLiteral (line 708) | static final class NonEmptyListLiteral extends Expr { method NonEmptyListLiteral (line 711) | NonEmptyListLiteral(Expr[] values) { method accept (line 716) | public final A accept(ExternalVisitor visitor) { method advance (line 720) | final void advance(VisitState state) { method flattenToMapList (line 754) | private static final Expr flattenToMapList(Expr[] values) { class EmptyListLiteral (line 785) | static final class EmptyListLiteral extends Expr { method EmptyListLiteral (line 788) | EmptyListLiteral(Expr type) { method accept (line 793) | public final A accept(ExternalVisitor visitor) { method advance (line 797) | final void advance(VisitState state) { method isToMapListType (line 815) | private static final boolean isToMapListType(Expr type) { class Let (line 840) | static final class Let extends Expr { method Let (line 846) | Let(String name, Expr type, Expr value, Expr body) { method accept (line 854) | public final A accept(ExternalVisitor visitor) { method advance (line 858) | final void advance(VisitState state) { method gatherLetBindings (line 932) | private static final Expr gatherLetBindings(Expr candidate, List A accept(ExternalVisitor visitor) { method advance (line 962) | final void advance(VisitState state) { class Merge (line 980) | static final class Merge extends Expr { method Merge (line 985) | Merge(Expr handlers, Expr union, Expr type) { method accept (line 992) | public final A accept(ExternalVisitor visitor) { method advance (line 996) | final void advance(VisitState state) { class ToMap (line 1030) | static final class ToMap extends Expr { method ToMap (line 1034) | ToMap(Expr base, Expr type) { method accept (line 1040) | public final A accept(ExternalVisitor visitor) { method advance (line 1044) | final void advance(VisitState state) { class With (line 1071) | static final class With extends Expr { method With (line 1076) | With(Expr base, String[] path, Expr value) { method accept (line 1083) | public final A accept(ExternalVisitor visitor) { method advance (line 1087) | final void advance(VisitState state) { class MissingImport (line 1110) | static final class MissingImport extends Expr { method MissingImport (line 1114) | MissingImport(Expr.ImportMode mode, byte[] hash) { method accept (line 1120) | public final A accept(ExternalVisitor visitor) { method advance (line 1124) | final void advance(VisitState state) { class EnvImport (line 1129) | static final class EnvImport extends Expr { method EnvImport (line 1134) | EnvImport(String name, Expr.ImportMode mode, byte[] hash) { method accept (line 1141) | public final A accept(ExternalVisitor visitor) { method advance (line 1145) | final void advance(VisitState state) { class LocalImport (line 1150) | static final class LocalImport extends Expr { method LocalImport (line 1155) | LocalImport(Path path, Expr.ImportMode mode, byte[] hash) { method accept (line 1162) | public final A accept(ExternalVisitor visitor) { method advance (line 1166) | final void advance(VisitState state) { class ClasspathImport (line 1171) | static final class ClasspathImport extends Expr { method ClasspathImport (line 1176) | ClasspathImport(Path path, Expr.ImportMode mode, byte[] hash) { method accept (line 1183) | public final A accept(ExternalVisitor visitor) { method advance (line 1187) | final void advance(VisitState state) { class RemoteImport (line 1192) | static final class RemoteImport extends Expr { method RemoteImport (line 1198) | RemoteImport(URI url, Expr using, Expr.ImportMode mode, byte[] hash) { method accept (line 1206) | public final A accept(ExternalVisitor visitor) { method advance (line 1210) | final void advance(VisitState state) { FILE: modules/core/src/main/java/org/dhallj/core/DhallException.java class DhallException (line 4) | public class DhallException extends RuntimeException { method DhallException (line 5) | public DhallException(String message) { method DhallException (line 9) | public DhallException(String message, Throwable cause) { class ParsingFailure (line 14) | public static final class ParsingFailure extends DhallException { method fillInStackTrace (line 15) | @Override method ParsingFailure (line 21) | public ParsingFailure(String message, Throwable cause) { method ParsingFailure (line 25) | public ParsingFailure(String message) { class ResolutionFailure (line 30) | public static final class ResolutionFailure extends DhallException { method fillInStackTrace (line 33) | @Override method ResolutionFailure (line 39) | public ResolutionFailure(String message, Throwable cause, boolean is... method ResolutionFailure (line 44) | public ResolutionFailure(String message, boolean isAbsentImport) { method ResolutionFailure (line 49) | public ResolutionFailure(String message, Throwable cause) { method ResolutionFailure (line 53) | public ResolutionFailure(String message) { method isAbsentImport (line 57) | public boolean isAbsentImport() { FILE: modules/core/src/main/java/org/dhallj/core/Expr.java class Expr (line 40) | public abstract class Expr { method Expr (line 44) | Expr(int tag) { method accept (line 49) | public abstract A accept(ExternalVisitor visitor); method advance (line 51) | abstract void advance(VisitState state); method accept (line 54) | public final A accept(Visitor visitor) { method normalize (line 68) | public final Expr normalize() { method alphaNormalize (line 77) | public final Expr alphaNormalize() { method increment (line 82) | public final Expr increment(String name) { method decrement (line 87) | public final Expr decrement(String name) { method substitute (line 92) | public final Expr substitute(String name, Expr replacement) { method getEncodedBytes (line 101) | public final byte[] getEncodedBytes() { method getHashBytes (line 112) | public final byte[] getHashBytes() { method hash (line 133) | public final String hash() { method isResolved (line 138) | public final boolean isResolved() { method sameStructure (line 148) | public final boolean sameStructure(Expr other) { method equivalent (line 157) | public final boolean equivalent(Expr other) { method equals (line 170) | public final boolean equals(Object obj) { method hashCode (line 179) | public final int hashCode() { method toString (line 183) | public final String toString() { method getNonNote (line 187) | Expr getNonNote() { class Util (line 203) | public static final class Util { method Util (line 204) | private Util() {} method typeCheck (line 207) | public static final Expr typeCheck(Expr expr) { method getFirstDiff (line 212) | public static final Entry getFirstDiff(Expr first, Expr ... method encodeToStream (line 217) | public static final void encodeToStream(Expr expr, OutputStream stre... method encodeHashBytes (line 223) | public static String encodeHashBytes(byte[] hash) { method decodeHashBytes (line 233) | public static final byte[] decodeHashBytes(String input) { method getListArg (line 245) | public static Expr getListArg(Expr expr) { method getOptionalArg (line 250) | public static Expr getOptionalArg(Expr expr) { method getSomeArg (line 255) | public static Expr getSomeArg(Expr expr) { method getNoneArg (line 260) | public static Expr getNoneArg(Expr expr) { method asBoolLiteral (line 265) | public static final Boolean asBoolLiteral(Expr expr) { method asNaturalLiteral (line 279) | public static final BigInteger asNaturalLiteral(Expr expr) { method asIntegerLiteral (line 290) | public static final BigInteger asIntegerLiteral(Expr expr) { method asDoubleLiteral (line 301) | public static final Double asDoubleLiteral(Expr expr) { method asSimpleTextLiteral (line 312) | public static final String asSimpleTextLiteral(Expr expr) { method asBuiltIn (line 329) | public static final String asBuiltIn(Expr expr) { method asListLiteral (line 340) | public static final List asListLiteral(Expr expr) { method asRecordLiteral (line 353) | public static final List> asRecordLiteral(Expr e... method asRecordType (line 364) | public static final List> asRecordType(Expr expr) { method asUnionType (line 375) | public static final List> asUnionType(Expr expr) { method asFieldAccess (line 386) | public static final Entry asFieldAccess(Expr expr) { method getElementType (line 401) | private static Expr getElementType(Expr expr, String typeConstructor) { method escapeText (line 418) | public static final String escapeText(String input, boolean quoted) { method desugarComplete (line 475) | public static final Expr desugarComplete(Expr lhs, Expr rhs) { method applyAsLambda (line 487) | public static final Expr applyAsLambda(Expr expr, Expr arg) { method flattenToMapRecord (line 498) | static final Entry flattenToMapRecord(List { method LetBinding (line 528) | public LetBinding(String name, A type, A value) { method getName (line 534) | public String getName() { method hasType (line 538) | public boolean hasType() { method getType (line 542) | public A getType() { method getValue (line 546) | public A getValue() { type ImportMode (line 552) | public static enum ImportMode { method toString (line 557) | public String toString() { class Constants (line 569) | public static final class Constants { method getBuiltIn (line 671) | static Expr getBuiltIn(String name) { method isBuiltIn (line 675) | public static boolean isBuiltIn(String name) { method isKeyword (line 679) | public static boolean isKeyword(String name) { class Parsed (line 685) | public static final class Parsed extends Expr { method Parsed (line 689) | public Parsed(Expr base, Source source) { method getSource (line 695) | public final Source getSource() { method accept (line 699) | public final A accept(ExternalVisitor visitor) { method advance (line 703) | final void advance(VisitState state) { method makeDoubleLiteral (line 708) | public static final Expr makeDoubleLiteral(double value) { method makeNaturalLiteral (line 712) | public static final Expr makeNaturalLiteral(BigInteger value) { method makeIntegerLiteral (line 716) | public static final Expr makeIntegerLiteral(BigInteger value) { method makeDateLiteral (line 720) | public static final Expr makeDateLiteral(int year, int month, int day) { method makeTimeLiteral (line 724) | public static final Expr makeTimeLiteral( method makeTimeZoneLiteral (line 729) | public static final Expr makeTimeZoneLiteral(int seconds) { method makeTextLiteral (line 733) | public static final Expr makeTextLiteral(String[] parts, Expr[] interp... method makeTextLiteral (line 737) | public static final Expr makeTextLiteral(String[] parts, Collection args) { method makeOperatorApplication (line 768) | public static final Expr makeOperatorApplication(Operator operator, Ex... method makeIf (line 772) | public static final Expr makeIf(Expr cond, Expr thenValue, Expr elseVa... method makeLambda (line 776) | public static final Expr makeLambda(String param, Expr input, Expr res... method makePi (line 780) | public static final Expr makePi(String param, Expr input, Expr result) { method makePi (line 784) | public static final Expr makePi(Expr input, Expr result) { method makeAssert (line 788) | public static final Expr makeAssert(Expr base) { method makeFieldAccess (line 792) | public static final Expr makeFieldAccess(Expr base, String fieldName) { method makeProjection (line 796) | public static final Expr makeProjection(Expr base, String[] fieldNames) { method makeProjectionByType (line 800) | public static final Expr makeProjectionByType(Expr base, Expr tpe) { method makeBuiltIn (line 804) | public static final Expr makeBuiltIn(String name) { method makeIdentifier (line 811) | public static final Expr makeIdentifier(String name, long index) { method makeIdentifier (line 815) | public static final Expr makeIdentifier(String name) { method makeRecordLiteral (line 819) | public static final Expr makeRecordLiteral(Entry[] field... method makeRecordLiteral (line 823) | public static final Expr makeRecordLiteral(Collection[] fields) { method makeRecordType (line 835) | public static final Expr makeRecordType(Collection... method makeUnionType (line 839) | public static final Expr makeUnionType(Entry[] fields) { method makeUnionType (line 843) | public static final Expr makeUnionType(Collection>... method makeNonEmptyListLiteral (line 847) | public static final Expr makeNonEmptyListLiteral(Expr[] values) { method makeNonEmptyListLiteral (line 851) | public static final Expr makeNonEmptyListLiteral(Collection valu... method makeEmptyListLiteral (line 855) | public static final Expr makeEmptyListLiteral(Expr tpe) { method makeNote (line 859) | public static final Expr makeNote(Expr base, Source source) { method makeLet (line 863) | public static final Expr makeLet(String name, Expr type, Expr value, E... method makeLet (line 867) | public static final Expr makeLet(List> bindings, Expr... method makeLet (line 879) | public static final Expr makeLet(String name, Expr value, Expr body) { method makeAnnotated (line 883) | public static final Expr makeAnnotated(Expr base, Expr type) { method makeToMap (line 887) | public static final Expr makeToMap(Expr base, Expr type) { method makeToMap (line 891) | public static final Expr makeToMap(Expr base) { method makeWith (line 895) | public static final Expr makeWith(Expr base, String[] path, Expr value) { method makeMerge (line 899) | public static final Expr makeMerge(Expr left, Expr right, Expr type) { method makeMerge (line 903) | public static final Expr makeMerge(Expr left, Expr right) { method makeLocalImport (line 907) | public static final Expr makeLocalImport(Path path, ImportMode mode, b... method makeClasspathImport (line 911) | public static final Expr makeClasspathImport(Path path, ImportMode mod... method makeRemoteImport (line 915) | public static final Expr makeRemoteImport(URI url, Expr using, ImportM... method makeEnvImport (line 919) | public static final Expr makeEnvImport(String value, ImportMode mode, ... method makeMissingImport (line 923) | public static final Expr makeMissingImport(ImportMode mode, byte[] has... method getFirstDiff (line 927) | private final Entry getFirstDiff(Expr other) { FILE: modules/core/src/main/java/org/dhallj/core/ExternalVisitor.java type ExternalVisitor (line 14) | public interface ExternalVisitor { method onNote (line 15) | A onNote(Expr base, Source source); method onNatural (line 17) | A onNatural(BigInteger value); method onInteger (line 19) | A onInteger(BigInteger value); method onDouble (line 21) | A onDouble(double value); method onDate (line 23) | A onDate(int year, int month, int day); method onTime (line 25) | A onTime(int hour, int minute, int second, BigDecimal fractional); method onTimeZone (line 27) | A onTimeZone(int minutes); method onBuiltIn (line 29) | A onBuiltIn(String name); method onIdentifier (line 31) | A onIdentifier(String name, long index); method onLambda (line 33) | A onLambda(String name, Expr type, Expr result); method onPi (line 35) | A onPi(String name, Expr type, Expr result); method onLet (line 37) | A onLet(String name, Expr type, Expr value, Expr body); method onText (line 39) | A onText(String[] parts, Iterable interpolated); method onNonEmptyList (line 41) | A onNonEmptyList(Iterable values, int size); method onEmptyList (line 43) | A onEmptyList(Expr type); method onRecord (line 45) | A onRecord(Iterable> fields, int size); method onRecordType (line 47) | A onRecordType(Iterable> fields, int size); method onUnionType (line 49) | A onUnionType(Iterable> fields, int size); method onFieldAccess (line 51) | A onFieldAccess(Expr base, String fieldName); method onProjection (line 53) | A onProjection(Expr base, String[] fieldNames); method onProjectionByType (line 55) | A onProjectionByType(Expr base, Expr type); method onApplication (line 57) | A onApplication(Expr base, Expr arg); method onOperatorApplication (line 59) | A onOperatorApplication(Operator operator, Expr lhs, Expr rhs); method onIf (line 61) | A onIf(Expr predicate, Expr thenValue, Expr elseValue); method onAnnotated (line 63) | A onAnnotated(Expr base, Expr type); method onAssert (line 65) | A onAssert(Expr base); method onMerge (line 67) | A onMerge(Expr handlers, Expr union, Expr type); method onToMap (line 69) | A onToMap(Expr base, Expr type); method onWith (line 71) | A onWith(Expr base, String[] path, Expr value); method onMissingImport (line 73) | A onMissingImport(Expr.ImportMode mode, byte[] hash); method onEnvImport (line 75) | A onEnvImport(String value, Expr.ImportMode mode, byte[] hash); method onLocalImport (line 77) | A onLocalImport(Path path, Expr.ImportMode mode, byte[] hash); method onClasspathImport (line 79) | A onClasspathImport(Path path, Expr.ImportMode mode, byte[] hash); method onRemoteImport (line 81) | A onRemoteImport(URI url, Expr using, Expr.ImportMode mode, byte[] hash); class Constant (line 93) | public static class Constant implements ExternalVisitor { method getReturnValue (line 96) | protected A getReturnValue() { method Constant (line 100) | public Constant(A value) { method onNote (line 104) | @Override method onNatural (line 109) | @Override method onInteger (line 114) | @Override method onDouble (line 119) | @Override method onDate (line 124) | @Override method onTime (line 129) | @Override method onTimeZone (line 134) | @Override method onBuiltIn (line 139) | @Override method onIdentifier (line 144) | @Override method onLambda (line 149) | @Override method onPi (line 154) | @Override method onLet (line 159) | @Override method onText (line 164) | @Override method onNonEmptyList (line 169) | @Override method onEmptyList (line 174) | @Override method onRecord (line 179) | @Override method onRecordType (line 184) | @Override method onUnionType (line 189) | @Override method onFieldAccess (line 194) | @Override method onProjection (line 199) | @Override method onProjectionByType (line 204) | @Override method onApplication (line 209) | @Override method onOperatorApplication (line 214) | @Override method onIf (line 219) | @Override method onAnnotated (line 224) | @Override method onAssert (line 229) | @Override method onMerge (line 234) | @Override method onToMap (line 239) | @Override method onWith (line 244) | @Override method onMissingImport (line 249) | @Override method onEnvImport (line 254) | @Override method onLocalImport (line 259) | @Override method onClasspathImport (line 264) | @Override method onRemoteImport (line 269) | @Override FILE: modules/core/src/main/java/org/dhallj/core/IsResolved.java class IsResolved (line 6) | final class IsResolved extends Visitor.Property { method onOperatorApplication (line 9) | @Override method onLocalImport (line 18) | @Override method onClasspathImport (line 23) | @Override method onRemoteImport (line 28) | @Override method onEnvImport (line 33) | @Override method onMissingImport (line 38) | @Override FILE: modules/core/src/main/java/org/dhallj/core/Operator.java type Operator (line 4) | public enum Operator { method Operator (line 26) | Operator(String value, int precedence, boolean isBoolOperator) { method isBoolOperator (line 32) | public final boolean isBoolOperator() { method getLabel (line 36) | public final int getLabel() { method getPrecedence (line 40) | public final int getPrecedence() { method toString (line 44) | public final String toString() { method fromLabel (line 48) | public static final Operator fromLabel(int ordinal) { method parse (line 56) | public static final Operator parse(String input) { FILE: modules/core/src/main/java/org/dhallj/core/Source.java class Source (line 4) | public abstract class Source { method Source (line 10) | public Source(int beginLine, int beginColumn, int endLine, int endColu... method printText (line 17) | public abstract void printText(StringBuilder builder); method getText (line 19) | public final String getText() { method getBeginLine (line 25) | public final int getBeginLine() { method getBeginColumn (line 29) | public final int getBeginColumn() { method getEndLine (line 33) | public final int getEndLine() { method getEndColumn (line 37) | public final int getEndColumn() { method toString (line 41) | public final String toString() { class FromString (line 55) | private static final class FromString extends Source { method FromString (line 58) | FromString(String text, int beginLine, int beginColumn, int endLine,... method printText (line 63) | public final void printText(StringBuilder builder) { method fromString (line 68) | public static final Source fromString( FILE: modules/core/src/main/java/org/dhallj/core/Tags.java class Tags (line 4) | final class Tags { FILE: modules/core/src/main/java/org/dhallj/core/ToStringVisitor.java class ToStringState (line 12) | final class ToStringState { method ToStringState (line 24) | ToStringState(String text, int level) { method ToStringState (line 29) | ToStringState(String text) { method withText (line 33) | ToStringState withText(String text) { method toString (line 37) | String toString(int contextLevel) { method toString (line 45) | public String toString() { method getOperatorLevel (line 49) | static final int getOperatorLevel(Operator operator) { class ToStringVisitor (line 58) | final class ToStringVisitor extends Visitor.NoPrepareEvents> field... method onRecordType (line 151) | public ToStringState onRecordType(List> f... method onUnionType (line 168) | public ToStringState onUnionType(List> fi... method onNonEmptyList (line 188) | public ToStringState onNonEmptyList(List values) { method onFieldAccess (line 202) | public ToStringState onFieldAccess(ToStringState base, String fieldNam... method onProjection (line 207) | public ToStringState onProjection(ToStringState base, String[] fieldNa... method onProjectionByType (line 221) | public ToStringState onProjectionByType(ToStringState base, ToStringSt... method onOperatorApplication (line 227) | public ToStringState onOperatorApplication( method onMissingImport (line 251) | public ToStringState onMissingImport(Expr.ImportMode mode, byte[] hash) { method onEnvImport (line 267) | public ToStringState onEnvImport(String value, Expr.ImportMode mode, b... method onLocalImport (line 284) | public ToStringState onLocalImport(Path path, Expr.ImportMode mode, by... method onClasspathImport (line 300) | @Override method onRemoteImport (line 319) | public ToStringState onRemoteImport( method onMerge (line 341) | public ToStringState onMerge(ToStringState handlers, ToStringState uni... method onLambda (line 356) | public ToStringState onLambda(String name, ToStringState type, ToStrin... method onPi (line 362) | public ToStringState onPi(String name, ToStringState type, ToStringSta... method onLet (line 372) | public ToStringState onLet(List> bindin... method onText (line 393) | public ToStringState onText(String[] parts, List interp... method onEmptyList (line 413) | public ToStringState onEmptyList(ToStringState type) { method onApplication (line 418) | public ToStringState onApplication(ToStringState base, List[] fields, boolean ... method ExprState (line 38) | ExprState(Expr expr, int state) { method compare (line 45) | public int compare(Entry a, Entry b) { class VisitState (line 51) | final class VisitState { method VisitState (line 62) | public VisitState(Visitor visitor, Expr expr) { FILE: modules/core/src/main/java/org/dhallj/core/Visitor.java type Visitor (line 16) | public interface Visitor { method bind (line 17) | void bind(String name, Expr type); method onNote (line 19) | A onNote(A base, Source source); method onNatural (line 21) | A onNatural(Expr self, BigInteger value); method onInteger (line 23) | A onInteger(Expr self, BigInteger value); method onDouble (line 25) | A onDouble(Expr self, double value); method onDate (line 27) | A onDate(Expr self, int year, int month, int day); method onTime (line 29) | A onTime(Expr self, int hour, int minute, int second, BigDecimal fract... method onTimeZone (line 31) | A onTimeZone(Expr self, int minutes); method onBuiltIn (line 33) | A onBuiltIn(Expr self, String value); method onIdentifier (line 35) | A onIdentifier(Expr self, String value, long index); method onLambda (line 37) | A onLambda(String name, A type, A result); method onPi (line 39) | A onPi(String name, A type, A result); method onLet (line 41) | A onLet(List> bindings, A body); method onText (line 43) | A onText(String[] parts, List interpolated); method onNonEmptyList (line 45) | A onNonEmptyList(List values); method onEmptyList (line 47) | A onEmptyList(A type); method onRecord (line 49) | A onRecord(List> fields); method onRecordType (line 51) | A onRecordType(List> fields); method onUnionType (line 53) | A onUnionType(List> fields); method onFieldAccess (line 55) | A onFieldAccess(A base, String fieldName); method onProjection (line 57) | A onProjection(A base, String[] fieldNames); method onProjectionByType (line 59) | A onProjectionByType(A base, A type); method onApplication (line 61) | A onApplication(A base, List args); method onOperatorApplication (line 63) | A onOperatorApplication(Operator operator, A lhs, A rhs); method onIf (line 65) | A onIf(A predicate, A thenValue, A elseValue); method onAnnotated (line 67) | A onAnnotated(A base, A type); method onAssert (line 69) | A onAssert(A base); method onMerge (line 71) | A onMerge(A handlers, A union, A type); method onToMap (line 73) | A onToMap(A base, A type); method onWith (line 75) | A onWith(A base, String[] path, A value); method onMissingImport (line 77) | A onMissingImport(Expr.ImportMode mode, byte[] hash); method onEnvImport (line 79) | A onEnvImport(String value, Expr.ImportMode mode, byte[] hash); method onLocalImport (line 81) | A onLocalImport(Path path, Expr.ImportMode mode, byte[] hash); method onClasspathImport (line 83) | A onClasspathImport(Path path, Expr.ImportMode mode, byte[] hash); method onRemoteImport (line 85) | A onRemoteImport(URI url, A using, Expr.ImportMode mode, byte[] hash); method sortFields (line 88) | boolean sortFields(); method flattenToMapLists (line 94) | boolean flattenToMapLists(); method prepareLambda (line 96) | boolean prepareLambda(String name, Expr type); method preparePi (line 98) | boolean preparePi(String name, Expr type); method prepareLet (line 100) | boolean prepareLet(int size); method prepareLetBinding (line 102) | boolean prepareLetBinding(String name, Expr type); method prepareText (line 104) | boolean prepareText(int size); method prepareTextPart (line 106) | boolean prepareTextPart(String part); method prepareNonEmptyList (line 108) | boolean prepareNonEmptyList(int size); method prepareNonEmptyListElement (line 110) | boolean prepareNonEmptyListElement(int index); method prepareEmptyList (line 112) | boolean prepareEmptyList(Expr type); method prepareRecord (line 114) | boolean prepareRecord(int size); method prepareRecordField (line 116) | boolean prepareRecordField(String name, Expr type, int index); method prepareRecordType (line 118) | boolean prepareRecordType(int size); method prepareRecordTypeField (line 120) | boolean prepareRecordTypeField(String name, Expr type, int index); method prepareUnionType (line 122) | boolean prepareUnionType(int size); method prepareUnionTypeField (line 124) | boolean prepareUnionTypeField(String name, Expr type, int index); method prepareFieldAccess (line 126) | boolean prepareFieldAccess(Expr base, String fieldName); method prepareProjection (line 128) | boolean prepareProjection(int size); method prepareProjectionByType (line 130) | boolean prepareProjectionByType(); method prepareProjectionByType (line 132) | boolean prepareProjectionByType(Expr type); method prepareApplication (line 134) | boolean prepareApplication(Expr base, int size); method prepareOperatorApplication (line 136) | boolean prepareOperatorApplication(Operator operator); method prepareIf (line 138) | boolean prepareIf(); method prepareAnnotated (line 140) | boolean prepareAnnotated(Expr type); method prepareAssert (line 142) | boolean prepareAssert(); method prepareMerge (line 144) | boolean prepareMerge(Expr type); method prepareToMap (line 146) | boolean prepareToMap(Expr type); method prepareWith (line 148) | boolean prepareWith(String[] path); method prepareWithValue (line 150) | boolean prepareWithValue(String[] path); method prepareRemoteImport (line 152) | boolean prepareRemoteImport(URI url, Expr using, Expr.ImportMode mode,... class NoPrepareEvents (line 161) | public abstract static class NoPrepareEvents implements Visitor { method bind (line 163) | public void bind(String name, Expr type) {} method sortFields (line 165) | public boolean sortFields() { method flattenToMapLists (line 169) | public boolean flattenToMapLists() { method prepareLambda (line 173) | public boolean prepareLambda(String name, Expr type) { method preparePi (line 177) | public boolean preparePi(String name, Expr type) { method prepareLet (line 181) | public boolean prepareLet(int size) { method prepareLetBinding (line 185) | public boolean prepareLetBinding(String name, Expr type) { method prepareText (line 189) | public boolean prepareText(int size) { method prepareTextPart (line 193) | public boolean prepareTextPart(String part) { method prepareNonEmptyList (line 197) | public boolean prepareNonEmptyList(int size) { method prepareNonEmptyListElement (line 201) | public boolean prepareNonEmptyListElement(int index) { method prepareEmptyList (line 205) | public boolean prepareEmptyList(Expr type) { method prepareRecord (line 209) | public boolean prepareRecord(int size) { method prepareRecordField (line 213) | public boolean prepareRecordField(String name, Expr type, int index) { method prepareRecordType (line 217) | public boolean prepareRecordType(int size) { method prepareRecordTypeField (line 221) | public boolean prepareRecordTypeField(String name, Expr type, int in... method prepareUnionType (line 225) | public boolean prepareUnionType(int size) { method prepareUnionTypeField (line 229) | public boolean prepareUnionTypeField(String name, Expr type, int ind... method prepareFieldAccess (line 233) | public boolean prepareFieldAccess(Expr base, String fieldName) { method prepareProjection (line 237) | public boolean prepareProjection(int size) { method prepareProjectionByType (line 241) | public boolean prepareProjectionByType() { method prepareProjectionByType (line 245) | public boolean prepareProjectionByType(Expr type) { method prepareApplication (line 249) | public boolean prepareApplication(Expr base, int size) { method prepareOperatorApplication (line 253) | public boolean prepareOperatorApplication(Operator operator) { method prepareIf (line 257) | public boolean prepareIf() { method prepareAnnotated (line 261) | public boolean prepareAnnotated(Expr type) { method prepareAssert (line 265) | public boolean prepareAssert() { method prepareMerge (line 269) | public boolean prepareMerge(Expr type) { method prepareToMap (line 273) | public boolean prepareToMap(Expr type) { method prepareWith (line 277) | public boolean prepareWith(String[] path) { method prepareWithValue (line 281) | public boolean prepareWithValue(String[] path) { method prepareRemoteImport (line 285) | public boolean prepareRemoteImport(URI url, Expr using, Expr.ImportM... class Constant (line 317) | public static class Constant extends NoPrepareEvents { method getReturnValue (line 320) | protected A getReturnValue() { method Constant (line 324) | public Constant(A value) { method bind (line 328) | public void bind(String name, Expr type) {} method onNote (line 330) | @Override method onNatural (line 335) | @Override method onInteger (line 340) | @Override method onDouble (line 345) | @Override method onDate (line 350) | @Override method onTime (line 355) | @Override method onTimeZone (line 360) | @Override method onBuiltIn (line 365) | @Override method onIdentifier (line 370) | @Override method onLambda (line 375) | @Override method onPi (line 380) | @Override method onLet (line 385) | @Override method onText (line 390) | @Override method onNonEmptyList (line 395) | @Override method onEmptyList (line 400) | @Override method onRecord (line 405) | @Override method onRecordType (line 410) | @Override method onUnionType (line 415) | @Override method onFieldAccess (line 420) | @Override method onProjection (line 425) | @Override method onProjectionByType (line 430) | @Override method onApplication (line 435) | @Override method onOperatorApplication (line 440) | @Override method onIf (line 445) | @Override method onAnnotated (line 450) | @Override method onAssert (line 455) | @Override method onMerge (line 460) | @Override method onToMap (line 465) | @Override method onWith (line 470) | @Override method onMissingImport (line 475) | @Override method onEnvImport (line 480) | @Override method onLocalImport (line 485) | @Override method onClasspathImport (line 490) | @Override method onRemoteImport (line 495) | @Override class Property (line 507) | public class Property extends Constant { method Property (line 508) | public Property() { method onLambda (line 512) | public Boolean onLambda(String name, Boolean type, Boolean result) { method onPi (line 516) | public Boolean onPi(String name, Boolean type, Boolean result) { method onLet (line 520) | public Boolean onLet(List> bindings, Boolea... method onText (line 533) | public Boolean onText(String[] parts, List interpolated) { method onNonEmptyList (line 542) | public Boolean onNonEmptyList(List values) { method onEmptyList (line 551) | public Boolean onEmptyList(Boolean type) { method onRecord (line 555) | public Boolean onRecord(List> fields) { method onRecordType (line 564) | public Boolean onRecordType(List> fields) { method onUnionType (line 573) | public Boolean onUnionType(List> fields) { method onFieldAccess (line 582) | public Boolean onFieldAccess(Boolean base, String fieldName) { method onProjection (line 586) | public Boolean onProjection(Boolean base, String[] fieldNames) { method onProjectionByType (line 590) | public Boolean onProjectionByType(Boolean base, Boolean type) { method onApplication (line 594) | public Boolean onApplication(Boolean base, List args) { method onOperatorApplication (line 606) | public Boolean onOperatorApplication(Operator operator, Boolean lhs,... method onIf (line 610) | public Boolean onIf(Boolean predicate, Boolean thenValue, Boolean el... method onAnnotated (line 614) | public Boolean onAnnotated(Boolean base, Boolean type) { method onAssert (line 618) | public Boolean onAssert(Boolean base) { method onMerge (line 622) | public Boolean onMerge(Boolean handlers, Boolean union, Boolean type) { method onToMap (line 626) | public Boolean onToMap(Boolean base, Boolean type) { method onToMap (line 630) | public Boolean onToMap(Boolean base, String[] path, Boolean value) { method onLocalImport (line 634) | public Boolean onLocalImport(Path path, Expr.ImportMode mode, byte[]... method onRemoteImport (line 638) | public Boolean onRemoteImport(URI url, Boolean using, Expr.ImportMod... method onEnvImport (line 642) | public Boolean onEnvImport(String value, Expr.ImportMode mode, byte[... method onMissingImport (line 646) | public Boolean onMissingImport(Expr.ImportMode mode, byte[] hash) { class Identity (line 657) | public abstract class Identity extends NoPrepareEvents { method onNote (line 658) | public Expr onNote(Expr base, Source source) { method onNatural (line 662) | public Expr onNatural(Expr self, BigInteger value) { method onInteger (line 666) | public Expr onInteger(Expr self, BigInteger value) { method onDouble (line 670) | public Expr onDouble(Expr self, double value) { method onDate (line 674) | public Expr onDate(Expr self, int year, int month, int day) { method onTime (line 678) | public Expr onTime(Expr self, int hour, int minute, int second, BigD... method onTimeZone (line 682) | public Expr onTimeZone(Expr self, int minutes) { method onBuiltIn (line 686) | public Expr onBuiltIn(Expr self, String name) { method onIdentifier (line 690) | public Expr onIdentifier(Expr self, String name, long index) { method onLambda (line 694) | public Expr onLambda(String name, Expr type, Expr result) { method onPi (line 698) | public Expr onPi(String name, Expr type, Expr result) { method onLet (line 702) | public Expr onLet(List> bindings, Expr body) { method onText (line 706) | public Expr onText(String[] parts, List interpolated) { method onNonEmptyList (line 710) | public Expr onNonEmptyList(List values) { method onEmptyList (line 714) | public Expr onEmptyList(Expr type) { method onRecord (line 718) | public Expr onRecord(List> fields) { method onRecordType (line 722) | public Expr onRecordType(List> fields) { method onUnionType (line 726) | public Expr onUnionType(List> fields) { method onFieldAccess (line 730) | public Expr onFieldAccess(Expr base, String fieldName) { method onProjection (line 734) | public Expr onProjection(Expr base, String[] fieldNames) { method onProjectionByType (line 738) | public Expr onProjectionByType(Expr base, Expr type) { method onApplication (line 742) | public Expr onApplication(Expr base, List args) { method onOperatorApplication (line 746) | public Expr onOperatorApplication(Operator operator, Expr lhs, Expr ... method onIf (line 750) | public Expr onIf(Expr predicate, Expr thenValue, Expr elseValue) { method onAnnotated (line 754) | public Expr onAnnotated(Expr base, Expr type) { method onAssert (line 758) | public Expr onAssert(Expr base) { method onMerge (line 762) | public Expr onMerge(Expr handlers, Expr union, Expr type) { method onToMap (line 766) | public Expr onToMap(Expr base, Expr type) { method onWith (line 770) | public Expr onWith(Expr base, String[] path, Expr value) { method onMissingImport (line 774) | public Expr onMissingImport(Expr.ImportMode mode, byte[] hash) { method onEnvImport (line 778) | public Expr onEnvImport(String value, Expr.ImportMode mode, byte[] h... method onLocalImport (line 782) | public Expr onLocalImport(Path path, Expr.ImportMode mode, byte[] ha... method onClasspathImport (line 786) | public Expr onClasspathImport(Path path, Expr.ImportMode mode, byte[... method onRemoteImport (line 790) | public Expr onRemoteImport(URI url, Expr using, Expr.ImportMode mode... FILE: modules/core/src/main/java/org/dhallj/core/binary/CborDecodingVisitor.java class CborDecodingVisitor (line 24) | final class CborDecodingVisitor implements Visitor { method CborDecodingVisitor (line 28) | CborDecodingVisitor(Reader reader) { method onUnsignedInteger (line 32) | @Override method onNegativeInteger (line 37) | @Override method onByteString (line 42) | @Override method onTextString (line 47) | @Override method onVariableArray (line 52) | @Override method onArray (line 64) | @Override method onMap (line 124) | @Override method onFalse (line 129) | @Override method onTrue (line 134) | @Override method onNull (line 139) | @Override method onHalfFloat (line 144) | @Override method onSingleFloat (line 149) | @Override method onDoubleFloat (line 154) | @Override method onTag (line 159) | @Override method readFnApplication (line 165) | private Expr readFnApplication(BigInteger length) { method readFunction (line 178) | private Expr readFunction(BigInteger length) { method readPi (line 197) | private Expr readPi(BigInteger length) { method readOperator (line 216) | private Expr readOperator(BigInteger length) { method readList (line 234) | private Expr readList(BigInteger length) { method readEmptyListAbstractType (line 255) | private Expr readEmptyListAbstractType(BigInteger length) { method readSome (line 268) | private Expr readSome(BigInteger length) { method readMerge (line 281) | private Expr readMerge(BigInteger length) { method readMap (line 297) | private Expr readMap(BigInteger length) { method readWith (line 311) | private Expr readWith(BigInteger length) { method readRecordType (line 329) | private Expr readRecordType(BigInteger length) { method readRecordLiteral (line 339) | private Expr readRecordLiteral(BigInteger length) { method readFieldAccess (line 349) | private Expr readFieldAccess(BigInteger length) { method readProjection (line 360) | private Expr readProjection(BigInteger length) { method readUnion (line 390) | private Expr readUnion(BigInteger length) { method readIf (line 400) | private Expr readIf(BigInteger length) { method readTypeAnnotation (line 412) | private Expr readTypeAnnotation(BigInteger length) { method readLet (line 423) | private Expr readLet(BigInteger length) { method readLet (line 427) | private Expr readLet(long len) { method readImport (line 442) | private Expr readImport(BigInteger length) { method readMode (line 473) | private Expr.ImportMode readMode() { method readLocalImport (line 486) | private Expr readLocalImport( method readClasspathImport (line 496) | private Expr readClasspathImport( method readRemoteImport (line 506) | private Expr readRemoteImport( method readEnvImport (line 526) | private Expr readEnvImport(BigInteger length, Expr.ImportMode mode, by... method readAssert (line 531) | private Expr readAssert(BigInteger length) { method readTextLiteral (line 541) | private Expr readTextLiteral(BigInteger length) { method readInteger (line 555) | private Expr readInteger(BigInteger length) { method readNatural (line 559) | private Expr readNatural(BigInteger length) { method readDate (line 563) | private Expr readDate(BigInteger length) { method readTime (line 575) | private Expr readTime(BigInteger length) { method readTimeZone (line 590) | private Expr readTimeZone(BigInteger length) { method readExpr (line 609) | private Expr readExpr() { method notExpected (line 613) | private Expr notExpected(String msg) { FILE: modules/core/src/main/java/org/dhallj/core/binary/Decode.java class Decode (line 6) | public class Decode { method decode (line 7) | public static final Expr decode(byte[] bytes) { FILE: modules/core/src/main/java/org/dhallj/core/binary/DecodingException.java class DecodingException (line 5) | public class DecodingException extends DhallException { method DecodingException (line 6) | public DecodingException(String message) { method DecodingException (line 10) | public DecodingException(String message, Throwable cause) { FILE: modules/core/src/main/java/org/dhallj/core/binary/Encode.java class Encode (line 17) | public final class Encode implements Visitor { method Encode (line 20) | public Encode(Writer writer) { method sortFields (line 24) | public boolean sortFields() { method flattenToMapLists (line 28) | public boolean flattenToMapLists() { method onNote (line 32) | public Void onNote(Void base, Source source) { method onNatural (line 36) | public Void onNatural(Expr self, BigInteger value) { method onInteger (line 43) | public Void onInteger(Expr self, BigInteger value) { method onDouble (line 50) | public Void onDouble(Expr self, double value) { method onDate (line 55) | public Void onDate(Expr self, int year, int month, int day) { method onTime (line 64) | public Void onTime(Expr self, int hour, int minute, int second, BigDec... method onTimeZone (line 73) | public Void onTimeZone(Expr self, int minutes) { method onBuiltIn (line 84) | public Void onBuiltIn(Expr self, String name) { method onIdentifier (line 95) | public Void onIdentifier(Expr self, String name, long index) { method bind (line 106) | public void bind(String param, Expr type) {} method prepareLambda (line 108) | public boolean prepareLambda(String name, Expr type) { method onLambda (line 120) | public Void onLambda(String name, Void type, Void result) { method preparePi (line 124) | public boolean preparePi(String name, Expr type) { method onPi (line 136) | public Void onPi(String name, Void type, Void result) { method prepareLet (line 140) | public boolean prepareLet(int size) { method prepareLetBinding (line 146) | public boolean prepareLetBinding(String name, Expr type) { method onLet (line 154) | public Void onLet(List> bindings, Void body) { method unescapeText (line 158) | private static final String unescapeText(String input) { method prepareText (line 192) | public boolean prepareText(int size) { method prepareTextPart (line 198) | public boolean prepareTextPart(String part) { method onText (line 203) | public Void onText(String[] parts, List interpolated) { method prepareNonEmptyList (line 207) | public boolean prepareNonEmptyList(int size) { method prepareNonEmptyListElement (line 214) | public boolean prepareNonEmptyListElement(int index) { method onNonEmptyList (line 218) | public Void onNonEmptyList(final List values) { method prepareEmptyList (line 222) | public boolean prepareEmptyList(Expr type) { method onEmptyList (line 238) | public Void onEmptyList(Void type) { method prepareRecord (line 242) | public boolean prepareRecord(int size) { method prepareRecordField (line 249) | public boolean prepareRecordField(String name, Expr type, int index) { method onRecord (line 254) | public Void onRecord(final List> fields) { method prepareRecordType (line 258) | public boolean prepareRecordType(int size) { method prepareRecordTypeField (line 265) | public boolean prepareRecordTypeField(String name, Expr type, int inde... method onRecordType (line 270) | public Void onRecordType(final List> fields) { method prepareUnionType (line 274) | public boolean prepareUnionType(int size) { method prepareUnionTypeField (line 281) | public boolean prepareUnionTypeField(String name, Expr type, int index) { method onUnionType (line 289) | public Void onUnionType(final List> fields) { method prepareFieldAccess (line 293) | public boolean prepareFieldAccess(Expr base, String fieldName) { method onFieldAccess (line 299) | public Void onFieldAccess(Void base, final String fieldName) { method prepareProjection (line 304) | public boolean prepareProjection(int size) { method onProjection (line 310) | public Void onProjection(Void base, final String[] fieldNames) { method prepareProjectionByType (line 317) | public boolean prepareProjectionByType() { method prepareProjectionByType (line 323) | public boolean prepareProjectionByType(Expr type) { method onProjectionByType (line 328) | public Void onProjectionByType(Void base, Void type) { method prepareApplication (line 332) | public boolean prepareApplication(Expr base, int size) { method onApplication (line 355) | public Void onApplication(Void base, final List args) { method prepareOperatorApplication (line 359) | public boolean prepareOperatorApplication(final Operator operator) { method onOperatorApplication (line 366) | public Void onOperatorApplication(Operator operator, Void lhs, Void rh... method prepareIf (line 370) | public boolean prepareIf() { method onIf (line 376) | public Void onIf(Void predicate, Void thenValue, Void elseValue) { method prepareAnnotated (line 380) | public boolean prepareAnnotated(Expr type) { method onAnnotated (line 386) | public Void onAnnotated(Void base, Void type) { method prepareAssert (line 390) | public boolean prepareAssert() { method onAssert (line 396) | public Void onAssert(Void base) { method prepareMerge (line 400) | public boolean prepareMerge(Expr type) { method onMerge (line 406) | public Void onMerge(Void handlers, Void union, Void type) { method prepareToMap (line 410) | public boolean prepareToMap(Expr type) { method onToMap (line 416) | public Void onToMap(Void base, Void type) { method prepareWith (line 420) | public boolean prepareWith(String[] path) { method prepareWithValue (line 426) | public boolean prepareWithValue(String[] path) { method onWith (line 434) | public Void onWith(Void base, String[] path, Void value) { method modeLabel (line 438) | private final int modeLabel(Expr.ImportMode mode) { method multihash (line 448) | private static final byte[] multihash(byte[] hash) { method onMissingImport (line 458) | public Void onMissingImport(final Expr.ImportMode mode, final byte[] h... method onEnvImport (line 471) | public Void onEnvImport(final String value, final Expr.ImportMode mode... method pathLabel (line 485) | private static final int pathLabel(Path path) { method onLocalImport (line 501) | public Void onLocalImport(final Path path, final Expr.ImportMode mode,... method onClasspathImport (line 523) | @Override method urlLabel (line 543) | private static final int urlLabel(URI url) { method getUrlPathParts (line 553) | private static final List getUrlPathParts(URI url) { method prepareRemoteImport (line 571) | public boolean prepareRemoteImport(URI url, Expr using, Expr.ImportMod... method onRemoteImport (line 590) | public Void onRemoteImport(URI url, Void using, Expr.ImportMode mode, ... FILE: modules/core/src/main/java/org/dhallj/core/binary/Label.java class Label (line 3) | final class Label { FILE: modules/core/src/main/java/org/dhallj/core/converters/JsonConverter.java class JsonConverter (line 9) | public final class JsonConverter extends Visitor.Constant { method JsonConverter (line 13) | public JsonConverter(JsonHandler handler, boolean escapeStrings) { method JsonConverter (line 19) | public JsonConverter(JsonHandler handler) { method toCompactString (line 23) | public static final String toCompactString(Expr expr) { method escape (line 33) | private static final String escape(String input) { method sortFields (line 60) | @Override method flattenToMapLists (line 65) | @Override method onNatural (line 70) | @Override method onInteger (line 76) | @Override method onDouble (line 82) | @Override method onBuiltIn (line 88) | @Override method onText (line 101) | @Override method prepareNonEmptyList (line 115) | @Override method prepareNonEmptyListElement (line 121) | @Override method onNonEmptyList (line 129) | @Override method onEmptyList (line 140) | @Override method prepareRecord (line 147) | @Override method prepareRecordField (line 153) | @Override method onRecord (line 166) | @Override method prepareFieldAccess (line 177) | @Override method onFieldAccess (line 192) | @Override method prepareApplication (line 197) | @Override method onApplication (line 227) | @Override FILE: modules/core/src/main/java/org/dhallj/core/converters/JsonHandler.java type JsonHandler (line 6) | public interface JsonHandler { method onNull (line 7) | void onNull(); method onBoolean (line 9) | void onBoolean(boolean value); method onNumber (line 11) | void onNumber(BigInteger value); method onDouble (line 13) | void onDouble(double value); method onString (line 15) | void onString(String value); method onArrayStart (line 17) | void onArrayStart(); method onArrayEnd (line 19) | void onArrayEnd(); method onArrayElementGap (line 21) | void onArrayElementGap(); method onObjectStart (line 23) | void onObjectStart(); method onObjectEnd (line 25) | void onObjectEnd(); method onObjectField (line 27) | void onObjectField(String name); method onObjectFieldGap (line 29) | void onObjectFieldGap(); class CompactPrinter (line 31) | public static final class CompactPrinter implements JsonHandler { method CompactPrinter (line 34) | public CompactPrinter(PrintWriter writer) { method onNull (line 38) | public void onNull() { method onBoolean (line 42) | public void onBoolean(boolean value) { method onNumber (line 46) | public void onNumber(BigInteger value) { method onDouble (line 50) | public void onDouble(double value) { method onString (line 54) | public void onString(String value) { method onArrayStart (line 58) | public void onArrayStart() { method onArrayEnd (line 62) | public void onArrayEnd() { method onArrayElementGap (line 66) | public void onArrayElementGap() { method onObjectStart (line 70) | public void onObjectStart() { method onObjectEnd (line 74) | public void onObjectEnd() { method onObjectField (line 78) | public void onObjectField(String name) { method onObjectFieldGap (line 82) | public void onObjectFieldGap() { class CompactStringPrinter (line 87) | public static final class CompactStringPrinter implements JsonHandler { method CompactStringPrinter (line 90) | public CompactStringPrinter() { method toString (line 94) | public String toString() { method onNull (line 98) | public void onNull() { method onBoolean (line 102) | public void onBoolean(boolean value) { method onNumber (line 106) | public void onNumber(BigInteger value) { method onDouble (line 110) | public void onDouble(double value) { method onString (line 114) | public void onString(String value) { method onArrayStart (line 118) | public void onArrayStart() { method onArrayEnd (line 122) | public void onArrayEnd() { method onArrayElementGap (line 126) | public void onArrayElementGap() { method onObjectStart (line 130) | public void onObjectStart() { method onObjectEnd (line 134) | public void onObjectEnd() { method onObjectField (line 138) | public void onObjectField(String name) { method onObjectFieldGap (line 142) | public void onObjectFieldGap() { FILE: modules/core/src/main/java/org/dhallj/core/normalization/AlphaNormalize.java class AlphaNormalize (line 24) | public final class AlphaNormalize extends Visitor.Identity { method onIdentifier (line 35) | @Override method bind (line 52) | @Override method onLambda (line 67) | @Override method onPi (line 77) | @Override method onLet (line 87) | @Override FILE: modules/core/src/main/java/org/dhallj/core/normalization/BetaNormalize.java class BetaNormalize (line 22) | public final class BetaNormalize extends Visitor.NoPrepareEvents { method bind (line 25) | public void bind(String name, Expr type) {} method onNote (line 27) | public Expr onNote(Expr base, Source source) { method onNatural (line 31) | public Expr onNatural(Expr self, BigInteger value) { method onInteger (line 35) | public Expr onInteger(Expr self, BigInteger value) { method onDouble (line 39) | public Expr onDouble(Expr self, double value) { method onDate (line 43) | public Expr onDate(Expr self, int year, int month, int day) { method onTime (line 47) | public Expr onTime(Expr self, int hour, int minute, int second, BigDec... method onTimeZone (line 51) | public Expr onTimeZone(Expr self, int minutes) { method onBuiltIn (line 55) | public Expr onBuiltIn(Expr self, String name) { method onIdentifier (line 59) | public Expr onIdentifier(Expr self, String name, long index) { method onLambda (line 63) | public Expr onLambda(String name, Expr type, Expr result) { method onPi (line 67) | public Expr onPi(String name, Expr type, Expr result) { method onLet (line 71) | public Expr onLet(List> bindings, Expr body) { method onText (line 84) | public Expr onText(String[] parts, List interpolated) { method onNonEmptyList (line 88) | public Expr onNonEmptyList(List values) { method onEmptyList (line 92) | public Expr onEmptyList(Expr type) { method onRecord (line 96) | public Expr onRecord(List> fields) { method onRecordType (line 101) | public Expr onRecordType(List> fields) { method onUnionType (line 106) | public Expr onUnionType(List> fields) { method onFieldAccess (line 111) | public Expr onFieldAccess(Expr base, String fieldName) { method onProjection (line 115) | public Expr onProjection(Expr base, String[] fieldNames) { method onProjectionByType (line 119) | public Expr onProjectionByType(Expr base, Expr arg) { method onApplication (line 129) | public Expr onApplication(Expr base, List args) { method onOperatorApplication (line 133) | public Expr onOperatorApplication(Operator operator, Expr lhs, Expr rh... method onIf (line 137) | public Expr onIf(Expr predicate, Expr thenValue, Expr elseValue) { method onAnnotated (line 141) | public Expr onAnnotated(Expr base, Expr type) { method onAssert (line 145) | public Expr onAssert(Expr type) { method onMerge (line 149) | public Expr onMerge(Expr handlers, Expr union, Expr type) { method onToMap (line 153) | public Expr onToMap(Expr base, Expr type) { method onWith (line 157) | public Expr onWith(Expr base, String[] path, Expr value) { method onMissingImport (line 161) | public Expr onMissingImport(Expr.ImportMode mode, byte[] hash) { method onEnvImport (line 165) | public Expr onEnvImport(String value, Expr.ImportMode mode, byte[] has... method onLocalImport (line 169) | public Expr onLocalImport(Path path, Expr.ImportMode mode, byte[] hash) { method onClasspathImport (line 173) | @Override method onRemoteImport (line 178) | public Expr onRemoteImport(URI url, Expr using, Expr.ImportMode mode, ... FILE: modules/core/src/main/java/org/dhallj/core/normalization/BetaNormalizeApplication.java class BetaNormalizeApplication (line 12) | final class BetaNormalizeApplication { method applyLambdas (line 13) | private static Expr applyLambdas(Expr base, final List args) { method booleanToExpr (line 38) | private static final Expr booleanToExpr(boolean value) { method apply (line 42) | static final Expr apply(Expr base, List args) { method indexedRecordType (line 91) | private static final Expr indexedRecordType(Expr type) { method isBigIntegerEven (line 98) | private static final boolean isBigIntegerEven(BigInteger value) { method isBigIntegerNatural (line 102) | private static final boolean isBigIntegerNatural(BigInteger value) { method arity1 (line 106) | private static final Expr arity1(String identifier, Expr arg) { method arity2 (line 203) | private static final Expr arity2(String identifier, Expr arg1, Expr ar... method drop (line 312) | private static List drop(List args, int count) { method naturalFold (line 320) | private static final Expr naturalFold(List args) { method listFold (line 357) | private static final Expr listFold(List args) { method textReplace (line 400) | private static final Expr textReplace(List args) { FILE: modules/core/src/main/java/org/dhallj/core/normalization/BetaNormalizeFieldAccess.java class BetaNormalizeFieldAccess (line 10) | final class BetaNormalizeFieldAccess extends ExternalVisitor.Constant { method BetaNormalizeMerge (line 12) | private BetaNormalizeMerge(List> handlers) { method apply (line 17) | static final Expr apply(Expr handlers, Expr union, Expr type) { method onFieldAccess (line 30) | @Override method onApplication (line 41) | @Override method merge (line 67) | private static Expr merge(List> handlers, String f... method merge (line 71) | private static Expr merge(List> handlers, String f... FILE: modules/core/src/main/java/org/dhallj/core/normalization/BetaNormalizeOperatorApplication.java class BetaNormalizeOperatorApplication (line 12) | final class BetaNormalizeOperatorApplication { method apply (line 13) | static final Expr apply(Operator operator, Expr lhs, Expr rhs) { method mergeRecursive (line 176) | private static final Expr mergeRecursive( method mergeTypesRecursive (line 212) | private static final Expr mergeTypesRecursive( FILE: modules/core/src/main/java/org/dhallj/core/normalization/BetaNormalizeProjection.java class BetaNormalizeProjection (line 15) | final class BetaNormalizeProjection extends ExternalVisitor.Constant interpolated) { class InlineInterpolatedTextLiteral (line 66) | private static final class InlineInterpolatedTextLiteral method InlineInterpolatedTextLiteral (line 71) | InlineInterpolatedTextLiteral(List newParts, List newI... method onText (line 77) | @Override FILE: modules/core/src/main/java/org/dhallj/core/normalization/BetaNormalizeToMap.java class BetaNormalizeToMap (line 9) | final class BetaNormalizeToMap { method apply (line 10) | static final Expr apply(Expr base, Expr type) { method escape (line 32) | private static final String escape(String input) { method makeRecord (line 59) | private static final Expr makeRecord(String key, Expr value) { FILE: modules/core/src/main/java/org/dhallj/core/normalization/BetaNormalizeWith.java class BetaNormalizeWith (line 11) | final class BetaNormalizeWith { method apply (line 12) | static final Expr apply(Expr base, String[] path, Expr value) { method compare (line 74) | public int compare(Entry a, Entry b) { FILE: modules/core/src/main/java/org/dhallj/core/normalization/NormalizationUtils.java class NormalizationUtilities (line 8) | final class NormalizationUtilities { method lookup (line 9) | static final A lookup(Iterable> entries, String k... method lookupEntry (line 18) | static final Entry lookupEntry(Iterable a, Entry b) { FILE: modules/core/src/main/java/org/dhallj/core/normalization/Shift.java class Shift (line 21) | public final class Shift extends Visitor.Identity { method Shift (line 26) | public Shift(boolean isIncrement, String name) { method onIdentifier (line 31) | @Override method bind (line 40) | @Override method onLambda (line 47) | @Override method onPi (line 56) | @Override method onLet (line 65) | @Override FILE: modules/core/src/main/java/org/dhallj/core/normalization/Substitute.java class Substitute (line 14) | public final class Substitute extends Visitor.Identity { method Substitute (line 19) | public Substitute(String name, Expr replacement) { method bind (line 24) | @Override method onIdentifier (line 33) | @Override method onLambda (line 48) | @Override method onPi (line 59) | @Override method onLet (line 70) | @Override FILE: modules/core/src/main/java/org/dhallj/core/typechecking/BuiltInTypes.java class BuiltInTypes (line 10) | final class BuiltInTypes { method getType (line 11) | static final Expr getType(String name) { FILE: modules/core/src/main/java/org/dhallj/core/typechecking/CheckEquivalence.java class CheckEquivalence (line 7) | final class CheckEquivalence extends ExternalVisitor.Constant { method CheckEquivalence (line 10) | CheckEquivalence() { method onOperatorApplication (line 14) | @Override FILE: modules/core/src/main/java/org/dhallj/core/typechecking/Context.java class Context (line 5) | final class Context { method Context (line 10) | Context(String key, Expr value, Context tail) { method lookup (line 16) | public Expr lookup(String targetKey, long index) { method insert (line 36) | public Context insert(String key, Expr value) { method increment (line 40) | public Context increment(String name) { method decrement (line 48) | public Context decrement(String name) { FILE: modules/core/src/main/java/org/dhallj/core/typechecking/NonNegativeIndices.java class NonNegativeIndices (line 6) | final class NonNegativeIndices extends Visitor.Property { method onIdentifier (line 9) | @Override FILE: modules/core/src/main/java/org/dhallj/core/typechecking/TypeCheck.java class TypeCheck (line 27) | public final class TypeCheck implements ExternalVisitor { method TypeCheck (line 30) | public TypeCheck(Context context) { method TypeCheck (line 34) | public TypeCheck() { method onNote (line 38) | @Override method onNatural (line 43) | @Override method onInteger (line 48) | @Override method onDouble (line 53) | @Override method onDate (line 58) | @Override method onTime (line 63) | @Override method onTimeZone (line 68) | @Override method onBuiltIn (line 73) | @Override method onIdentifier (line 87) | @Override method onLambda (line 98) | @Override method onPi (line 113) | @Override method onLet (line 136) | @Override method onText (line 152) | @Override method onNonEmptyList (line 164) | @Override method onEmptyList (line 183) | @Override method onRecord (line 198) | @Override method onRecordType (line 218) | @Override method onUnionType (line 245) | @Override method onFieldAccess (line 275) | @Override method onProjection (line 307) | @Override method onProjectionByType (line 344) | @Override method onApplication (line 378) | @Override method onOperatorApplication (line 392) | @Override method onIf (line 505) | @Override method onAnnotated (line 526) | @Override method onAssert (line 536) | @Override method onMerge (line 550) | @Override method onToMap (line 603) | @Override method onWith (line 698) | @Override method onMissingImport (line 755) | @Override method onEnvImport (line 760) | @Override method onLocalImport (line 765) | @Override method onClasspathImport (line 770) | @Override method onRemoteImport (line 775) | @Override method isBool (line 780) | static final boolean isBool(Expr expr) { method isText (line 785) | static final boolean isText(Expr expr) { method isList (line 790) | static final boolean isList(Expr expr) { method isNatural (line 795) | static final boolean isNatural(Expr expr) { method isOptional (line 800) | static final boolean isOptional(Expr expr) { method isType (line 805) | static final boolean isType(Expr expr) { method checkRecursiveTypeMerge (line 810) | private final void checkRecursiveTypeMerge( method makeOptionalConstructors (line 829) | private static final List> makeOptionalConstructor... method getMergeInferredType (line 836) | private static final Expr getMergeInferredType( method prefer (line 911) | private static final Entry[] prefer( method compare (line 947) | public int compare(Entry a, Entry b) { FILE: modules/core/src/main/java/org/dhallj/core/typechecking/TypeCheckApplication.java class TypeCheckApplication (line 6) | final class TypeCheckApplication extends ExternalVisitor.Constant { method TypeCheckApplication (line 11) | TypeCheckApplication(Expr arg, Expr argType, TypeCheck typeCheck) { method onBuiltIn (line 18) | @Override method onPi (line 30) | @Override FILE: modules/core/src/main/java/org/dhallj/core/typechecking/TypeCheckFailure.java class TypeCheckFailure (line 7) | public final class TypeCheckFailure extends DhallException { method fillInStackTrace (line 8) | @Override method TypeCheckFailure (line 14) | TypeCheckFailure(String message) { method makeSortError (line 18) | static final TypeCheckFailure makeSortError() { method makeUnboundVariableError (line 22) | static final TypeCheckFailure makeUnboundVariableError(String name) { method makeOperatorError (line 26) | static final TypeCheckFailure makeOperatorError(Operator operator) { method makeListAppendError (line 53) | static final TypeCheckFailure makeListAppendError(Expr lhs, Expr rhs) { method makeEquivalenceError (line 57) | static final TypeCheckFailure makeEquivalenceError(Expr lhs, Expr rhs) { method makeInterpolationError (line 61) | static final TypeCheckFailure makeInterpolationError(Expr interpolated... method makeSomeApplicationError (line 65) | static final TypeCheckFailure makeSomeApplicationError(Expr arg, Expr ... method makeBuiltInApplicationError (line 69) | static final TypeCheckFailure makeBuiltInApplicationError(String name,... method makeApplicationTypeError (line 73) | static final TypeCheckFailure makeApplicationTypeError(Expr expected, ... method makeApplicationError (line 77) | static final TypeCheckFailure makeApplicationError(Expr base, Expr arg) { method makeUnresolvedImportError (line 81) | static final TypeCheckFailure makeUnresolvedImportError() { method makeIfPredicateError (line 85) | static final TypeCheckFailure makeIfPredicateError(Expr type) { method makeIfBranchTypeMismatchError (line 89) | static final TypeCheckFailure makeIfBranchTypeMismatchError(Expr thenT... method makeLambdaInputError (line 93) | static final TypeCheckFailure makeLambdaInputError(Expr type) { method makePiInputError (line 97) | static final TypeCheckFailure makePiInputError(Expr type) { method makePiOutputError (line 101) | static final TypeCheckFailure makePiOutputError(Expr type) { method makeAssertError (line 105) | static final TypeCheckFailure makeAssertError(Expr type) { method makeFieldAccessError (line 109) | static final TypeCheckFailure makeFieldAccessError() { method makeFieldAccessRecordMissingError (line 113) | static final TypeCheckFailure makeFieldAccessRecordMissingError(String... method makeFieldAccessUnionMissingError (line 117) | static final TypeCheckFailure makeFieldAccessUnionMissingError(String ... method makeProjectionError (line 121) | static final TypeCheckFailure makeProjectionError() { method makeFieldTypeError (line 125) | static final TypeCheckFailure makeFieldTypeError(String fieldName, Exp... method makeFieldDuplicateError (line 129) | static final TypeCheckFailure makeFieldDuplicateError(String fieldName) { method makeListTypeMismatchError (line 133) | static final TypeCheckFailure makeListTypeMismatchError(Expr type1, Ex... method makeListTypeError (line 137) | static final TypeCheckFailure makeListTypeError(Expr type) { method makeAnnotationError (line 141) | static final TypeCheckFailure makeAnnotationError(Expr expected, Expr ... method makeAlternativeTypeError (line 145) | static final TypeCheckFailure makeAlternativeTypeError(String fieldNam... method makeAlternativeDuplicateError (line 150) | static final TypeCheckFailure makeAlternativeDuplicateError(String fie... method makeMergeHandlersTypeError (line 154) | static final TypeCheckFailure makeMergeHandlersTypeError(Expr type) { method makeMergeUnionTypeError (line 158) | static final TypeCheckFailure makeMergeUnionTypeError(Expr type) { method makeMergeHandlerMissingError (line 162) | static final TypeCheckFailure makeMergeHandlerMissingError(String fiel... method makeMergeHandlerUnusedError (line 166) | static final TypeCheckFailure makeMergeHandlerUnusedError(String field... method makeMergeHandlerTypeInvalidError (line 170) | static final TypeCheckFailure makeMergeHandlerTypeInvalidError(Expr ex... method makeMergeHandlerTypeNotFunctionError (line 174) | static final TypeCheckFailure makeMergeHandlerTypeNotFunctionError( method makeMergeHandlerTypeMismatchError (line 179) | static final TypeCheckFailure makeMergeHandlerTypeMismatchError(Expr t... method makeMergeHandlerTypeDisallowedError (line 183) | static final TypeCheckFailure makeMergeHandlerTypeDisallowedError(Expr... method makeMergeInvalidAnnotationError (line 187) | static final TypeCheckFailure makeMergeInvalidAnnotationError(Expr exp... method makeToMapTypeError (line 191) | static final TypeCheckFailure makeToMapTypeError(Expr type) { method makeToMapRecordKindError (line 195) | static final TypeCheckFailure makeToMapRecordKindError(Expr type) { method makeToMapRecordTypeMismatchError (line 199) | static final TypeCheckFailure makeToMapRecordTypeMismatchError(Expr ty... method makeToMapResultTypeMismatchError (line 203) | static final TypeCheckFailure makeToMapResultTypeMismatchError(Expr ex... method makeToMapMissingAnnotationError (line 207) | static final TypeCheckFailure makeToMapMissingAnnotationError() { method makeToMapInvalidAnnotationError (line 211) | static final TypeCheckFailure makeToMapInvalidAnnotationError(Expr typ... method makeWithTypeError (line 215) | static final TypeCheckFailure makeWithTypeError(Expr type) { FILE: modules/core/src/main/java/org/dhallj/core/typechecking/Universe.java type Universe (line 5) | public enum Universe { method max (line 10) | public final Universe max(Universe other) { method toExpr (line 20) | public final Expr toExpr() { method isUniverse (line 30) | public static final boolean isUniverse(Expr expr) { method fromExpr (line 34) | public static final Universe fromExpr(Expr expr) { method functionCheck (line 49) | public static Universe functionCheck(Universe input, Universe output) { FILE: modules/imports-mini/src/main/java/org/dhallj/imports/mini/ResolutionVisitor.java class ResolutionVisitor (line 16) | abstract class ResolutionVisitor extends Visitor.Identity { method ResolutionVisitor (line 20) | ResolutionVisitor(Path currentPath, boolean integrityChecks) { method readContents (line 25) | protected abstract String readContents(Path path) throws IOException, ... method withCurrentPath (line 27) | protected abstract ResolutionVisitor withCurrentPath(Path newCurrentPa... method bind (line 29) | public void bind(String name, Expr type) {} method onOperatorApplication (line 31) | @Override method onMissingImport (line 40) | @Override method onEnvImport (line 53) | @Override method onLocalImport (line 83) | @Override method onRemoteImport (line 118) | @Override method checkHash (line 134) | private final Expr checkHash(Expr result, byte[] expected) { class Filesystem (line 144) | static final class Filesystem extends ResolutionVisitor { method Filesystem (line 145) | Filesystem(Path currentPath, boolean integrityChecks) { method withCurrentPath (line 149) | protected ResolutionVisitor withCurrentPath(Path newCurrentPath) { method readContents (line 153) | protected String readContents(Path path) throws IOException, URISynt... class Resources (line 158) | static final class Resources extends ResolutionVisitor { method Resources (line 161) | Resources(Path currentPath, boolean integrityChecks, ClassLoader cla... method withCurrentPath (line 166) | protected ResolutionVisitor withCurrentPath(Path newCurrentPath) { method readContents (line 170) | protected String readContents(Path path) throws IOException, URISynt... class WrappedParsingFailure (line 176) | static final class WrappedParsingFailure extends RuntimeException { method WrappedParsingFailure (line 180) | WrappedParsingFailure(String location, ParsingFailure underlying) { class WrappedIOException (line 187) | static final class WrappedIOException extends RuntimeException { method WrappedIOException (line 191) | WrappedIOException(Path path, Exception underlying) { class Missing (line 198) | static final class Missing extends RuntimeException { method Missing (line 199) | Missing() { class MissingEnv (line 204) | static final class MissingEnv extends RuntimeException { method MissingEnv (line 207) | MissingEnv(String name) { class IntegrityCheckException (line 213) | static final class IntegrityCheckException extends RuntimeException { method IntegrityCheckException (line 217) | IntegrityCheckException(byte[] expected, byte[] received) { FILE: modules/imports-mini/src/main/java/org/dhallj/imports/mini/Resolver.java class Resolver (line 7) | public final class Resolver { method resolve (line 8) | public static final Expr resolve(Expr expr, boolean integrityChecks, P... method resolve (line 13) | public static final Expr resolve(Expr expr, boolean integrityChecks) t... method resolve (line 17) | public static final Expr resolve(Expr expr) throws ResolutionFailure { method resolveFromResources (line 21) | public static final Expr resolveFromResources( method resolveFromResources (line 28) | public static final Expr resolveFromResources( method resolveFromResources (line 34) | public static final Expr resolveFromResources(Expr expr, boolean integ... method resolveFromResources (line 39) | public static final Expr resolveFromResources(Expr expr) throws Resolu... method resolveWithVisitor (line 43) | private static final Expr resolveWithVisitor(Expr expr, ResolutionVisi... FILE: modules/parser/src/main/java/org/dhallj/parser/DhallParser.java class DhallParser (line 10) | public final class DhallParser { method parse (line 13) | public static Expr.Parsed parse(String input) { method parse (line 17) | public static Expr.Parsed parse(InputStream input) throws IOException { method parse (line 21) | public static Expr.Parsed parse(InputStream input, Charset charset) th... FILE: modules/parser/src/main/java/org/dhallj/parser/support/Comment.java class Comment (line 3) | final class Comment { method Comment (line 10) | Comment(String content, int beginLine, int beginColumn, int endLine, i... method getContent (line 18) | public String getContent() { method getBeginLine (line 22) | public final int getBeginLine() { method getBeginColumn (line 26) | public final int getBeginColumn() { method getEndLine (line 30) | public final int getEndLine() { method getEndColumn (line 34) | public final int getEndColumn() { FILE: modules/parser/src/main/java/org/dhallj/parser/support/LetBinding.java class LetBinding (line 5) | final class LetBinding { method LetBinding (line 15) | LetBinding( FILE: modules/parser/src/main/java/org/dhallj/parser/support/OperatorPrecedenceTable.java class OperatorPrecedenceTable (line 5) | final class OperatorPrecedenceTable implements JavaCCParserConstants { method get (line 29) | static final int get(int tokenKind) { FILE: modules/parser/src/main/java/org/dhallj/parser/support/Parser.java class Parser (line 10) | public final class Parser { method parse (line 11) | public static Expr.Parsed parse(String input) { method parse (line 21) | public static Expr.Parsed parse(InputStream input, Charset charset) th... FILE: modules/parser/src/main/java/org/dhallj/parser/support/ParsingHelpers.java class ParsingHelpers (line 22) | final class ParsingHelpers { method sourceFromToken (line 24) | private static Source sourceFromToken(Token token) { method sourceFromTokens (line 29) | private static Source sourceFromTokens(Token token1, Token token2) { method makeDoubleLiteral (line 38) | static final Expr.Parsed makeDoubleLiteral(Token token) { method makeNaturalLiteral (line 50) | static final Expr.Parsed makeNaturalLiteral(Token token) { method makeIntegerLiteral (line 59) | static final Expr.Parsed makeIntegerLiteral(Token token) { method isValidDate (line 73) | static final boolean isValidDate(int year, int month, int day) { method makeDateLiteral (line 110) | static final Expr.Parsed makeDateLiteral(Token token) { method makeTimeZoneLiteral (line 122) | static final Expr.Parsed makeTimeZoneLiteral(Token token) { method makeTimeLiteral (line 137) | static final Expr.Parsed makeTimeLiteral(Token token, Token timeZone) { method makeDateTimeLiteral (line 186) | static final Expr.Parsed makeDateTimeLiteral(Token token, Token timeZo... method unescapeText (line 240) | private static String unescapeText(String in) { method makeTextLiteral (line 276) | static final Expr.Parsed makeTextLiteral( method dedent (line 307) | static final void dedent(String[] input) { method reEscape (line 374) | static final String reEscape(String input) { method makeSingleQuotedTextLiteral (line 378) | static final Expr.Parsed makeSingleQuotedTextLiteral( method makeApplication (line 413) | static final Expr.Parsed makeApplication(Expr.Parsed base, Expr.Parsed... method makeOperatorApplication (line 417) | static final Expr.Parsed makeOperatorApplication( method makeAnnotated (line 438) | static final Expr.Parsed makeAnnotated( method makeToMap (line 452) | static final Expr.Parsed makeToMap( method makeToMap (line 480) | static final Expr.Parsed makeToMap(Expr.Parsed base, Token first, Toke... method makeMerge (line 487) | static final Expr.Parsed makeMerge( method makeLambda (line 529) | static final Expr.Parsed makeLambda( method makePi (line 543) | static final Expr.Parsed makePi( method makePi (line 557) | static final Expr.Parsed makePi(Expr.Parsed input, Expr.Parsed result) { method makeIf (line 570) | static final Expr.Parsed makeIf( method makeLet (line 584) | static final Expr.Parsed makeLet(List bindings, Expr.Parse... method makeAssert (line 622) | static Expr.Parsed makeAssert(Expr.Parsed base, Token first, Token whs... method makeFieldAccess (line 634) | static Expr.Parsed makeFieldAccess( method makeProjection (line 650) | static Expr.Parsed makeProjection( method makeProjectionByType (line 665) | static Expr.Parsed makeProjectionByType( method isBuiltIn (line 679) | private static final boolean isBuiltIn(String input) { method unescapeLabel (line 683) | private static final String unescapeLabel(String input) { method makeBuiltInOrIdentifier (line 687) | static final Expr.Parsed makeBuiltInOrIdentifier(Token value) { method makeIdentifier (line 696) | static final Expr.Parsed makeIdentifier(Token value, Token whsp0, Toke... method makeRecordLiteral (line 719) | static final Expr.Parsed makeRecordLiteral( method makeRecordType (line 783) | static final Expr.Parsed makeRecordType( method makeUnionType (line 795) | static final Expr.Parsed makeUnionType( method makeWith (line 807) | static final Expr.Parsed makeWith(Expr base, List path, Expr.P... method makeNonEmptyListLiteral (line 814) | static final Expr.Parsed makeNonEmptyListLiteral( method makeEmptyListLiteral (line 823) | static final Expr.Parsed makeEmptyListLiteral(Expr.Parsed tpe, String ... method makeParenthesized (line 828) | static final Expr.Parsed makeParenthesized(Expr.Parsed value, Token fi... method makeImport (line 835) | static final Expr.Parsed makeImport( class ESESource (line 872) | private static final class ESESource extends Source { method ESESource (line 877) | ESESource(Expr.Parsed i0, String i1, Expr.Parsed i2) { method printText (line 889) | public final void printText(StringBuilder builder) { class ESSource (line 896) | private static final class ESSource extends Source { method ESSource (line 900) | ESSource(Expr.Parsed i0, String i1, int endLine, int endColumn) { method printText (line 906) | public final void printText(StringBuilder builder) { class SESource (line 912) | private static final class SESource extends Source { method SESource (line 916) | SESource(String i0, Expr.Parsed i1, int beginLine, int beginColumn) { method printText (line 922) | public final void printText(StringBuilder builder) { class SESSource (line 928) | private static final class SESSource extends Source { method SESSource (line 933) | SESSource( method printText (line 947) | public final void printText(StringBuilder builder) { class SESESource (line 954) | private static final class SESESource extends Source { method SESESource (line 960) | SESESource( method printText (line 969) | public final void printText(StringBuilder builder) { class SESESESource (line 977) | private static final class SESESESource extends Source { method SESESESource (line 985) | SESESESource( method printText (line 1003) | public final void printText(StringBuilder builder) { class InterspersedSource (line 1013) | private static final class InterspersedSource extends Source { method InterspersedSource (line 1017) | InterspersedSource( method printText (line 1029) | public final void printText(StringBuilder builder) { FILE: modules/parser/src/main/java/org/dhallj/parser/support/WhitespaceManager.java class WhitespaceManager (line 15) | final class WhitespaceManager { method advance (line 19) | private boolean advance(SimpleCharStream stream) { method advanceNotEof (line 28) | private void advanceNotEof(SimpleCharStream stream) { method isCommentChar (line 34) | private static boolean isCommentChar(char c) { method fail (line 38) | private static void fail(int current, SimpleCharStream stream) { method consume (line 49) | List consume(SimpleCharStream stream, char first) { method consumeLineComment (line 75) | private Comment consumeLineComment(SimpleCharStream stream) { method consumeBlockComment (line 110) | private Comment consumeBlockComment(SimpleCharStream stream) { method consumeWithComments (line 163) | private List consumeWithComments(SimpleCharStream stream, boo... FILE: modules/prelude/src/main/java/org/dhallj/prelude/Prelude.java class Prelude (line 11) | public final class Prelude { FILE: modules/yaml/src/main/java/org/dhallj/yaml/YamlContext.java type YamlContext (line 8) | interface YamlContext { method add (line 9) | void add(String key); method add (line 11) | void add(Object value); method getResult (line 13) | Object getResult(); class RootContext (line 16) | final class RootContext implements YamlContext { method RootContext (line 19) | RootContext(Object result) { method add (line 23) | public void add(String key) {} method add (line 25) | public void add(Object value) {} method getResult (line 27) | public Object getResult() { class ObjectContext (line 32) | final class ObjectContext implements YamlContext { method ObjectContext (line 37) | public ObjectContext(boolean skipNulls) { method add (line 41) | public void add(String key) { method add (line 45) | public void add(Object value) { method getResult (line 53) | public Object getResult() { class ArrayContext (line 58) | final class ArrayContext implements YamlContext { method add (line 61) | public void add(String key) {} method add (line 63) | public void add(Object value) { method getResult (line 67) | public Object getResult() { FILE: modules/yaml/src/main/java/org/dhallj/yaml/YamlConverter.java class YamlConverter (line 8) | public class YamlConverter { method toYamlString (line 15) | public static final String toYamlString(Expr expr) { method toYamlString (line 19) | public static final String toYamlString(Expr expr, DumperOptions optio... method toYamlString (line 23) | public static final String toYamlString(Expr expr, boolean skipNulls) { method toYamlString (line 27) | public static final String toYamlString(Expr expr, DumperOptions optio... FILE: modules/yaml/src/main/java/org/dhallj/yaml/YamlHandler.java class YamlHandler (line 8) | public class YamlHandler implements JsonHandler { method YamlHandler (line 12) | public YamlHandler(boolean skipNulls) { method YamlHandler (line 16) | public YamlHandler() { method addValue (line 20) | private final void addValue(Object value) { method getResult (line 28) | public Object getResult() { method onNull (line 32) | public void onNull() { method onBoolean (line 36) | public void onBoolean(boolean value) { method onNumber (line 40) | public void onNumber(BigInteger value) { method onDouble (line 44) | public void onDouble(double value) { method onString (line 48) | public void onString(String value) { method onArrayStart (line 52) | public void onArrayStart() { method onArrayEnd (line 56) | public void onArrayEnd() { method onArrayElementGap (line 66) | public void onArrayElementGap() {} method onObjectStart (line 68) | public void onObjectStart() { method onObjectEnd (line 72) | public void onObjectEnd() { method onObjectField (line 82) | public void onObjectField(String name) { method onObjectFieldGap (line 86) | public void onObjectFieldGap() {}