gistfile1.txt

dhall-to-cabal: 
↳ ../../dhall/addStandardExtensionsAndWarnings 

package : { author : Text, benchmarks : List { benchmark : { os : < AIX : {} | Android : {} | DragonFly : {} | FreeBSD : {} | Ghcjs : {} | HPUX : {} | HaLVM : {} | Hurd : {} | IOS : {} | IRIX : {} | Linux : {} | NetBSD : {} | OSX : {} | OpenBSD : {} | OtherOS : { _1 : Text } | Solaris : {} | Windows : {} > → Bool, arch : < Alpha : {} | Arm : {} | Hppa : {} | I386 : {} | IA64 : {} | JavaScript : {} | M68k : {} | Mips : {} | OtherArch : { _1 : Text } | PPC : {} | PPC64 : {} | Rs6000 : {} | S390 : {} | SH : {} | Sparc : {} | Vax : {} | X86_64 : {} > → Bool, impl : < GHC : {} | GHCJS : {} | HBC : {} | HaskellSuite : { _1 : Text } | Helium : {} | Hugs : {} | JHC : {} | LHC : {} | NHC : {} | OtherCompiler : { _1 : Text } | UHC : {} | YHC : {} > → (∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange) → Bool, flag : Text → Bool } → { autogen-modules : List Text, build-depends : List { bounds : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange, package : Text }, build-tool-depends : List { component : Text, package : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, build-tools : List { exe : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, buildable : Bool, c-sources : List Text, cc-options : List Text, compiler-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, cpp-options : List Text, default-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, default-language : Optional < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, extra-framework-dirs : List Text, extra-ghci-libraries : List Text, extra-lib-dirs : List Text, extra-libraries : List Text, frameworks : List Text, hs-source-dirs : List Text, includes : List Text, include-dirs : List Text, install-includes : List Text, js-sources : List Text, ld-options : List Text, main-is : Text, other-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, other-languages : List < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, other-modules : List Text, pkgconfig-depends : List { name : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, profiling-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, shared-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, mixins : List { package : Text, renaming : { provides : List { rename : Text, to : Text }, requires : List { rename : Text, to : Text } } } }, name : Text }, bug-reports : Text, build-type : Optional < Configure : {} | Custom : {} | Make : {} | Simple : {} | UnknownBuildType : { _1 : Text } >, cabal-version : ∀(Version : Type) → ∀(v : Text → Version) → Version, category : Text, copyright : Text, custom-setup : Optional { setup-depends : List { bounds : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange, package : Text } }, data-dir : Text, data-files : List Text, description : Text, executables : List { executable : { os : < AIX : {} | Android : {} | DragonFly : {} | FreeBSD : {} | Ghcjs : {} | HPUX : {} | HaLVM : {} | Hurd : {} | IOS : {} | IRIX : {} | Linux : {} | NetBSD : {} | OSX : {} | OpenBSD : {} | OtherOS : { _1 : Text } | Solaris : {} | Windows : {} > → Bool, arch : < Alpha : {} | Arm : {} | Hppa : {} | I386 : {} | IA64 : {} | JavaScript : {} | M68k : {} | Mips : {} | OtherArch : { _1 : Text } | PPC : {} | PPC64 : {} | Rs6000 : {} | S390 : {} | SH : {} | Sparc : {} | Vax : {} | X86_64 : {} > → Bool, impl : < GHC : {} | GHCJS : {} | HBC : {} | HaskellSuite : { _1 : Text } | Helium : {} | Hugs : {} | JHC : {} | LHC : {} | NHC : {} | OtherCompiler : { _1 : Text } | UHC : {} | YHC : {} > → (∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange) → Bool, flag : Text → Bool } → { autogen-modules : List Text, build-depends : List { bounds : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange, package : Text }, build-tool-depends : List { component : Text, package : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, build-tools : List { exe : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, buildable : Bool, c-sources : List Text, cc-options : List Text, compiler-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, cpp-options : List Text, default-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, default-language : Optional < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, extra-framework-dirs : List Text, extra-ghci-libraries : List Text, extra-lib-dirs : List Text, extra-libraries : List Text, frameworks : List Text, hs-source-dirs : List Text, includes : List Text, include-dirs : List Text, install-includes : List Text, js-sources : List Text, ld-options : List Text, other-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, other-languages : List < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, other-modules : List Text, pkgconfig-depends : List { name : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, profiling-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, shared-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, main-is : Text, scope : < Public : {} | Private : {} >, mixins : List { package : Text, renaming : { provides : List { rename : Text, to : Text }, requires : List { rename : Text, to : Text } } } }, 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 : { os : < AIX : {} | Android : {} | DragonFly : {} | FreeBSD : {} | Ghcjs : {} | HPUX : {} | HaLVM : {} | Hurd : {} | IOS : {} | IRIX : {} | Linux : {} | NetBSD : {} | OSX : {} | OpenBSD : {} | OtherOS : { _1 : Text } | Solaris : {} | Windows : {} > → Bool, arch : < Alpha : {} | Arm : {} | Hppa : {} | I386 : {} | IA64 : {} | JavaScript : {} | M68k : {} | Mips : {} | OtherArch : { _1 : Text } | PPC : {} | PPC64 : {} | Rs6000 : {} | S390 : {} | SH : {} | Sparc : {} | Vax : {} | X86_64 : {} > → Bool, impl : < GHC : {} | GHCJS : {} | HBC : {} | HaskellSuite : { _1 : Text } | Helium : {} | Hugs : {} | JHC : {} | LHC : {} | NHC : {} | OtherCompiler : { _1 : Text } | UHC : {} | YHC : {} > → (∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange) → Bool, flag : Text → Bool } → { autogen-modules : List Text, build-depends : List { bounds : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange, package : Text }, build-tool-depends : List { component : Text, package : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, build-tools : List { exe : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, buildable : Bool, c-sources : List Text, cc-options : List Text, compiler-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, cpp-options : List Text, default-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, default-language : Optional < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, extra-framework-dirs : List Text, extra-ghci-libraries : List Text, extra-lib-dirs : List Text, extra-libraries : List Text, frameworks : List Text, hs-source-dirs : List Text, includes : List Text, include-dirs : List Text, install-includes : List Text, js-sources : List Text, ld-options : List Text, lib-version-linux : Optional (∀(Version : Type) → ∀(v : Text → Version) → Version), mod-def-files : List Text, options : List < Standalone : {} >, other-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, other-languages : List < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, other-modules : List Text, pkgconfig-depends : List { name : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, profiling-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, shared-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, type : < Shared : {} | Static : {} >, lib-version-info : Optional { age : Natural, current : Natural, revision : Natural }, mixins : List { package : Text, renaming : { provides : List { rename : Text, to : Text }, requires : List { rename : Text, to : Text } } } }, name : Text }, homepage : Text, library : Optional ({ os : < AIX : {} | Android : {} | DragonFly : {} | FreeBSD : {} | Ghcjs : {} | HPUX : {} | HaLVM : {} | Hurd : {} | IOS : {} | IRIX : {} | Linux : {} | NetBSD : {} | OSX : {} | OpenBSD : {} | OtherOS : { _1 : Text } | Solaris : {} | Windows : {} > → Bool, arch : < Alpha : {} | Arm : {} | Hppa : {} | I386 : {} | IA64 : {} | JavaScript : {} | M68k : {} | Mips : {} | OtherArch : { _1 : Text } | PPC : {} | PPC64 : {} | Rs6000 : {} | S390 : {} | SH : {} | Sparc : {} | Vax : {} | X86_64 : {} > → Bool, impl : < GHC : {} | GHCJS : {} | HBC : {} | HaskellSuite : { _1 : Text } | Helium : {} | Hugs : {} | JHC : {} | LHC : {} | NHC : {} | OtherCompiler : { _1 : Text } | UHC : {} | YHC : {} > → (∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange) → Bool, flag : Text → Bool } → { autogen-modules : List Text, build-depends : List { bounds : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange, package : Text }, build-tool-depends : List { component : Text, package : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, build-tools : List { exe : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, buildable : Bool, c-sources : List Text, cc-options : List Text, compiler-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, cpp-options : List Text, default-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, default-language : Optional < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, exposed-modules : List Text, extra-framework-dirs : List Text, extra-ghci-libraries : List Text, extra-lib-dirs : List Text, extra-libraries : List Text, frameworks : List Text, hs-source-dirs : List Text, includes : List Text, include-dirs : List Text, install-includes : List Text, js-sources : List Text, ld-options : List Text, other-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, other-languages : List < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, other-modules : List Text, pkgconfig-depends : List { name : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, profiling-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, reexported-modules : List { name : Text, original : { name : Text, package : Optional Text } }, shared-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, mixins : List { package : Text, renaming : { provides : List { rename : Text, to : Text }, requires : List { rename : Text, to : Text } } }, signatures : List Text }), license : < AGPL : Optional (∀(Version : Type) → ∀(v : Text → Version) → Version) | AllRightsReserved : {} | Apache : Optional (∀(Version : Type) → ∀(v : Text → Version) → Version) | BSD2 : {} | BSD3 : {} | BSD4 : {} | GPL : Optional (∀(Version : Type) → ∀(v : Text → Version) → Version) | ISC : {} | LGPL : Optional (∀(Version : Type) → ∀(v : Text → Version) → Version) | MIT : {} | MPL : ∀(Version : Type) → ∀(v : Text → Version) → Version | Other : {} | PublicDomain : {} | Unspecified : {} >, license-files : List Text, maintainer : Text, name : Text, package-url : Text, source-repos : List { type : Optional < Bazaar : {} | CVS : {} | Darcs : {} | Git : {} | GnuArch : {} | Mercurial : {} | Monotone : {} | OtherRepoType : { _1 : Text } | SVN : {} >, location : Optional Text, module : Optional Text, branch : Optional Text, tag : Optional Text, subdir : Optional Text, kind : < RepoHead : {} | RepoKindUnknown : { _1 : Text } | RepoThis : {} > }, stability : Text, sub-libraries : List { library : { os : < AIX : {} | Android : {} | DragonFly : {} | FreeBSD : {} | Ghcjs : {} | HPUX : {} | HaLVM : {} | Hurd : {} | IOS : {} | IRIX : {} | Linux : {} | NetBSD : {} | OSX : {} | OpenBSD : {} | OtherOS : { _1 : Text } | Solaris : {} | Windows : {} > → Bool, arch : < Alpha : {} | Arm : {} | Hppa : {} | I386 : {} | IA64 : {} | JavaScript : {} | M68k : {} | Mips : {} | OtherArch : { _1 : Text } | PPC : {} | PPC64 : {} | Rs6000 : {} | S390 : {} | SH : {} | Sparc : {} | Vax : {} | X86_64 : {} > → Bool, impl : < GHC : {} | GHCJS : {} | HBC : {} | HaskellSuite : { _1 : Text } | Helium : {} | Hugs : {} | JHC : {} | LHC : {} | NHC : {} | OtherCompiler : { _1 : Text } | UHC : {} | YHC : {} > → (∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange) → Bool, flag : Text → Bool } → { autogen-modules : List Text, build-depends : List { bounds : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange, package : Text }, build-tool-depends : List { component : Text, package : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, build-tools : List { exe : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, buildable : Bool, c-sources : List Text, cc-options : List Text, compiler-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, cpp-options : List Text, default-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, default-language : Optional < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, exposed-modules : List Text, extra-framework-dirs : List Text, extra-ghci-libraries : List Text, extra-lib-dirs : List Text, extra-libraries : List Text, frameworks : List Text, hs-source-dirs : List Text, includes : List Text, include-dirs : List Text, install-includes : List Text, js-sources : List Text, ld-options : List Text, other-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, other-languages : List < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, other-modules : List Text, pkgconfig-depends : List { name : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, profiling-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, reexported-modules : List { name : Text, original : { name : Text, package : Optional Text } }, shared-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, mixins : List { package : Text, renaming : { provides : List { rename : Text, to : Text }, requires : List { rename : Text, to : Text } } }, signatures : List Text }, name : Text }, synopsis : Text, test-suites : List { name : Text, test-suite : { os : < AIX : {} | Android : {} | DragonFly : {} | FreeBSD : {} | Ghcjs : {} | HPUX : {} | HaLVM : {} | Hurd : {} | IOS : {} | IRIX : {} | Linux : {} | NetBSD : {} | OSX : {} | OpenBSD : {} | OtherOS : { _1 : Text } | Solaris : {} | Windows : {} > → Bool, arch : < Alpha : {} | Arm : {} | Hppa : {} | I386 : {} | IA64 : {} | JavaScript : {} | M68k : {} | Mips : {} | OtherArch : { _1 : Text } | PPC : {} | PPC64 : {} | Rs6000 : {} | S390 : {} | SH : {} | Sparc : {} | Vax : {} | X86_64 : {} > → Bool, impl : < GHC : {} | GHCJS : {} | HBC : {} | HaskellSuite : { _1 : Text } | Helium : {} | Hugs : {} | JHC : {} | LHC : {} | NHC : {} | OtherCompiler : { _1 : Text } | UHC : {} | YHC : {} > → (∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange) → Bool, flag : Text → Bool } → { autogen-modules : List Text, build-depends : List { bounds : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange, package : Text }, build-tool-depends : List { component : Text, package : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, build-tools : List { exe : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, buildable : Bool, c-sources : List Text, cc-options : List Text, compiler-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, cpp-options : List Text, default-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, default-language : Optional < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, extra-framework-dirs : List Text, extra-ghci-libraries : List Text, extra-lib-dirs : List Text, extra-libraries : List Text, frameworks : List Text, hs-source-dirs : List Text, includes : List Text, include-dirs : List Text, install-includes : List Text, js-sources : List Text, ld-options : List Text, other-extensions : List < AllowAmbiguousTypes : Bool | ApplicativeDo : Bool | Arrows : Bool | AutoDeriveTypeable : Bool | BangPatterns : Bool | BinaryLiterals : Bool | CApiFFI : Bool | CPP : Bool | ConstrainedClassMethods : Bool | ConstraintKinds : Bool | DataKinds : Bool | DatatypeContexts : Bool | DefaultSignatures : Bool | DeriveAnyClass : Bool | DeriveDataTypeable : Bool | DeriveFoldable : Bool | DeriveFunctor : Bool | DeriveGeneric : Bool | DeriveLift : Bool | DeriveTraversable : Bool | DisambiguateRecordFields : Bool | DoAndIfThenElse : Bool | DoRec : Bool | DuplicateRecordFields : Bool | EmptyCase : Bool | EmptyDataDecls : Bool | ExistentialQuantification : Bool | ExplicitForAll : Bool | ExplicitNamespaces : Bool | ExtendedDefaultRules : Bool | ExtensibleRecords : Bool | FlexibleContexts : Bool | FlexibleInstances : Bool | ForeignFunctionInterface : Bool | FunctionalDependencies : Bool | GADTSyntax : Bool | GADTs : Bool | GHCForeignImportPrim : Bool | GeneralizedNewtypeDeriving : Bool | Generics : Bool | HereDocuments : Bool | ImplicitParams : Bool | ImplicitPrelude : Bool | ImpredicativeTypes : Bool | IncoherentInstances : Bool | InstanceSigs : Bool | InterruptibleFFI : Bool | JavaScriptFFI : Bool | KindSignatures : Bool | LambdaCase : Bool | LiberalTypeSynonyms : Bool | MagicHash : Bool | MonadComprehensions : Bool | MonadFailDesugaring : Bool | MonoLocalBinds : Bool | MonoPatBinds : Bool | MonomorphismRestriction : Bool | MultiParamTypeClasses : Bool | MultiWayIf : Bool | NPlusKPatterns : Bool | NamedFieldPuns : Bool | NamedWildCards : Bool | NegativeLiterals : Bool | NewQualifiedOperators : Bool | NondecreasingIndentation : Bool | NullaryTypeClasses : Bool | NumDecimals : Bool | OverlappingInstances : Bool | OverloadedLabels : Bool | OverloadedLists : Bool | OverloadedStrings : Bool | PackageImports : Bool | ParallelArrays : Bool | ParallelListComp : Bool | PartialTypeSignatures : Bool | PatternGuards : Bool | PatternSignatures : Bool | PatternSynonyms : Bool | PolyKinds : Bool | PolymorphicComponents : Bool | PostfixOperators : Bool | QuasiQuotes : Bool | Rank2Types : Bool | RankNTypes : Bool | RebindableSyntax : Bool | RecordPuns : Bool | RecordWildCards : Bool | RecursiveDo : Bool | RegularPatterns : Bool | RelaxedPolyRec : Bool | RestrictedTypeSynonyms : Bool | RoleAnnotations : Bool | Safe : Bool | SafeImports : Bool | ScopedTypeVariables : Bool | StandaloneDeriving : Bool | StaticPointers : Bool | Strict : Bool | StrictData : Bool | TemplateHaskell : Bool | TemplateHaskellQuotes : Bool | TraditionalRecordSyntax : Bool | TransformListComp : Bool | Trustworthy : Bool | TupleSections : Bool | TypeApplications : Bool | TypeFamilies : Bool | TypeFamilyDependencies : Bool | TypeInType : Bool | TypeOperators : Bool | TypeSynonymInstances : Bool | UnboxedTuples : Bool | UndecidableInstances : Bool | UndecidableSuperClasses : Bool | UnicodeSyntax : Bool | UnliftedFFITypes : Bool | Unsafe : Bool | ViewPatterns : Bool | XmlSyntax : Bool >, other-languages : List < Haskell2010 : {} | Haskell98 : {} | UnknownLanguage : { _1 : Text } >, other-modules : List Text, pkgconfig-depends : List { name : Text, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, profiling-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, shared-options : { GHC : List Text, GHCJS : List Text, HBC : List Text, Helium : List Text, Hugs : List Text, JHC : List Text, LHC : List Text, NHC : List Text, UHC : List Text, YHC : List Text }, mixins : List { package : Text, renaming : { provides : List { rename : Text, to : Text }, requires : List { rename : Text, to : Text } } }, type : < exitcode-stdio : { main-is : Text } | detailed : { module : Text } > } }, tested-with : List { compiler : < GHC : {} | GHCJS : {} | HBC : {} | HaskellSuite : { _1 : Text } | Helium : {} | Hugs : {} | JHC : {} | LHC : {} | NHC : {} | OtherCompiler : { _1 : Text } | UHC : {} | YHC : {} >, version : ∀(VersionRange : Type) → ∀(anyVersion : VersionRange) → ∀(noVersion : VersionRange) → ∀(thisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(notThisVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(laterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(earlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orLaterVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(orEarlierVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(withinVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(majorBoundVersion : (∀(Version : Type) → ∀(v : Text → Version) → Version) → VersionRange) → ∀(unionVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(intersectVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(differenceVersionRanges : VersionRange → VersionRange → VersionRange) → ∀(invertVersionRange : VersionRange → VersionRange) → VersionRange }, version : ∀(Version : Type) → ∀(v : Text → Version) → Version, x-fields : List { _1 : Text, _2 : Text } }

Error: Wrong type of function argument

./Prelude/List/map NamedExecutable NamedExecutable touchNamedExecutable

../../dhall/addStandardExtensionsAndWarnings:81:28