Directory listing for dhall-1.23.0 source tarball
dhall-1.23.0/dhall-lang/tests/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