factor into packages

horizon-spec/CabalFlag/Type.dhall

+let Flag = ../Flag/Type.dhall let CabalFlag = Flag Text in CabalFlag

horizon-spec/CabalFlag/package.dhall

+{ Type = ./Type.dhall }

horizon-spec/Flag/Type.dhall

+let Flag
+    : ∀(x : Type) → Type
+    = λ(x : Type) → < Disable : x | Enable : x >
+
+in  Flag

horizon-spec/Flag/package.dhall

+{ Type = ./Type.dhall }

horizon-spec/HaskellPackage/Type.dhall

+let HaskellSource = ../HaskellSource/Type.dhall
+
+let Modifiers = ../Modifiers/Type.dhall
+
+let Policy = ../Policy/Type.dhall
+
+let CabalFlag = ../CabalFlag/Type.dhall
+
+let HaskellPackage =
+      { source : HaskellSource
+      , modifiers : Modifiers
+      , policy : List Policy
+      , flags : List CabalFlag
+      }
+
+in  HaskellPackage

horizon-spec/HaskellPackage/default.dhall

+let CabalFlag = ../CabalFlag/Type.dhall
+
+let Policy = ../Policy/Type.dhall
+
+let modifiers = ../Modifiers/default.dhall
+
+in  { modifiers, flags = [] : List CabalFlag, policy = [] : List Policy }

horizon-spec/HaskellPackage/package.dhall

+{ Type = ./Type.dhall, default = ./default.dhall }

horizon-spec/HaskellSource/Type.dhall

+let Version = ../Version/Type.dhall
+
+let HaskellSource =
+      < FromHackage : { name : Text, version : Version }
+      | FromGit : { url : Text, revision : Text, subdir : Text }
+      | FromTarball : { url : Text, subdir : Text }
+      >
+
+in  HaskellSource

horizon-spec/HaskellSource/package.dhall

+{ Type = ./Type.dhall }

horizon-spec/HorizonExport/Type.dhall

+let PackageSetExportSettings = ../PackageSetExportSettings/Type.dhall
+
+let OverlayExportSettings = ../OverlayExportSettings/Type.dhall
+
+let HorizonExport =
+      < MakePackageSet : PackageSetExportSettings
+      | MakeOverlay : OverlayExportSettings
+      >
+
+in  HorizonExport

horizon-spec/HorizonExport/package.dhall

+{ Type = ./Type.dhall }

horizon-spec/Modifiers/Type.dhall

+let Modifiers =
+      { doBenchmark : Bool
+      , doCheck : Bool
+      , doJailbreak : Bool
+      , enableProfiling : Bool
+      , includeBenchmarks : Bool
+      , includeExecutables : Bool
+      , includeTests : Bool
+      }
+
+in  Modifiers

horizon-spec/Modifiers/default.dhall

+let default =
+      { doBenchmark = False
+      , doCheck = False
+      , doJailbreak = True
+      , enableProfiling = True
+      , includeBenchmarks = True
+      , includeExecutables = True
+      , includeTests = True
+      }
+
+in  default

horizon-spec/Modifiers/package.dhall

+{ Type = ./Type.dhall, default = ./default.dhall }

horizon-spec/OverlayExportSettings/Type.dhall

+let PackageSet = ../PackageSet/Type.dhall
+
+let OverlayExportSettings =
+      { packagesDir : Text, overlayFile : Text, overlay : PackageSet }
+
+in  OverlayExportSettings

horizon-spec/OverlayExportSettings/package.dhall

+{ Type = ./Type.dhall }

horizon-spec/PackageList/Type.dhall

+let Prelude = ../Prelude.dhall
+
+let Map = Prelude.Map.Type
+
+let HaskellPackage = ../HaskellPackage/Type.dhall
+
+in  Map Text HaskellPackage

horizon-spec/PackageList/modPackageList.dhall

+let Prelude = ../Prelude.dhall
+
+let Entry = Prelude.Map.Entry
+
+let Modifiers = ../Modifiers/Type.dhall
+
+let PackageList = ./Type.dhall
+
+let HaskellPackage = ../HaskellPackage/Type.dhall
+
+let modPackageList
+    : Modifiers → PackageList → PackageList
+    = λ(xs : Modifiers) →
+      λ(ps : PackageList) →
+        Prelude.List.map
+          (Entry Text HaskellPackage)
+          (Entry Text HaskellPackage)
+          (λ(x : Entry Text HaskellPackage) → x with mapValue.modifiers = xs)
+          ps
+
+in  modPackageList

horizon-spec/PackageList/package.dhall

+{ Type = ./Type.dhall }

horizon-spec/PackageSet/Type.dhall

+let Version = ../Version/Type.dhall
+
+let PackageList = ../PackageList/Type.dhall
+
+let PackageSet = { ghcVersion : Version, packages : PackageList }
+
+in  PackageSet