let prelude = ../../dhall/prelude.dhall in let types = ../../dhall/types.dhall in { author = "" , benchmarks = [] : List { benchmark : types.Config → types.Benchmark, name : Text } , bug-reports = "" , build-type = [ prelude.types.BuildTypes.Simple {=} ] : Optional types.BuildType , cabal-version = prelude.v "2.0" , category = "" , copyright = "" , custom-setup = [] : Optional types.CustomSetup , data-dir = "" , data-files = [] : List Text , description = "" , executables = [] : List { executable : types.Config → types.Executable, name : Text } , extra-doc-files = [] : List Text , extra-source-files = [] : List Text , extra-tmp-files = [] : List Text , flags = [] : List { default : Bool, description : Text, manual : Bool, name : Text } , foreign-libraries = [] : List { foreign-lib : types.Config → types.ForeignLibrary, name : Text } , homepage = "" , library = [ λ(config : types.Config) → if config.impl (prelude.types.Compilers.GHC {=}) ( prelude.unionVersionRanges (prelude.thisVersion (prelude.v "8.2")) (prelude.laterVersion (prelude.v "8.2")) ) then if config.impl (prelude.types.Compilers.GHC {=}) ( prelude.unionVersionRanges (prelude.thisVersion (prelude.v "8.4")) (prelude.laterVersion (prelude.v "8.4")) ) then { asm-options = [] : List Text , asm-sources = [] : List Text , autogen-modules = [] : List Text , build-depends = [ { bounds = prelude.anyVersion , package = "A" } , { bounds = prelude.anyVersion , package = "B" } , { bounds = prelude.anyVersion , package = "C" } ] , build-tool-depends = [] : List { component : Text , package : Text , version : types.VersionRange } , build-tools = [] : List { exe : Text , version : types.VersionRange } , buildable = True , c-sources = [] : List Text , cc-options = [] : List Text , cmm-options = [] : List Text , cmm-sources = [] : List Text , compiler-options = prelude.defaults.CompilerOptions , cpp-options = [] : List Text , cxx-options = [] : List Text , cxx-sources = [] : List Text , default-extensions = [] : List types.Extension , default-language = [] : Optional types.Language , exposed-modules = [] : List Text , extra-bundled-libs = [] : List Text , extra-framework-dirs = [] : List Text , extra-ghci-libraries = [] : List Text , extra-lib-dirs = [] : List Text , extra-lib-flavours = [] : List Text , extra-libraries = [] : List Text , frameworks = [] : List Text , hs-source-dirs = [] : List Text , include-dirs = [] : List Text , includes = [] : List Text , install-includes = [] : List Text , js-sources = [] : List Text , ld-options = [] : List Text , mixins = [] : List types.Mixin , other-extensions = [] : List types.Extension , other-languages = [] : List types.Language , other-modules = [] : List Text , pkgconfig-depends = [] : List { name : Text , version : types.VersionRange } , profiling-options = prelude.defaults.CompilerOptions , reexported-modules = [] : List { name : Text , original : { name : Text , package : Optional Text } } , shared-options = prelude.defaults.CompilerOptions , signatures = [] : List Text , static-options = prelude.defaults.CompilerOptions , virtual-modules = [] : List Text } else { asm-options = [] : List Text , asm-sources = [] : List Text , autogen-modules = [] : List Text , build-depends = [ { bounds = prelude.anyVersion , package = "A" } , { bounds = prelude.anyVersion , package = "B" } ] , build-tool-depends = [] : List { component : Text , package : Text , version : types.VersionRange } , build-tools = [] : List { exe : Text , version : types.VersionRange } , buildable = True , c-sources = [] : List Text , cc-options = [] : List Text , cmm-options = [] : List Text , cmm-sources = [] : List Text , compiler-options = prelude.defaults.CompilerOptions , cpp-options = [] : List Text , cxx-options = [] : List Text , cxx-sources = [] : List Text , default-extensions = [] : List types.Extension , default-language = [] : Optional types.Language , exposed-modules = [] : List Text , extra-bundled-libs = [] : List Text , extra-framework-dirs = [] : List Text , extra-ghci-libraries = [] : List Text , extra-lib-dirs = [] : List Text , extra-lib-flavours = [] : List Text , extra-libraries = [] : List Text , frameworks = [] : List Text , hs-source-dirs = [] : List Text , include-dirs = [] : List Text , includes = [] : List Text , install-includes = [] : List Text , js-sources = [] : List Text , ld-options = [] : List Text , mixins = [] : List types.Mixin , other-extensions = [] : List types.Extension , other-languages = [] : List types.Language , other-modules = [] : List Text , pkgconfig-depends = [] : List { name : Text , version : types.VersionRange } , profiling-options = prelude.defaults.CompilerOptions , reexported-modules = [] : List { name : Text , original : { name : Text , package : Optional Text } } , shared-options = prelude.defaults.CompilerOptions , signatures = [] : List Text , static-options = prelude.defaults.CompilerOptions , virtual-modules = [] : List Text } else if config.impl (prelude.types.Compilers.GHC {=}) ( prelude.unionVersionRanges (prelude.thisVersion (prelude.v "8.4")) (prelude.laterVersion (prelude.v "8.4")) ) then { asm-options = [] : List Text , asm-sources = [] : List Text , autogen-modules = [] : List Text , build-depends = [ { bounds = prelude.anyVersion, package = "A" } , { bounds = prelude.anyVersion, package = "C" } ] , build-tool-depends = [] : List { component : Text , package : Text , version : types.VersionRange } , build-tools = [] : List { exe : Text, version : types.VersionRange } , buildable = True , c-sources = [] : List Text , cc-options = [] : List Text , cmm-options = [] : List Text , cmm-sources = [] : List Text , compiler-options = prelude.defaults.CompilerOptions , cpp-options = [] : List Text , cxx-options = [] : List Text , cxx-sources = [] : List Text , default-extensions = [] : List types.Extension , default-language = [] : Optional types.Language , exposed-modules = [] : List Text , extra-bundled-libs = [] : List Text , extra-framework-dirs = [] : List Text , extra-ghci-libraries = [] : List Text , extra-lib-dirs = [] : List Text , extra-lib-flavours = [] : List Text , extra-libraries = [] : List Text , frameworks = [] : List Text , hs-source-dirs = [] : List Text , include-dirs = [] : List Text , includes = [] : List Text , install-includes = [] : List Text , js-sources = [] : List Text , ld-options = [] : List Text , mixins = [] : List types.Mixin , other-extensions = [] : List types.Extension , other-languages = [] : List types.Language , other-modules = [] : List Text , pkgconfig-depends = [] : List { name : Text, version : types.VersionRange } , profiling-options = prelude.defaults.CompilerOptions , reexported-modules = [] : List { name : Text , original : { name : Text, package : Optional Text } } , shared-options = prelude.defaults.CompilerOptions , signatures = [] : List Text , static-options = prelude.defaults.CompilerOptions , virtual-modules = [] : List Text } else { asm-options = [] : List Text , asm-sources = [] : List Text , autogen-modules = [] : List Text , build-depends = [ { bounds = prelude.anyVersion, package = "A" } ] , build-tool-depends = [] : List { component : Text , package : Text , version : types.VersionRange } , build-tools = [] : List { exe : Text, version : types.VersionRange } , buildable = True , c-sources = [] : List Text , cc-options = [] : List Text , cmm-options = [] : List Text , cmm-sources = [] : List Text , compiler-options = prelude.defaults.CompilerOptions , cpp-options = [] : List Text , cxx-options = [] : List Text , cxx-sources = [] : List Text , default-extensions = [] : List types.Extension , default-language = [] : Optional types.Language , exposed-modules = [] : List Text , extra-bundled-libs = [] : List Text , extra-framework-dirs = [] : List Text , extra-ghci-libraries = [] : List Text , extra-lib-dirs = [] : List Text , extra-lib-flavours = [] : List Text , extra-libraries = [] : List Text , frameworks = [] : List Text , hs-source-dirs = [] : List Text , include-dirs = [] : List Text , includes = [] : List Text , install-includes = [] : List Text , js-sources = [] : List Text , ld-options = [] : List Text , mixins = [] : List types.Mixin , other-extensions = [] : List types.Extension , other-languages = [] : List types.Language , other-modules = [] : List Text , pkgconfig-depends = [] : List { name : Text, version : types.VersionRange } , profiling-options = prelude.defaults.CompilerOptions , reexported-modules = [] : List { name : Text , original : { name : Text, package : Optional Text } } , shared-options = prelude.defaults.CompilerOptions , signatures = [] : List Text , static-options = prelude.defaults.CompilerOptions , virtual-modules = [] : List Text } ] : Optional (types.Config → types.Library) , license = < Unspecified = {=} | GPL : Optional types.Version | AGPL : Optional types.Version | LGPL : Optional types.Version | BSD2 : {} | BSD3 : {} | BSD4 : {} | MIT : {} | ISC : {} | MPL : types.Version | Apache : Optional types.Version | PublicDomain : {} | AllRightsReserved : {} | Other : {} | SPDX : types.SPDX > , license-files = [] : List Text , maintainer = "" , name = "Name" , package-url = "" , source-repos = [] : List { branch : Optional Text , kind : types.RepoKind , location : Optional Text , module : Optional Text , subdir : Optional Text , tag : Optional Text , type : Optional types.RepoType } , stability = "" , sub-libraries = [] : List { library : types.Config → types.Library, name : Text } , synopsis = "" , test-suites = [] : List { name : Text, test-suite : types.Config → types.TestSuite } , tested-with = [] : List { compiler : types.Compiler, version : types.VersionRange } , version = prelude.v "1" , x-fields = [] : List { _1 : Text, _2 : Text } }