Directory listing for dhall-1.40.0 source tarball
dhall-1.40.0/dhall-lang/tests/normalization/success/unit/
- AssertNormalizeArgumentA.dhall
- AssertNormalizeArgumentB.dhall
- BareInterpolationA.dhall
- BareInterpolationB.dhall
- BoolA.dhall
- BoolB.dhall
- CompletionA.dhall
- CompletionB.dhall
- DoubleA.dhall
- DoubleB.dhall
- DoubleLiteralA.dhall
- DoubleLiteralB.dhall
- DoubleShowA.dhall
- DoubleShowB.dhall
- DoubleShowValueA.dhall
- DoubleShowValueB.dhall
- EmptyAlternativeA.dhall
- EmptyAlternativeB.dhall
- EmptyToMapA.dhall
- EmptyToMapB.dhall
- EquivalenceNormalizeArgumentsA.dhall
- EquivalenceNormalizeArgumentsB.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
- IntegerClampA.dhall
- IntegerClampB.dhall
- IntegerClampNegativeA.dhall
- IntegerClampNegativeB.dhall
- IntegerClampPositiveA.dhall
- IntegerClampPositiveB.dhall
- IntegerClampZeroA.dhall
- IntegerClampZeroB.dhall
- IntegerNegateA.dhall
- IntegerNegateB.dhall
- IntegerNegateNegativeA.dhall
- IntegerNegateNegativeB.dhall
- IntegerNegatePositiveA.dhall
- IntegerNegatePositiveB.dhall
- IntegerNegateZeroA.dhall
- IntegerNegateZeroB.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
- ListHeadTwoA.dhall
- ListHeadTwoB.dhall
- ListIndexedA.dhall
- ListIndexedB.dhall
- ListIndexedEmptyA.dhall
- ListIndexedEmptyB.dhall
- ListIndexedOneA.dhall
- ListIndexedOneB.dhall
- ListLastA.dhall
- ListLastB.dhall
- ListLastEmptyA.dhall
- ListLastEmptyB.dhall
- ListLastTwoA.dhall
- ListLastTwoB.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
- MergeNoneA.dhall
- MergeNoneB.dhall
- MergeNormalizeArgumentsA.dhall
- MergeNormalizeArgumentsB.dhall
- MergeSomeA.dhall
- MergeSomeB.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
- NaturalSubtractEquivalentA.dhall
- NaturalSubtractEquivalentB.dhall
- NaturalSubtractFromZeroA.dhall
- NaturalSubtractFromZeroB.dhall
- NaturalSubtractGreaterA.dhall
- NaturalSubtractGreaterB.dhall
- NaturalSubtractLessA.dhall
- NaturalSubtractLessB.dhall
- NaturalSubtractNormalizeA.dhall
- NaturalSubtractNormalizeB.dhall
- NaturalSubtractZero0A.dhall
- NaturalSubtractZero0B.dhall
- NaturalSubtractZero1A.dhall
- NaturalSubtractZero1B.dhall
- NaturalToIntegerA.dhall
- NaturalToIntegerB.dhall
- NaturalToIntegerOneA.dhall
- NaturalToIntegerOneB.dhall
- NestedRecordProjectionA.dhall
- NestedRecordProjectionB.dhall
- NestedRecordProjectionByTypeA.dhall
- NestedRecordProjectionByTypeB.dhall
- NoneA.dhall
- NoneB.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
- OperatorTextConcatenateRhsEmptyA.dhall
- OperatorTextConcatenateRhsEmptyB.dhall
- OperatorTextConcatenateRhsNonEmptyA.dhall
- OperatorTextConcatenateRhsNonEmptyB.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
- RecordA.dhall
- RecordB.dhall
- RecordEmptyA.dhall
- RecordEmptyB.dhall
- RecordLitAllSugarsA.dhall
- RecordLitAllSugarsB.dhall
- RecordLitDottedFieldsA.dhall
- RecordLitDottedFieldsB.dhall
- RecordLitDuplicateFieldsNoCollisionsA.dhall
- RecordLitDuplicateFieldsNoCollisionsB.dhall
- RecordLitNixLikeA.dhall
- RecordLitNixLikeB.dhall
- RecordLitPun1A.dhall
- RecordLitPun1B.dhall
- RecordLitPun2A.dhall
- RecordLitPun2B.dhall
- RecordLitTriplicateFieldsA.dhall
- RecordLitTriplicateFieldsB.dhall
- RecordProjectionA.dhall
- RecordProjectionB.dhall
- RecordProjectionByTypeEmptyA.dhall
- RecordProjectionByTypeEmptyB.dhall
- RecordProjectionByTypeNonEmptyA.dhall
- RecordProjectionByTypeNonEmptyB.dhall
- RecordProjectionByTypeNormalizeProjectionA.dhall
- RecordProjectionByTypeNormalizeProjectionB.dhall
- RecordProjectionByTypeWithinFieldSelectionA.dhall
- RecordProjectionByTypeWithinFieldSelectionB.dhall
- RecordProjectionEmptyA.dhall
- RecordProjectionEmptyB.dhall
- RecordProjectionNormalizeArgumentsA.dhall
- RecordProjectionNormalizeArgumentsB.dhall
- RecordProjectionNormalizeFieldsA.dhall
- RecordProjectionNormalizeFieldsB.dhall
- RecordProjectionWithinFieldSelectionA.dhall
- RecordProjectionWithinFieldSelectionB.dhall
- RecordSelectionA.dhall
- RecordSelectionB.dhall
- RecordSelectionNormalizeArgumentsA.dhall
- RecordSelectionNormalizeArgumentsB.dhall
- RecordSortFieldsA.dhall
- RecordSortFieldsB.dhall
- RecordTypeA.dhall
- RecordTypeB.dhall
- RecordTypeEmptyA.dhall
- RecordTypeEmptyB.dhall
- RecordTypeSortFieldsA.dhall
- RecordTypeSortFieldsB.dhall
- RecursiveRecordMergeCollisionA.dhall
- RecursiveRecordMergeCollisionB.dhall
- RecursiveRecordMergeLhsEmptyA.dhall
- RecursiveRecordMergeLhsEmptyB.dhall
- RecursiveRecordMergeNoCollisionA.dhall
- RecursiveRecordMergeNoCollisionB.dhall
- RecursiveRecordMergeNormalizeArgumentsA.dhall
- RecursiveRecordMergeNormalizeArgumentsB.dhall
- RecursiveRecordMergeRhsEmptyA.dhall
- RecursiveRecordMergeRhsEmptyB.dhall
- RecursiveRecordMergeWithinFieldSelection0A.dhall
- RecursiveRecordMergeWithinFieldSelection0B.dhall
- RecursiveRecordMergeWithinFieldSelection1A.dhall
- RecursiveRecordMergeWithinFieldSelection1B.dhall
- RecursiveRecordMergeWithinFieldSelection2A.dhall
- RecursiveRecordMergeWithinFieldSelection2B.dhall
- RecursiveRecordMergeWithinFieldSelection3A.dhall
- RecursiveRecordMergeWithinFieldSelection3B.dhall
- RecursiveRecordTypeMergeCollisionA.dhall
- RecursiveRecordTypeMergeCollisionB.dhall
- RecursiveRecordTypeMergeDeepA.dhall
- RecursiveRecordTypeMergeDeepB.dhall
- RecursiveRecordTypeMergeLhsEmptyA.dhall
- RecursiveRecordTypeMergeLhsEmptyB.dhall
- RecursiveRecordTypeMergeNoCollisionA.dhall
- RecursiveRecordTypeMergeNoCollisionB.dhall
- RecursiveRecordTypeMergeNormalizeArgumentsA.dhall
- RecursiveRecordTypeMergeNormalizeArgumentsB.dhall
- RecursiveRecordTypeMergeRhsEmptyA.dhall
- RecursiveRecordTypeMergeRhsEmptyB.dhall
- RecursiveRecordTypeMergeSortsA.dhall
- RecursiveRecordTypeMergeSortsB.dhall
- RightBiasedMergeEquivalentArgumentsA.dhall
- RightBiasedMergeEquivalentArgumentsB.dhall
- RightBiasedMergeWithinFieldSelection0A.dhall
- RightBiasedMergeWithinFieldSelection0B.dhall
- RightBiasedMergeWithinFieldSelection1A.dhall
- RightBiasedMergeWithinFieldSelection1B.dhall
- RightBiasedMergeWithinFieldSelection2A.dhall
- RightBiasedMergeWithinFieldSelection2B.dhall
- RightBiasedMergeWithinFieldSelection3A.dhall
- RightBiasedMergeWithinFieldSelection3B.dhall
- RightBiasedRecordMergeCollisionA.dhall
- RightBiasedRecordMergeCollisionB.dhall
- RightBiasedRecordMergeLhsEmptyA.dhall
- RightBiasedRecordMergeLhsEmptyB.dhall
- RightBiasedRecordMergeNoCollisionA.dhall
- RightBiasedRecordMergeNoCollisionB.dhall
- RightBiasedRecordMergeNormalizeArgumentsA.dhall
- RightBiasedRecordMergeNormalizeArgumentsB.dhall
- RightBiasedRecordMergeRhsEmptyA.dhall
- RightBiasedRecordMergeRhsEmptyB.dhall
- RightBiasedRecordMergeWithinRecordProjectionA.dhall
- RightBiasedRecordMergeWithinRecordProjectionB.dhall
- SomeNormalizeArgumentsA.dhall
- SomeNormalizeArgumentsB.dhall
- SortA.dhall
- SortB.dhall
- TextA.dhall
- TextB.dhall
- TextInterpolateA.dhall
- TextInterpolateB.dhall
- TextLitNested1A.dhall
- TextLitNested1B.dhall
- TextLitNested2A.dhall
- TextLitNested2B.dhall
- TextLitNested3A.dhall
- TextLitNested3B.dhall
- TextLiteralA.dhall
- TextLiteralB.dhall
- TextNormalizeInterpolationsA.dhall
- TextNormalizeInterpolationsB.dhall
- TextReplaceAbstractA.dhall
- TextReplaceAbstractB.dhall
- TextReplaceAbstractHaystackA.dhall
- TextReplaceAbstractHaystackB.dhall
- TextReplaceEmpty1A.dhall
- TextReplaceEmpty1B.dhall
- TextReplaceEmpty2A.dhall
- TextReplaceEmpty2B.dhall
- TextReplaceEmpty3A.dhall
- TextReplaceEmpty3B.dhall
- TextReplaceMultipleA.dhall
- TextReplaceMultipleB.dhall
- TextReplaceNFCUnicodeA.dhall
- TextReplaceNFCUnicodeB.dhall
- TextReplaceNormalizationA.dhall
- TextReplaceNormalizationB.dhall
- TextReplaceOverlappingA.dhall
- TextReplaceOverlappingB.dhall
- TextReplaceSimpleA.dhall
- TextReplaceSimpleB.dhall
- TextReplaceUnicodeA.dhall
- TextReplaceUnicodeB.dhall
- TextReplaceVarA.dhall
- TextReplaceVarB.dhall
- TextShowA.dhall
- TextShowAllEscapesA.dhall
- TextShowAllEscapesB.dhall
- TextShowB.dhall
- TextShowEmptyA.dhall
- TextShowEmptyB.dhall
- TextShowInterpolatedA.dhall
- TextShowInterpolatedB.dhall
- TimeAsRecordA.dhall
- TimeAsRecordB.dhall
- ToMapA.dhall
- ToMapB.dhall
- ToMapWithTypeA.dhall
- ToMapWithTypeB.dhall
- TrueA.dhall
- TrueB.dhall
- TypeA.dhall
- TypeAnnotationA.dhall
- TypeAnnotationB.dhall
- TypeB.dhall
- UnionProjectConstructorA.dhall
- UnionProjectConstructorB.dhall
- UnionTypeA.dhall
- UnionTypeB.dhall
- UnionTypeEmptyA.dhall
- UnionTypeEmptyB.dhall
- UnionTypeNormalizeArgumentsA.dhall
- UnionTypeNormalizeArgumentsB.dhall
- VariableA.dhall
- VariableB.dhall
- WithA.dhall
- WithB.dhall
- WithChainedA.dhall
- WithChainedB.dhall
- WithCreateIntermediateRecordsA.dhall
- WithCreateIntermediateRecordsB.dhall
- WithDesugarA.dhall
- WithDesugarB.dhall
- WithNestedA.dhall
- WithNestedB.dhall
- WithPartiallyAbstractA.dhall
- WithPartiallyAbstractB.dhall
- WithPriorityA.dhall
- WithPriorityB.dhall