Directory listing for dhall-1.23.0 source tarball
dhall-1.23.0/dhall-lang/tests/
- import/
- data/
- failure/
- success/
- alternativeEnvNaturalA.dhall
- alternativeEnvNaturalB.dhall
- alternativeEnvSimpleA.dhall
- alternativeEnvSimpleB.dhall
- alternativeHashMismatchA.dhall
- alternativeHashMismatchB.dhall
- alternativeNaturalA.dhall
- alternativeNaturalB.dhall
- alternativeParseErrorA.dhall
- alternativeParseErrorB.dhall
- asTextA.dhall
- asTextB.dhall
- fieldOrderA.dhall
- fieldOrderB.dhall
- normalization/
- success/
- remoteSystemsA.dhall
- remoteSystemsB.dhall
- haskell-tutorial/
- prelude/
- Bool/
- Double/
- Integer/
- List/
- Natural/
- Optional/
- Text/
- simple/
- doubleShowA.dhall
- doubleShowB.dhall
- enumA.dhall
- enumB.dhall
- integerShowA.dhall
- integerShowB.dhall
- integerToDoubleA.dhall
- integerToDoubleB.dhall
- letletA.dhall
- letletB.dhall
- listBuildA.dhall
- listBuildB.dhall
- multiLineA.dhall
- multiLineB.dhall
- naturalBuildA.dhall
- naturalBuildB.dhall
- naturalPlusA.dhall
- naturalPlusB.dhall
- naturalShowA.dhall
- naturalShowB.dhall
- naturalToIntegerA.dhall
- naturalToIntegerB.dhall
- optionalBuildA.dhall
- optionalBuildB.dhall
- optionalBuildFoldA.dhall
- optionalBuildFoldB.dhall
- optionalFoldA.dhall
- optionalFoldB.dhall
- sortOperatorA.dhall
- sortOperatorB.dhall
- simplifications/
- unit/
- BoolA.dhall
- BoolB.dhall
- DoubleA.dhall
- DoubleB.dhall
- DoubleLiteralA.dhall
- DoubleLiteralB.dhall
- DoubleShowA.dhall
- DoubleShowB.dhall
- DoubleShowValueA.dhall
- DoubleShowValueB.dhall
- EmptyAlternativeA.dhall
- EmptyAlternativeB.dhall
- FunctionApplicationCaptureA.dhall
- FunctionApplicationCaptureB.dhall
- FunctionApplicationNoSubstituteA.dhall
- FunctionApplicationNoSubstituteB.dhall
- FunctionApplicationNormalizeArgumentsA.dhall
- FunctionApplicationNormalizeArgumentsB.dhall
- FunctionApplicationSubstituteA.dhall
- FunctionApplicationSubstituteB.dhall
- FunctionNormalizeArgumentsA.dhall
- FunctionNormalizeArgumentsB.dhall
- FunctionTypeNormalizeArgumentsA.dhall
- FunctionTypeNormalizeArgumentsB.dhall
- IfAlternativesIdenticalA.dhall
- IfAlternativesIdenticalB.dhall
- IfFalseA.dhall
- IfFalseB.dhall
- IfNormalizePredicateAndBranchesA.dhall
- IfNormalizePredicateAndBranchesB.dhall
- IfTrivialA.dhall
- IfTrivialB.dhall
- IfTrueA.dhall
- IfTrueB.dhall
- IntegerA.dhall
- IntegerB.dhall
- IntegerNegativeA.dhall
- IntegerNegativeB.dhall
- IntegerPositiveA.dhall
- IntegerPositiveB.dhall
- IntegerShow-12A.dhall
- IntegerShow-12B.dhall
- IntegerShow12A.dhall
- IntegerShow12B.dhall
- IntegerShowA.dhall
- IntegerShowB.dhall
- IntegerToDouble-12A.dhall
- IntegerToDouble-12B.dhall
- IntegerToDouble12A.dhall
- IntegerToDouble12B.dhall
- IntegerToDoubleA.dhall
- IntegerToDoubleB.dhall
- KindA.dhall
- KindB.dhall
- LetA.dhall
- LetB.dhall
- LetWithTypeA.dhall
- LetWithTypeB.dhall
- ListA.dhall
- ListB.dhall
- ListBuildA.dhall
- ListBuildB.dhall
- ListBuildFoldFusionA.dhall
- ListBuildFoldFusionB.dhall
- ListBuildImplementationA.dhall
- ListBuildImplementationB.dhall
- ListFoldA.dhall
- ListFoldB.dhall
- ListFoldEmptyA.dhall
- ListFoldEmptyB.dhall
- ListFoldOneA.dhall
- ListFoldOneB.dhall
- ListHeadA.dhall
- ListHeadB.dhall
- ListHeadEmptyA.dhall
- ListHeadEmptyB.dhall
- ListHeadOneA.dhall
- ListHeadOneB.dhall
- ListIndexedA.dhall
- ListIndexedB.dhall
- ListIndexedEmptyA.dhall
- ListIndexedEmptyB.dhall
- ListIndexedOneA.dhall
- ListIndexedOneB.dhall
- ListLastA.dhall
- ListLastB.dhall
- ListLastEmptyA.dhall
- ListLastEmptyB.dhall
- ListLastOneA.dhall
- ListLastOneB.dhall
- ListLengthA.dhall
- ListLengthB.dhall
- ListLengthEmptyA.dhall
- ListLengthEmptyB.dhall
- ListLengthOneA.dhall
- ListLengthOneB.dhall
- ListNormalizeElementsA.dhall
- ListNormalizeElementsB.dhall
- ListNormalizeTypeAnnotationA.dhall
- ListNormalizeTypeAnnotationB.dhall
- ListReverseA.dhall
- ListReverseB.dhall
- ListReverseEmptyA.dhall
- ListReverseEmptyB.dhall
- ListReverseTwoA.dhall
- ListReverseTwoB.dhall
- MergeA.dhall
- MergeB.dhall
- MergeEmptyAlternativeA.dhall
- MergeEmptyAlternativeB.dhall
- MergeNormalizeArgumentsA.dhall
- MergeNormalizeArgumentsB.dhall
- MergeWithTypeA.dhall
- MergeWithTypeB.dhall
- MergeWithTypeNormalizeArgumentsA.dhall
- MergeWithTypeNormalizeArgumentsB.dhall
- NaturalA.dhall
- NaturalB.dhall
- NaturalBuildA.dhall
- NaturalBuildB.dhall
- NaturalBuildFoldFusionA.dhall
- NaturalBuildFoldFusionB.dhall
- NaturalBuildImplementationA.dhall
- NaturalBuildImplementationB.dhall
- NaturalEvenA.dhall
- NaturalEvenB.dhall
- NaturalEvenOneA.dhall
- NaturalEvenOneB.dhall
- NaturalEvenZeroA.dhall
- NaturalEvenZeroB.dhall
- NaturalFoldA.dhall
- NaturalFoldB.dhall
- NaturalFoldOneA.dhall
- NaturalFoldOneB.dhall
- NaturalFoldZeroA.dhall
- NaturalFoldZeroB.dhall
- NaturalIsZeroA.dhall
- NaturalIsZeroB.dhall
- NaturalIsZeroOneA.dhall
- NaturalIsZeroOneB.dhall
- NaturalIsZeroZeroA.dhall
- NaturalIsZeroZeroB.dhall
- NaturalLiteralA.dhall
- NaturalLiteralB.dhall
- NaturalOddA.dhall
- NaturalOddB.dhall
- NaturalOddOneA.dhall
- NaturalOddOneB.dhall
- NaturalOddZeroA.dhall
- NaturalOddZeroB.dhall
- NaturalShowA.dhall
- NaturalShowB.dhall
- NaturalShowOneA.dhall
- NaturalShowOneB.dhall
- NaturalToIntegerA.dhall
- NaturalToIntegerB.dhall
- NaturalToIntegerOneA.dhall
- NaturalToIntegerOneB.dhall
- NoneA.dhall
- NoneB.dhall
- NoneNaturalA.dhall
- NoneNaturalB.dhall
- OperatorAndEquivalentArgumentsA.dhall
- OperatorAndEquivalentArgumentsB.dhall
- OperatorAndLhsFalseA.dhall
- OperatorAndLhsFalseB.dhall
- OperatorAndLhsTrueA.dhall
- OperatorAndLhsTrueB.dhall
- OperatorAndNormalizeArgumentsA.dhall
- OperatorAndNormalizeArgumentsB.dhall
- OperatorAndRhsFalseA.dhall
- OperatorAndRhsFalseB.dhall
- OperatorAndRhsTrueA.dhall
- OperatorAndRhsTrueB.dhall
- OperatorEqualEquivalentArgumentsA.dhall
- OperatorEqualEquivalentArgumentsB.dhall
- OperatorEqualLhsTrueA.dhall
- OperatorEqualLhsTrueB.dhall
- OperatorEqualNormalizeArgumentsA.dhall
- OperatorEqualNormalizeArgumentsB.dhall
- OperatorEqualRhsTrueA.dhall
- OperatorEqualRhsTrueB.dhall
- OperatorListConcatenateLhsEmptyA.dhall
- OperatorListConcatenateLhsEmptyB.dhall
- OperatorListConcatenateListListA.dhall
- OperatorListConcatenateListListB.dhall
- OperatorListConcatenateNormalizeArgumentsA.dhall
- OperatorListConcatenateNormalizeArgumentsB.dhall
- OperatorListConcatenateRhsEmptyA.dhall
- OperatorListConcatenateRhsEmptyB.dhall
- OperatorNotEqualEquivalentArgumentsA.dhall
- OperatorNotEqualEquivalentArgumentsB.dhall
- OperatorNotEqualLhsFalseA.dhall
- OperatorNotEqualLhsFalseB.dhall
- OperatorNotEqualNormalizeArgumentsA.dhall
- OperatorNotEqualNormalizeArgumentsB.dhall
- OperatorNotEqualRhsFalseA.dhall
- OperatorNotEqualRhsFalseB.dhall
- OperatorOrEquivalentArgumentsA.dhall
- OperatorOrEquivalentArgumentsB.dhall
- OperatorOrLhsFalseA.dhall
- OperatorOrLhsFalseB.dhall
- OperatorOrLhsTrueA.dhall
- OperatorOrLhsTrueB.dhall
- OperatorOrNormalizeArgumentsA.dhall
- OperatorOrNormalizeArgumentsB.dhall
- OperatorOrRhsFalseA.dhall
- OperatorOrRhsFalseB.dhall
- OperatorOrRhsTrueA.dhall
- OperatorOrRhsTrueB.dhall
- OperatorPlusLhsZeroA.dhall
- OperatorPlusLhsZeroB.dhall
- OperatorPlusNormalizeArgumentsA.dhall
- OperatorPlusNormalizeArgumentsB.dhall
- OperatorPlusOneAndOneA.dhall
- OperatorPlusOneAndOneB.dhall
- OperatorPlusRhsZeroA.dhall
- OperatorPlusRhsZeroB.dhall
- OperatorTextConcatenateLhsEmptyA.dhall
- OperatorTextConcatenateLhsEmptyB.dhall
- OperatorTextConcatenateLhsNonEmptyA.dhall
- OperatorTextConcatenateLhsNonEmptyB.dhall
- OperatorTextConcatenateTextTextA.dhall
- OperatorTextConcatenateTextTextB.dhall
- OperatorTimesLhsOneA.dhall
- OperatorTimesLhsOneB.dhall
- OperatorTimesLhsZeroA.dhall
- OperatorTimesLhsZeroB.dhall
- OperatorTimesNormalizeArgumentsA.dhall
- OperatorTimesNormalizeArgumentsB.dhall
- OperatorTimesRhsOneA.dhall
- OperatorTimesRhsOneB.dhall
- OperatorTimesRhsZeroA.dhall
- OperatorTimesRhsZeroB.dhall
- OperatorTimesTwoAndTwoA.dhall
- OperatorTimesTwoAndTwoB.dhall
- OptionalA.dhall
- OptionalB.dhall
- OptionalBuildA.dhall
- OptionalBuildB.dhall
- OptionalBuildFoldFusionA.dhall
- OptionalBuildFoldFusionB.dhall
- OptionalBuildImplementationA.dhall
- OptionalBuildImplementationB.dhall
- OptionalFoldA.dhall
- OptionalFoldB.dhall
- OptionalFoldNoneA.dhall
- OptionalFoldNoneB.dhall
- OptionalFoldSomeA.dhall
- OptionalFoldSomeB.dhall
- RecordA.dhall
- RecordB.dhall
- RecordEmptyA.dhall
- RecordEmptyB.dhall
- RecordProjectionA.dhall
- RecordProjectionB.dhall
- RecordProjectionEmptyA.dhall
- RecordProjectionEmptyB.dhall
- RecordProjectionNormalizeArgumentsA.dhall
- RecordProjectionNormalizeArgumentsB.dhall
- RecordSelectionA.dhall
- RecordSelectionB.dhall
- RecordSelectionNormalizeArgumentsA.dhall
- RecordSelectionNormalizeArgumentsB.dhall
- RecordTypeA.dhall
- RecordTypeB.dhall
- RecordTypeEmptyA.dhall
- RecordTypeEmptyB.dhall
- RecursiveRecordMergeCollisionA.dhall
- RecursiveRecordMergeCollisionB.dhall
- RecursiveRecordMergeLhsEmptyA.dhall
- RecursiveRecordMergeLhsEmptyB.dhall
- RecursiveRecordMergeNoCollisionA.dhall
- RecursiveRecordMergeNoCollisionB.dhall
- RecursiveRecordMergeNormalizeArgumentsA.dhall
- RecursiveRecordMergeNormalizeArgumentsB.dhall
- RecursiveRecordMergeRhsEmptyA.dhall
- RecursiveRecordMergeRhsEmptyB.dhall
- RecursiveRecordTypeMergeCollisionA.dhall
- RecursiveRecordTypeMergeCollisionB.dhall
- RecursiveRecordTypeMergeLhsEmptyA.dhall
- RecursiveRecordTypeMergeLhsEmptyB.dhall
- RecursiveRecordTypeMergeNoCollisionA.dhall
- RecursiveRecordTypeMergeNoCollisionB.dhall
- RecursiveRecordTypeMergeNormalizeArgumentsA.dhall
- RecursiveRecordTypeMergeNormalizeArgumentsB.dhall
- RecursiveRecordTypeMergeRhsEmptyA.dhall
- RecursiveRecordTypeMergeRhsEmptyB.dhall
- RecursiveRecordTypeMergeSortsA.dhall
- RecursiveRecordTypeMergeSortsB.dhall
- RightBiasedRecordMergeCollisionA.dhall
- RightBiasedRecordMergeCollisionB.dhall
- RightBiasedRecordMergeLhsEmptyA.dhall
- RightBiasedRecordMergeLhsEmptyB.dhall
- RightBiasedRecordMergeNoCollisionA.dhall
- RightBiasedRecordMergeNoCollisionB.dhall
- RightBiasedRecordMergeNormalizeArgumentsA.dhall
- RightBiasedRecordMergeNormalizeArgumentsB.dhall
- RightBiasedRecordMergeRhsEmptyA.dhall
- RightBiasedRecordMergeRhsEmptyB.dhall
- SomeNormalizeArgumentsA.dhall
- SomeNormalizeArgumentsB.dhall
- SortA.dhall
- SortB.dhall
- TextA.dhall
- TextB.dhall
- TextInterpolateA.dhall
- TextInterpolateB.dhall
- TextLiteralA.dhall
- TextLiteralB.dhall
- TextNormalizeInterpolationsA.dhall
- TextNormalizeInterpolationsB.dhall
- TextShowA.dhall
- TextShowAllEscapesA.dhall
- TextShowAllEscapesB.dhall
- TextShowB.dhall
- TrueA.dhall
- TrueB.dhall
- TypeA.dhall
- TypeAnnotationA.dhall
- TypeAnnotationB.dhall
- TypeB.dhall
- UnionNormalizeAlternativesA.dhall
- UnionNormalizeAlternativesB.dhall
- UnionNormalizeArgumentsA.dhall
- UnionNormalizeArgumentsB.dhall
- UnionProjectConstructorA.dhall
- UnionProjectConstructorB.dhall
- UnionSortAlternativesA.dhall
- UnionSortAlternativesB.dhall
- UnionTypeA.dhall
- UnionTypeB.dhall
- UnionTypeEmptyA.dhall
- UnionTypeEmptyB.dhall
- UnionTypeNormalizeArgumentsA.dhall
- UnionTypeNormalizeArgumentsB.dhall
- VariableA.dhall
- VariableB.dhall
- success/
- parser/
- failure/
- success/
- annotationsA.dhall
- annotationsB.dhallb
- blockCommentA.dhall
- blockCommentB.dhallb
- builtinNameAsFieldA.dhall
- builtinNameAsFieldB.dhallb
- builtinsA.dhall
- builtinsB.dhallb
- collectionImportTypeA.dhall
- collectionImportTypeB.dhallb
- doubleA.dhall
- doubleB.dhallb
- fieldsA.dhall
- fieldsB.dhallb
- forallA.dhall
- forallB.dhallb
- functionTypeA.dhall
- functionTypeB.dhallb
- identifierA.dhall
- identifierB.dhallb
- ifThenElseA.dhall
- ifThenElseB.dhallb
- labelA.dhall
- labelB.dhallb
- lambdaA.dhall
- lambdaB.dhallb
- largeExpressionA.dhall
- largeExpressionB.dhallb
- letA.dhall
- letB.dhallb
- lineCommentA.dhall
- lineCommentB.dhallb
- listA.dhall
- listB.dhallb
- mergeA.dhall
- mergeB.dhallb
- mergeXYZA.dhall
- mergeXYZB.dhallb
- multiletA.dhall
- multiletB.dhallb
- naturalA.dhall
- naturalB.dhallb
- nestedBlockCommentA.dhall
- nestedBlockCommentB.dhallb
- operatorsA.dhall
- operatorsB.dhallb
- quotedBoundVariableA.dhall
- quotedBoundVariableB.dhallb
- quotedLabelA.dhall
- quotedLabelB.dhallb
- recordA.dhall
- recordB.dhallb
- reservedPrefixA.dhall
- reservedPrefixB.dhallb
- someXYZA.dhall
- someXYZB.dhallb
- sortA.dhall
- sortB.dhallb
- spaceAfterListAppendA.dhall
- spaceAfterListAppendB.dhallb
- unicodeCommentA.dhall
- unicodeCommentB.dhallb
- unionA.dhall
- unionB.dhallb
- whitespaceA.dhall
- whitespaceB.dhallb
- whitespaceBuffetA.dhall
- whitespaceBuffetB.dhallb
- import/
- asTextA.dhall
- asTextB.dhallb
- environmentVariablesA.dhall
- environmentVariablesB.dhallb
- hashA.dhall
- hashB.dhallb
- importAltA.dhall
- importAltB.dhallb
- parenthesizeUsingA.dhall
- parenthesizeUsingB.dhallb
- pathTerminationA.dhall
- pathTerminationB.dhallb
- pathsA.dhall
- pathsB.dhallb
- quotedPathsA.dhall
- quotedPathsB.dhallb
- unicodePathsA.dhall
- unicodePathsB.dhallb
- urlsA.dhall
- urlsB.dhallb
- text/
- doubleQuotedStringA.dhall
- doubleQuotedStringB.dhallb
- escapeA.dhall
- escapeB.dhallb
- escapedDoubleQuotedStringA.dhall
- escapedDoubleQuotedStringB.dhallb
- escapedSingleQuotedStringA.dhall
- escapedSingleQuotedStringB.dhallb
- interestingA.dhall
- interestingB.dhallb
- interiorIndentA.dhall
- interiorIndentB.dhallb
- interpolatedDoubleQuotedStringA.dhall
- interpolatedDoubleQuotedStringB.dhallb
- interpolatedSingleQuotedStringA.dhall
- interpolatedSingleQuotedStringB.dhallb
- interpolationA.dhall
- interpolationB.dhallb
- preserveCommentA.dhall
- preserveCommentB.dhallb
- singleLineA.dhall
- singleLineB.dhallb
- singleQuotedStringA.dhall
- singleQuotedStringB.dhallb
- templateA.dhall
- templateB.dhallb
- twoLinesA.dhall
- twoLinesB.dhallb
- unicodeDoubleQuotedStringA.dhall
- unicodeDoubleQuotedStringB.dhallb
- typecheck/
- failure/
- success/
- accessEncodedTypeA.dhall
- accessEncodedTypeB.dhall
- accessTypeA.dhall
- accessTypeB.dhall
- recordOfRecordOfTypesA.dhall
- recordOfRecordOfTypesB.dhall
- recordOfTypesA.dhall
- recordOfTypesB.dhall
- prelude/
- Bool/
- Double/
- Integer/
- List/
- Monoid/
- Natural/
- Optional/
- Text/
- simple/
- alternativesAreTypesA.dhall
- alternativesAreTypesB.dhall
- anonymousFunctionsInTypesA.dhall
- anonymousFunctionsInTypesB.dhall
- fieldsAreTypesA.dhall
- fieldsAreTypesB.dhall
- kindParameterA.dhall
- kindParameterB.dhall
- mergeEquivalenceA.dhall
- mergeEquivalenceB.dhall
- mixedFieldAccessA.dhall
- mixedFieldAccessB.dhall
- unionsOfTypesA.dhall
- unionsOfTypesB.dhall
- access/