Cabal 3.14.1.0 → 3.14.1.1
raw patch · 34 files changed
+48/−81 lines, 34 filesdep ~unixPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: unix
API changes (from Hackage documentation)
- Distribution.Simple.Build.Inputs: [$sel:localBuildConfig:NewLocalBuildInfo] :: LocalBuildInfo -> LocalBuildConfig
- Distribution.Simple.Build.Inputs: [$sel:localBuildDescr:NewLocalBuildInfo] :: LocalBuildInfo -> LocalBuildDescr
- Distribution.Simple.LocalBuildInfo: [$sel:localBuildConfig:NewLocalBuildInfo] :: LocalBuildInfo -> LocalBuildConfig
- Distribution.Simple.LocalBuildInfo: [$sel:localBuildDescr:NewLocalBuildInfo] :: LocalBuildInfo -> LocalBuildDescr
- Distribution.Simple.SetupHooks.Internal: [$sel:buildFlags:PostBuildComponentInputs] :: PostBuildComponentInputs -> BuildFlags
- Distribution.Simple.SetupHooks.Internal: [$sel:buildHooks:SetupHooks] :: SetupHooks -> BuildHooks
- Distribution.Simple.SetupHooks.Internal: [$sel:buildOptions:PreConfPackageOutputs] :: PreConfPackageOutputs -> BuildOptions
- Distribution.Simple.SetupHooks.Internal: [$sel:buildingWhat:PreBuildComponentInputs] :: PreBuildComponentInputs -> BuildingWhat
- Distribution.Simple.SetupHooks.Internal: [$sel:compiler:PreConfPackageInputs] :: PreConfPackageInputs -> Compiler
- Distribution.Simple.SetupHooks.Internal: [$sel:component:PreConfComponentInputs] :: PreConfComponentInputs -> Component
- Distribution.Simple.SetupHooks.Internal: [$sel:componentDiff:ComponentDiff] :: ComponentDiff -> Component
- Distribution.Simple.SetupHooks.Internal: [$sel:componentDiff:PreConfComponentOutputs] :: PreConfComponentOutputs -> ComponentDiff
- Distribution.Simple.SetupHooks.Internal: [$sel:configFlags:PreConfPackageInputs] :: PreConfPackageInputs -> ConfigFlags
- Distribution.Simple.SetupHooks.Internal: [$sel:configureHooks:SetupHooks] :: SetupHooks -> ConfigureHooks
- Distribution.Simple.SetupHooks.Internal: [$sel:copyFlags:InstallComponentInputs] :: InstallComponentInputs -> CopyFlags
- Distribution.Simple.SetupHooks.Internal: [$sel:extraConfiguredProgs:PreConfPackageOutputs] :: PreConfPackageOutputs -> ConfiguredProgs
- Distribution.Simple.SetupHooks.Internal: [$sel:installComponentHook:InstallHooks] :: InstallHooks -> Maybe InstallComponentHook
- Distribution.Simple.SetupHooks.Internal: [$sel:installHooks:SetupHooks] :: SetupHooks -> InstallHooks
- Distribution.Simple.SetupHooks.Internal: [$sel:localBuildConfig:PostConfPackageInputs] :: PostConfPackageInputs -> LocalBuildConfig
- Distribution.Simple.SetupHooks.Internal: [$sel:localBuildConfig:PreConfComponentInputs] :: PreConfComponentInputs -> LocalBuildConfig
- Distribution.Simple.SetupHooks.Internal: [$sel:localBuildConfig:PreConfPackageInputs] :: PreConfPackageInputs -> LocalBuildConfig
- Distribution.Simple.SetupHooks.Internal: [$sel:localBuildInfo:InstallComponentInputs] :: InstallComponentInputs -> LocalBuildInfo
- Distribution.Simple.SetupHooks.Internal: [$sel:localBuildInfo:PostBuildComponentInputs] :: PostBuildComponentInputs -> LocalBuildInfo
- Distribution.Simple.SetupHooks.Internal: [$sel:localBuildInfo:PreBuildComponentInputs] :: PreBuildComponentInputs -> LocalBuildInfo
- Distribution.Simple.SetupHooks.Internal: [$sel:packageBuildDescr:PostConfPackageInputs] :: PostConfPackageInputs -> PackageBuildDescr
- Distribution.Simple.SetupHooks.Internal: [$sel:packageBuildDescr:PreConfComponentInputs] :: PreConfComponentInputs -> PackageBuildDescr
- Distribution.Simple.SetupHooks.Internal: [$sel:platform:PreConfPackageInputs] :: PreConfPackageInputs -> Platform
- Distribution.Simple.SetupHooks.Internal: [$sel:postBuildComponentHook:BuildHooks] :: BuildHooks -> Maybe PostBuildComponentHook
- Distribution.Simple.SetupHooks.Internal: [$sel:postConfPackageHook:ConfigureHooks] :: ConfigureHooks -> Maybe PostConfPackageHook
- Distribution.Simple.SetupHooks.Internal: [$sel:preBuildComponentRules:BuildHooks] :: BuildHooks -> Maybe PreBuildComponentRules
- Distribution.Simple.SetupHooks.Internal: [$sel:preConfComponentHook:ConfigureHooks] :: ConfigureHooks -> Maybe PreConfComponentHook
- Distribution.Simple.SetupHooks.Internal: [$sel:preConfPackageHook:ConfigureHooks] :: ConfigureHooks -> Maybe PreConfPackageHook
- Distribution.Simple.SetupHooks.Internal: [$sel:targetInfo:InstallComponentInputs] :: InstallComponentInputs -> TargetInfo
- Distribution.Simple.SetupHooks.Internal: [$sel:targetInfo:PostBuildComponentInputs] :: PostBuildComponentInputs -> TargetInfo
- Distribution.Simple.SetupHooks.Internal: [$sel:targetInfo:PreBuildComponentInputs] :: PreBuildComponentInputs -> TargetInfo
- Distribution.Types.LocalBuildConfig: [$sel:compiler:PackageBuildDescr] :: PackageBuildDescr -> Compiler
- Distribution.Types.LocalBuildConfig: [$sel:componentBuildDescr:LocalBuildDescr] :: LocalBuildDescr -> ComponentBuildDescr
- Distribution.Types.LocalBuildConfig: [$sel:componentEnabledSpec:PackageBuildDescr] :: PackageBuildDescr -> ComponentRequestedSpec
- Distribution.Types.LocalBuildConfig: [$sel:componentGraph:ComponentBuildDescr] :: ComponentBuildDescr -> Graph ComponentLocalBuildInfo
- Distribution.Types.LocalBuildConfig: [$sel:componentNameMap:ComponentBuildDescr] :: ComponentBuildDescr -> Map ComponentName [ComponentLocalBuildInfo]
- Distribution.Types.LocalBuildConfig: [$sel:configFlags:PackageBuildDescr] :: PackageBuildDescr -> ConfigFlags
- Distribution.Types.LocalBuildConfig: [$sel:exeCoverage:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:extraConfigArgs:LocalBuildConfig] :: LocalBuildConfig -> [String]
- Distribution.Types.LocalBuildConfig: [$sel:extraCoverageFor:PackageBuildDescr] :: PackageBuildDescr -> [UnitId]
- Distribution.Types.LocalBuildConfig: [$sel:flagAssignment:PackageBuildDescr] :: PackageBuildDescr -> FlagAssignment
- Distribution.Types.LocalBuildConfig: [$sel:hostPlatform:PackageBuildDescr] :: PackageBuildDescr -> Platform
- Distribution.Types.LocalBuildConfig: [$sel:installDirTemplates:PackageBuildDescr] :: PackageBuildDescr -> InstallDirTemplates
- Distribution.Types.LocalBuildConfig: [$sel:installedPkgs:ComponentBuildDescr] :: ComponentBuildDescr -> InstalledPackageIndex
- Distribution.Types.LocalBuildConfig: [$sel:libCoverage:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:localPkgDescr:PackageBuildDescr] :: PackageBuildDescr -> PackageDescription
- Distribution.Types.LocalBuildConfig: [$sel:packageBuildDescr:LocalBuildDescr] :: LocalBuildDescr -> PackageBuildDescr
- Distribution.Types.LocalBuildConfig: [$sel:pkgDescrFile:PackageBuildDescr] :: PackageBuildDescr -> Maybe (SymbolicPath Pkg File)
- Distribution.Types.LocalBuildConfig: [$sel:promisedPkgs:ComponentBuildDescr] :: ComponentBuildDescr -> Map (PackageName, ComponentName) PromisedComponent
- Distribution.Types.LocalBuildConfig: [$sel:relocatable:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:splitObjs:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:splitSections:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:stripExes:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:stripLibs:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withBuildOptions:LocalBuildConfig] :: LocalBuildConfig -> BuildOptions
- Distribution.Types.LocalBuildConfig: [$sel:withDebugInfo:BuildOptions] :: BuildOptions -> DebugInfoLevel
- Distribution.Types.LocalBuildConfig: [$sel:withDynExe:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withFullyStaticExe:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withGHCiLib:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withOptimization:BuildOptions] :: BuildOptions -> OptimisationLevel
- Distribution.Types.LocalBuildConfig: [$sel:withPackageDB:PackageBuildDescr] :: PackageBuildDescr -> PackageDBStack
- Distribution.Types.LocalBuildConfig: [$sel:withProfExe:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withProfExeDetail:BuildOptions] :: BuildOptions -> ProfDetailLevel
- Distribution.Types.LocalBuildConfig: [$sel:withProfLib:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withProfLibDetail:BuildOptions] :: BuildOptions -> ProfDetailLevel
- Distribution.Types.LocalBuildConfig: [$sel:withProfLibShared:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withPrograms:LocalBuildConfig] :: LocalBuildConfig -> ProgramDb
- Distribution.Types.LocalBuildConfig: [$sel:withSharedLib:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withStaticLib:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildConfig: [$sel:withVanillaLib:BuildOptions] :: BuildOptions -> Bool
- Distribution.Types.LocalBuildInfo: [$sel:localBuildConfig:NewLocalBuildInfo] :: LocalBuildInfo -> LocalBuildConfig
- Distribution.Types.LocalBuildInfo: [$sel:localBuildDescr:NewLocalBuildInfo] :: LocalBuildInfo -> LocalBuildDescr
+ Distribution.Simple.Build.Inputs: [localBuildConfig] :: LocalBuildInfo -> LocalBuildConfig
+ Distribution.Simple.Build.Inputs: [localBuildDescr] :: LocalBuildInfo -> LocalBuildDescr
+ Distribution.Simple.LocalBuildInfo: [localBuildConfig] :: LocalBuildInfo -> LocalBuildConfig
+ Distribution.Simple.LocalBuildInfo: [localBuildDescr] :: LocalBuildInfo -> LocalBuildDescr
+ Distribution.Simple.SetupHooks.Internal: [buildFlags] :: PostBuildComponentInputs -> BuildFlags
+ Distribution.Simple.SetupHooks.Internal: [buildHooks] :: SetupHooks -> BuildHooks
+ Distribution.Simple.SetupHooks.Internal: [buildOptions] :: PreConfPackageOutputs -> BuildOptions
+ Distribution.Simple.SetupHooks.Internal: [buildingWhat] :: PreBuildComponentInputs -> BuildingWhat
+ Distribution.Simple.SetupHooks.Internal: [compiler] :: PreConfPackageInputs -> Compiler
+ Distribution.Simple.SetupHooks.Internal: [componentDiff] :: ComponentDiff -> Component
+ Distribution.Simple.SetupHooks.Internal: [component] :: PreConfComponentInputs -> Component
+ Distribution.Simple.SetupHooks.Internal: [configFlags] :: PreConfPackageInputs -> ConfigFlags
+ Distribution.Simple.SetupHooks.Internal: [configureHooks] :: SetupHooks -> ConfigureHooks
+ Distribution.Simple.SetupHooks.Internal: [copyFlags] :: InstallComponentInputs -> CopyFlags
+ Distribution.Simple.SetupHooks.Internal: [extraConfiguredProgs] :: PreConfPackageOutputs -> ConfiguredProgs
+ Distribution.Simple.SetupHooks.Internal: [installComponentHook] :: InstallHooks -> Maybe InstallComponentHook
+ Distribution.Simple.SetupHooks.Internal: [installHooks] :: SetupHooks -> InstallHooks
+ Distribution.Simple.SetupHooks.Internal: [localBuildConfig] :: PreConfComponentInputs -> LocalBuildConfig
+ Distribution.Simple.SetupHooks.Internal: [localBuildInfo] :: InstallComponentInputs -> LocalBuildInfo
+ Distribution.Simple.SetupHooks.Internal: [packageBuildDescr] :: PreConfComponentInputs -> PackageBuildDescr
+ Distribution.Simple.SetupHooks.Internal: [platform] :: PreConfPackageInputs -> Platform
+ Distribution.Simple.SetupHooks.Internal: [postBuildComponentHook] :: BuildHooks -> Maybe PostBuildComponentHook
+ Distribution.Simple.SetupHooks.Internal: [postConfPackageHook] :: ConfigureHooks -> Maybe PostConfPackageHook
+ Distribution.Simple.SetupHooks.Internal: [preBuildComponentRules] :: BuildHooks -> Maybe PreBuildComponentRules
+ Distribution.Simple.SetupHooks.Internal: [preConfComponentHook] :: ConfigureHooks -> Maybe PreConfComponentHook
+ Distribution.Simple.SetupHooks.Internal: [preConfPackageHook] :: ConfigureHooks -> Maybe PreConfPackageHook
+ Distribution.Simple.SetupHooks.Internal: [targetInfo] :: InstallComponentInputs -> TargetInfo
+ Distribution.Types.LocalBuildConfig: [compiler] :: PackageBuildDescr -> Compiler
+ Distribution.Types.LocalBuildConfig: [componentBuildDescr] :: LocalBuildDescr -> ComponentBuildDescr
+ Distribution.Types.LocalBuildConfig: [componentEnabledSpec] :: PackageBuildDescr -> ComponentRequestedSpec
+ Distribution.Types.LocalBuildConfig: [componentGraph] :: ComponentBuildDescr -> Graph ComponentLocalBuildInfo
+ Distribution.Types.LocalBuildConfig: [componentNameMap] :: ComponentBuildDescr -> Map ComponentName [ComponentLocalBuildInfo]
+ Distribution.Types.LocalBuildConfig: [configFlags] :: PackageBuildDescr -> ConfigFlags
+ Distribution.Types.LocalBuildConfig: [exeCoverage] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [extraConfigArgs] :: LocalBuildConfig -> [String]
+ Distribution.Types.LocalBuildConfig: [extraCoverageFor] :: PackageBuildDescr -> [UnitId]
+ Distribution.Types.LocalBuildConfig: [flagAssignment] :: PackageBuildDescr -> FlagAssignment
+ Distribution.Types.LocalBuildConfig: [hostPlatform] :: PackageBuildDescr -> Platform
+ Distribution.Types.LocalBuildConfig: [installDirTemplates] :: PackageBuildDescr -> InstallDirTemplates
+ Distribution.Types.LocalBuildConfig: [installedPkgs] :: ComponentBuildDescr -> InstalledPackageIndex
+ Distribution.Types.LocalBuildConfig: [libCoverage] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [localPkgDescr] :: PackageBuildDescr -> PackageDescription
+ Distribution.Types.LocalBuildConfig: [packageBuildDescr] :: LocalBuildDescr -> PackageBuildDescr
+ Distribution.Types.LocalBuildConfig: [pkgDescrFile] :: PackageBuildDescr -> Maybe (SymbolicPath Pkg 'File)
+ Distribution.Types.LocalBuildConfig: [promisedPkgs] :: ComponentBuildDescr -> Map (PackageName, ComponentName) PromisedComponent
+ Distribution.Types.LocalBuildConfig: [relocatable] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [splitObjs] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [splitSections] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [stripExes] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [stripLibs] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withBuildOptions] :: LocalBuildConfig -> BuildOptions
+ Distribution.Types.LocalBuildConfig: [withDebugInfo] :: BuildOptions -> DebugInfoLevel
+ Distribution.Types.LocalBuildConfig: [withDynExe] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withFullyStaticExe] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withGHCiLib] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withOptimization] :: BuildOptions -> OptimisationLevel
+ Distribution.Types.LocalBuildConfig: [withPackageDB] :: PackageBuildDescr -> PackageDBStack
+ Distribution.Types.LocalBuildConfig: [withProfExeDetail] :: BuildOptions -> ProfDetailLevel
+ Distribution.Types.LocalBuildConfig: [withProfExe] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withProfLibDetail] :: BuildOptions -> ProfDetailLevel
+ Distribution.Types.LocalBuildConfig: [withProfLibShared] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withProfLib] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withPrograms] :: LocalBuildConfig -> ProgramDb
+ Distribution.Types.LocalBuildConfig: [withSharedLib] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withStaticLib] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildConfig: [withVanillaLib] :: BuildOptions -> Bool
+ Distribution.Types.LocalBuildInfo: [localBuildConfig] :: LocalBuildInfo -> LocalBuildConfig
+ Distribution.Types.LocalBuildInfo: [localBuildDescr] :: LocalBuildInfo -> LocalBuildDescr
- Distribution.Backpack.ComponentsGraph: type ComponentsGraph = Graph (Node ComponentName Component)
+ Distribution.Backpack.ComponentsGraph: type ComponentsGraph = Graph Node ComponentName Component
- Distribution.Backpack.ConfiguredComponent: type ConfiguredComponentMap = Map PackageName (Map ComponentName (AnnotatedId ComponentId))
+ Distribution.Backpack.ConfiguredComponent: type ConfiguredComponentMap = Map PackageName Map ComponentName AnnotatedId ComponentId
- Distribution.Compat.Stack: data () => CallStack
+ Distribution.Compat.Stack: data CallStack
- Distribution.Make: data () => License
+ Distribution.Make: data License
- Distribution.Make: data () => Version
+ Distribution.Make: data Version
- Distribution.PackageDescription.Check: CheckPackageContentOps :: (FilePath -> m Bool) -> (FilePath -> m Bool) -> (FilePath -> m [FilePath]) -> (FilePath -> m ByteString) -> CheckPackageContentOps m
+ Distribution.PackageDescription.Check: CheckPackageContentOps :: (FilePath -> m Bool) -> (FilePath -> m Bool) -> (FilePath -> m [FilePath]) -> (FilePath -> m ByteString) -> CheckPackageContentOps (m :: Type -> Type)
- Distribution.PackageDescription.Check: UnknownFile :: String -> RelativePath Pkg File -> CheckExplanation
+ Distribution.PackageDescription.Check: UnknownFile :: String -> RelativePath Pkg 'File -> CheckExplanation
- Distribution.PackageDescription.Check: [doesDirectoryExist] :: CheckPackageContentOps m -> FilePath -> m Bool
+ Distribution.PackageDescription.Check: [doesDirectoryExist] :: CheckPackageContentOps (m :: Type -> Type) -> FilePath -> m Bool
- Distribution.PackageDescription.Check: [doesFileExist] :: CheckPackageContentOps m -> FilePath -> m Bool
+ Distribution.PackageDescription.Check: [doesFileExist] :: CheckPackageContentOps (m :: Type -> Type) -> FilePath -> m Bool
- Distribution.PackageDescription.Check: [getDirectoryContents] :: CheckPackageContentOps m -> FilePath -> m [FilePath]
+ Distribution.PackageDescription.Check: [getDirectoryContents] :: CheckPackageContentOps (m :: Type -> Type) -> FilePath -> m [FilePath]
- Distribution.PackageDescription.Check: [getFileContents] :: CheckPackageContentOps m -> FilePath -> m ByteString
+ Distribution.PackageDescription.Check: [getFileContents] :: CheckPackageContentOps (m :: Type -> Type) -> FilePath -> m ByteString
- Distribution.PackageDescription.Check: data CheckPackageContentOps m
+ Distribution.PackageDescription.Check: data CheckPackageContentOps (m :: Type -> Type)
- Distribution.Simple.Build: createInternalPackageDB :: Verbosity -> LocalBuildInfo -> SymbolicPath Pkg (Dir Dist) -> IO PackageDB
+ Distribution.Simple.Build: createInternalPackageDB :: Verbosity -> LocalBuildInfo -> SymbolicPath Pkg ('Dir Dist) -> IO PackageDB
- Distribution.Simple.Build.Inputs: buildingWhatDistPref :: BuildingWhat -> SymbolicPath Pkg (Dir Dist)
+ Distribution.Simple.Build.Inputs: buildingWhatDistPref :: BuildingWhat -> SymbolicPath Pkg ('Dir Dist)
- Distribution.Simple.Build.Inputs: buildingWhatWorkingDir :: BuildingWhat -> Maybe (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.Build.Inputs: buildingWhatWorkingDir :: BuildingWhat -> Maybe (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.Build.Inputs: pattern LocalBuildInfo :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> [String] -> InstallDirTemplates -> Compiler -> Platform -> Maybe (SymbolicPath Pkg File) -> Graph ComponentLocalBuildInfo -> Map ComponentName [ComponentLocalBuildInfo] -> Map (PackageName, ComponentName) PromisedComponent -> InstalledPackageIndex -> PackageDescription -> ProgramDb -> PackageDBStack -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> ProfDetailLevel -> ProfDetailLevel -> OptimisationLevel -> DebugInfoLevel -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> [UnitId] -> Bool -> LocalBuildInfo
+ Distribution.Simple.Build.Inputs: pattern LocalBuildInfo :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> [String] -> InstallDirTemplates -> Compiler -> Platform -> Maybe (SymbolicPath Pkg 'File) -> Graph ComponentLocalBuildInfo -> Map ComponentName [ComponentLocalBuildInfo] -> Map (PackageName, ComponentName) PromisedComponent -> InstalledPackageIndex -> PackageDescription -> ProgramDb -> PackageDBStack -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> ProfDetailLevel -> ProfDetailLevel -> OptimisationLevel -> DebugInfoLevel -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> [UnitId] -> Bool -> LocalBuildInfo
- Distribution.Simple.BuildPaths: autogenComponentModulesDir :: LocalBuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg (Dir Source)
+ Distribution.Simple.BuildPaths: autogenComponentModulesDir :: LocalBuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg ('Dir Source)
- Distribution.Simple.BuildPaths: autogenPackageModulesDir :: LocalBuildInfo -> SymbolicPath Pkg (Dir Source)
+ Distribution.Simple.BuildPaths: autogenPackageModulesDir :: LocalBuildInfo -> SymbolicPath Pkg ('Dir Source)
- Distribution.Simple.BuildPaths: benchmarkBuildDir :: LocalBuildInfo -> Benchmark -> SymbolicPath Pkg (Dir Build)
+ Distribution.Simple.BuildPaths: benchmarkBuildDir :: LocalBuildInfo -> Benchmark -> SymbolicPath Pkg ('Dir Build)
- Distribution.Simple.BuildPaths: buildInfoPref :: SymbolicPath root (Dir Dist) -> SymbolicPath root File
+ Distribution.Simple.BuildPaths: buildInfoPref :: SymbolicPath root ('Dir Dist) -> SymbolicPath root 'File
- Distribution.Simple.BuildPaths: defaultDistPref :: SymbolicPath Pkg (Dir Dist)
+ Distribution.Simple.BuildPaths: defaultDistPref :: SymbolicPath Pkg ('Dir Dist)
- Distribution.Simple.BuildPaths: exeBuildDir :: LocalBuildInfo -> Executable -> SymbolicPath Pkg (Dir Build)
+ Distribution.Simple.BuildPaths: exeBuildDir :: LocalBuildInfo -> Executable -> SymbolicPath Pkg ('Dir Build)
- Distribution.Simple.BuildPaths: flibBuildDir :: LocalBuildInfo -> ForeignLib -> SymbolicPath Pkg (Dir Build)
+ Distribution.Simple.BuildPaths: flibBuildDir :: LocalBuildInfo -> ForeignLib -> SymbolicPath Pkg ('Dir Build)
- Distribution.Simple.BuildPaths: getFLibSourceFiles :: Verbosity -> LocalBuildInfo -> ForeignLib -> ComponentLocalBuildInfo -> IO [(ModuleName, SymbolicPath Pkg File)]
+ Distribution.Simple.BuildPaths: getFLibSourceFiles :: Verbosity -> LocalBuildInfo -> ForeignLib -> ComponentLocalBuildInfo -> IO [(ModuleName, SymbolicPath Pkg 'File)]
- Distribution.Simple.BuildPaths: getLibSourceFiles :: Verbosity -> LocalBuildInfo -> Library -> ComponentLocalBuildInfo -> IO [(ModuleName, SymbolicPath Pkg File)]
+ Distribution.Simple.BuildPaths: getLibSourceFiles :: Verbosity -> LocalBuildInfo -> Library -> ComponentLocalBuildInfo -> IO [(ModuleName, SymbolicPath Pkg 'File)]
- Distribution.Simple.BuildPaths: getSourceFiles :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg (Dir Source)] -> [ModuleName] -> IO [(ModuleName, SymbolicPathX allowAbsolute Pkg File)]
+ Distribution.Simple.BuildPaths: getSourceFiles :: forall (allowAbsolute :: AllowAbsolute). Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg ('Dir Source)] -> [ModuleName] -> IO [(ModuleName, SymbolicPathX allowAbsolute Pkg 'File)]
- Distribution.Simple.BuildPaths: haddockPref :: HaddockTarget -> SymbolicPath root (Dir Dist) -> PackageDescription -> SymbolicPath root (Dir Artifacts)
+ Distribution.Simple.BuildPaths: haddockPref :: HaddockTarget -> SymbolicPath root ('Dir Dist) -> PackageDescription -> SymbolicPath root ('Dir Artifacts)
- Distribution.Simple.BuildPaths: hscolourPref :: HaddockTarget -> SymbolicPath root (Dir Dist) -> PackageDescription -> SymbolicPath root (Dir Artifacts)
+ Distribution.Simple.BuildPaths: hscolourPref :: HaddockTarget -> SymbolicPath root ('Dir Dist) -> PackageDescription -> SymbolicPath root ('Dir Artifacts)
- Distribution.Simple.BuildPaths: testBuildDir :: LocalBuildInfo -> TestSuite -> SymbolicPath Pkg (Dir Build)
+ Distribution.Simple.BuildPaths: testBuildDir :: LocalBuildInfo -> TestSuite -> SymbolicPath Pkg ('Dir Build)
- Distribution.Simple.Compiler: absolutePackageDBPath :: Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> IO PackageDB
+ Distribution.Simple.Compiler: absolutePackageDBPath :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> IO PackageDB
- Distribution.Simple.Compiler: absolutePackageDBPaths :: Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDBStack -> IO PackageDBStack
+ Distribution.Simple.Compiler: absolutePackageDBPaths :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> IO PackageDBStack
- Distribution.Simple.Compiler: coercePackageDB :: PackageDBCWD -> PackageDBX (SymbolicPath CWD (Dir PkgDB))
+ Distribution.Simple.Compiler: coercePackageDB :: PackageDBCWD -> PackageDBX (SymbolicPath CWD ('Dir PkgDB))
- Distribution.Simple.Compiler: coercePackageDBStack :: [PackageDBCWD] -> [PackageDBX (SymbolicPath CWD (Dir PkgDB))]
+ Distribution.Simple.Compiler: coercePackageDBStack :: [PackageDBCWD] -> [PackageDBX (SymbolicPath CWD ('Dir PkgDB))]
- Distribution.Simple.Compiler: interpretPackageDB :: Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> PackageDBCWD
+ Distribution.Simple.Compiler: interpretPackageDB :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageDBCWD
- Distribution.Simple.Compiler: interpretPackageDBStack :: Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDBStack -> PackageDBStackCWD
+ Distribution.Simple.Compiler: interpretPackageDBStack :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> PackageDBStackCWD
- Distribution.Simple.Compiler: type PackageDB = PackageDBX (SymbolicPath Pkg (Dir PkgDB))
+ Distribution.Simple.Compiler: type PackageDB = PackageDBX SymbolicPath Pkg 'Dir PkgDB
- Distribution.Simple.Compiler: type PackageDBS from = PackageDBX (SymbolicPath from (Dir PkgDB))
+ Distribution.Simple.Compiler: type PackageDBS from = PackageDBX SymbolicPath from 'Dir PkgDB
- Distribution.Simple.Compiler: type PackageDBStack = PackageDBStackX (SymbolicPath Pkg (Dir PkgDB))
+ Distribution.Simple.Compiler: type PackageDBStack = PackageDBStackX SymbolicPath Pkg 'Dir PkgDB
- Distribution.Simple.Compiler: type PackageDBStackS from = PackageDBStackX (SymbolicPath from (Dir PkgDB))
+ Distribution.Simple.Compiler: type PackageDBStackS from = PackageDBStackX SymbolicPath from 'Dir PkgDB
- Distribution.Simple.Configure: ConfigStateFileMissing :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg File -> ConfigStateFileError
+ Distribution.Simple.Configure: ConfigStateFileMissing :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg 'File -> ConfigStateFileError
- Distribution.Simple.Configure: [cfgStateFileErrorCwd] :: ConfigStateFileError -> Maybe (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.Configure: [cfgStateFileErrorCwd] :: ConfigStateFileError -> Maybe (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.Configure: [cfgStateFileErrorFile] :: ConfigStateFileError -> SymbolicPath Pkg File
+ Distribution.Simple.Configure: [cfgStateFileErrorFile] :: ConfigStateFileError -> SymbolicPath Pkg 'File
- Distribution.Simple.Configure: checkPersistBuildConfigOutdated :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir Dist) -> SymbolicPath Pkg File -> IO Bool
+ Distribution.Simple.Configure: checkPersistBuildConfigOutdated :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir Dist) -> SymbolicPath Pkg 'File -> IO Bool
- Distribution.Simple.Configure: findDistPref :: SymbolicPath Pkg (Dir Dist) -> Flag (SymbolicPath Pkg (Dir Dist)) -> IO (SymbolicPath Pkg (Dir Dist))
+ Distribution.Simple.Configure: findDistPref :: SymbolicPath Pkg ('Dir Dist) -> Flag (SymbolicPath Pkg ('Dir Dist)) -> IO (SymbolicPath Pkg ('Dir Dist))
- Distribution.Simple.Configure: findDistPrefOrDefault :: Flag (SymbolicPath Pkg (Dir Dist)) -> IO (SymbolicPath Pkg (Dir Dist))
+ Distribution.Simple.Configure: findDistPrefOrDefault :: Flag (SymbolicPath Pkg ('Dir Dist)) -> IO (SymbolicPath Pkg ('Dir Dist))
- Distribution.Simple.Configure: getConfigStateFile :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg File -> IO LocalBuildInfo
+ Distribution.Simple.Configure: getConfigStateFile :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg 'File -> IO LocalBuildInfo
- Distribution.Simple.Configure: getInstalledPackages :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackX (SymbolicPath from (Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.Configure: getInstalledPackages :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackX (SymbolicPath from ('Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.Configure: getPackageDBContents :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.Configure: getPackageDBContents :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.Configure: getPersistBuildConfig :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir Dist) -> IO LocalBuildInfo
+ Distribution.Simple.Configure: getPersistBuildConfig :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir Dist) -> IO LocalBuildInfo
- Distribution.Simple.Configure: localBuildInfoFile :: SymbolicPath Pkg (Dir Dist) -> SymbolicPath Pkg File
+ Distribution.Simple.Configure: localBuildInfoFile :: SymbolicPath Pkg ('Dir Dist) -> SymbolicPath Pkg 'File
- Distribution.Simple.Configure: maybeGetPersistBuildConfig :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir Dist) -> IO (Maybe LocalBuildInfo)
+ Distribution.Simple.Configure: maybeGetPersistBuildConfig :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir Dist) -> IO (Maybe LocalBuildInfo)
- Distribution.Simple.Configure: tryGetConfigStateFile :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg File -> IO (Either ConfigStateFileError LocalBuildInfo)
+ Distribution.Simple.Configure: tryGetConfigStateFile :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg 'File -> IO (Either ConfigStateFileError LocalBuildInfo)
- Distribution.Simple.Configure: tryGetPersistBuildConfig :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir Dist) -> IO (Either ConfigStateFileError LocalBuildInfo)
+ Distribution.Simple.Configure: tryGetPersistBuildConfig :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir Dist) -> IO (Either ConfigStateFileError LocalBuildInfo)
- Distribution.Simple.Configure: writePersistBuildConfig :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir Dist) -> LocalBuildInfo -> IO ()
+ Distribution.Simple.Configure: writePersistBuildConfig :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir Dist) -> LocalBuildInfo -> IO ()
- Distribution.Simple.GHC: componentCcGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg (Dir Artifacts) -> SymbolicPath Pkg File -> GhcOptions
+ Distribution.Simple.GHC: componentCcGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg ('Dir Artifacts) -> SymbolicPath Pkg 'File -> GhcOptions
- Distribution.Simple.GHC: componentGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg (Dir build) -> GhcOptions
+ Distribution.Simple.GHC: componentGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg ('Dir build) -> GhcOptions
- Distribution.Simple.GHC: getInstalledPackages :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackX (SymbolicPath from (Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.GHC: getInstalledPackages :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackX (SymbolicPath from ('Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.GHC: getInstalledPackagesMonitorFiles :: forall from. Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> Platform -> ProgramDb -> [PackageDBS from] -> IO [FilePath]
+ Distribution.Simple.GHC: getInstalledPackagesMonitorFiles :: Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> Platform -> ProgramDb -> [PackageDBS from] -> IO [FilePath]
- Distribution.Simple.GHC: getPackageDBContents :: Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBX (SymbolicPath from (Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.GHC: getPackageDBContents :: Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBX (SymbolicPath from ('Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.GHC: pkgRoot :: Verbosity -> LocalBuildInfo -> PackageDB -> IO (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.GHC: pkgRoot :: Verbosity -> LocalBuildInfo -> PackageDB -> IO (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.GHC: registerPackage :: Verbosity -> ProgramDb -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
+ Distribution.Simple.GHC: registerPackage :: Verbosity -> ProgramDb -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
- Distribution.Simple.GHCJS: componentCcGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg (Dir Artifacts) -> SymbolicPath Pkg File -> GhcOptions
+ Distribution.Simple.GHCJS: componentCcGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg ('Dir Artifacts) -> SymbolicPath Pkg 'File -> GhcOptions
- Distribution.Simple.GHCJS: componentGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg (Dir build) -> GhcOptions
+ Distribution.Simple.GHCJS: componentGhcOptions :: Verbosity -> LocalBuildInfo -> BuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg ('Dir build) -> GhcOptions
- Distribution.Simple.GHCJS: getInstalledPackages :: Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackX (SymbolicPath from (Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.GHCJS: getInstalledPackages :: Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackX (SymbolicPath from ('Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.GHCJS: getInstalledPackagesMonitorFiles :: Verbosity -> Platform -> Maybe (SymbolicPath CWD (Dir Pkg)) -> ProgramDb -> [PackageDB] -> IO [FilePath]
+ Distribution.Simple.GHCJS: getInstalledPackagesMonitorFiles :: Verbosity -> Platform -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> ProgramDb -> [PackageDB] -> IO [FilePath]
- Distribution.Simple.GHCJS: getPackageDBContents :: Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBX (SymbolicPath from (Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.GHCJS: getPackageDBContents :: Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBX (SymbolicPath from ('Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.GHCJS: registerPackage :: Verbosity -> ProgramDb -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
+ Distribution.Simple.GHCJS: registerPackage :: Verbosity -> ProgramDb -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
- Distribution.Simple.Glob: matchDirFileGlob :: Verbosity -> CabalSpecVersion -> Maybe (SymbolicPath CWD (Dir dir)) -> SymbolicPathX allowAbs dir file -> IO [SymbolicPathX allowAbs dir file]
+ Distribution.Simple.Glob: matchDirFileGlob :: forall dir (allowAbs :: AllowAbsolute) (file :: FileOrDir). Verbosity -> CabalSpecVersion -> Maybe (SymbolicPath CWD ('Dir dir)) -> SymbolicPathX allowAbs dir file -> IO [SymbolicPathX allowAbs dir file]
- Distribution.Simple.Glob: matchDirFileGlobWithDie :: Verbosity -> (forall res. Verbosity -> CabalException -> IO [res]) -> CabalSpecVersion -> Maybe (SymbolicPath CWD (Dir dir)) -> SymbolicPathX allowAbs dir file -> IO [SymbolicPathX allowAbs dir file]
+ Distribution.Simple.Glob: matchDirFileGlobWithDie :: forall dir (allowAbs :: AllowAbsolute) (file :: FileOrDir). Verbosity -> (forall res. () => Verbosity -> CabalException -> IO [res]) -> CabalSpecVersion -> Maybe (SymbolicPath CWD ('Dir dir)) -> SymbolicPathX allowAbs dir file -> IO [SymbolicPathX allowAbs dir file]
- Distribution.Simple.Haddock: createHaddockIndex :: Verbosity -> ProgramDb -> Compiler -> Platform -> Maybe (SymbolicPath CWD (Dir Pkg)) -> HaddockProjectFlags -> IO ()
+ Distribution.Simple.Haddock: createHaddockIndex :: Verbosity -> ProgramDb -> Compiler -> Platform -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> HaddockProjectFlags -> IO ()
- Distribution.Simple.HaskellSuite: getInstalledPackages :: Verbosity -> PackageDBStackX (SymbolicPath from (Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.HaskellSuite: getInstalledPackages :: Verbosity -> PackageDBStackX (SymbolicPath from ('Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.HaskellSuite: packageDbOpt :: PackageDBX (SymbolicPath from (Dir PkgDB)) -> String
+ Distribution.Simple.HaskellSuite: packageDbOpt :: PackageDBX (SymbolicPath from ('Dir PkgDB)) -> String
- Distribution.Simple.Hpc: HPCMarkupInfo :: [SymbolicPath Pkg (Dir Artifacts)] -> [ModuleName] -> HPCMarkupInfo
+ Distribution.Simple.Hpc: HPCMarkupInfo :: [SymbolicPath Pkg ('Dir Artifacts)] -> [ModuleName] -> HPCMarkupInfo
- Distribution.Simple.Hpc: [pathsToLibsArtifacts] :: HPCMarkupInfo -> [SymbolicPath Pkg (Dir Artifacts)]
+ Distribution.Simple.Hpc: [pathsToLibsArtifacts] :: HPCMarkupInfo -> [SymbolicPath Pkg ('Dir Artifacts)]
- Distribution.Simple.Hpc: htmlDir :: SymbolicPath Pkg (Dir Dist) -> Way -> SymbolicPath Pkg (Dir Artifacts)
+ Distribution.Simple.Hpc: htmlDir :: SymbolicPath Pkg ('Dir Dist) -> Way -> SymbolicPath Pkg ('Dir Artifacts)
- Distribution.Simple.Hpc: markupPackage :: Verbosity -> HPCMarkupInfo -> LocalBuildInfo -> SymbolicPath Pkg (Dir Dist) -> PackageDescription -> [TestSuite] -> IO ()
+ Distribution.Simple.Hpc: markupPackage :: Verbosity -> HPCMarkupInfo -> LocalBuildInfo -> SymbolicPath Pkg ('Dir Dist) -> PackageDescription -> [TestSuite] -> IO ()
- Distribution.Simple.Hpc: mixDir :: SymbolicPath Pkg (Dir Dist) -> Way -> SymbolicPath Pkg (Dir Mix)
+ Distribution.Simple.Hpc: mixDir :: SymbolicPath Pkg ('Dir Dist) -> Way -> SymbolicPath Pkg ('Dir Mix)
- Distribution.Simple.Hpc: tixDir :: SymbolicPath Pkg (Dir Dist) -> Way -> SymbolicPath Pkg (Dir Tix)
+ Distribution.Simple.Hpc: tixDir :: SymbolicPath Pkg ('Dir Dist) -> Way -> SymbolicPath Pkg ('Dir Tix)
- Distribution.Simple.Hpc: tixFilePath :: SymbolicPath Pkg (Dir Dist) -> Way -> FilePath -> SymbolicPath Pkg File
+ Distribution.Simple.Hpc: tixFilePath :: SymbolicPath Pkg ('Dir Dist) -> Way -> FilePath -> SymbolicPath Pkg 'File
- Distribution.Simple.Install: installFileGlob :: Verbosity -> CabalSpecVersion -> Maybe (SymbolicPath CWD (Dir Pkg)) -> (Maybe (SymbolicPath CWD (Dir DataDir)), SymbolicPath Pkg (Dir DataDir)) -> RelativePath DataDir File -> IO ()
+ Distribution.Simple.Install: installFileGlob :: Verbosity -> CabalSpecVersion -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> (Maybe (SymbolicPath CWD ('Dir DataDir)), SymbolicPath Pkg ('Dir DataDir)) -> RelativePath DataDir 'File -> IO ()
- Distribution.Simple.LocalBuildInfo: absoluteWorkingDirLBI :: LocalBuildInfo -> IO (AbsolutePath (Dir Pkg))
+ Distribution.Simple.LocalBuildInfo: absoluteWorkingDirLBI :: LocalBuildInfo -> IO (AbsolutePath ('Dir Pkg))
- Distribution.Simple.LocalBuildInfo: buildDir :: LocalBuildInfo -> SymbolicPath Pkg (Dir Build)
+ Distribution.Simple.LocalBuildInfo: buildDir :: LocalBuildInfo -> SymbolicPath Pkg ('Dir Build)
- Distribution.Simple.LocalBuildInfo: componentBuildDir :: LocalBuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg (Dir Build)
+ Distribution.Simple.LocalBuildInfo: componentBuildDir :: LocalBuildInfo -> ComponentLocalBuildInfo -> SymbolicPath Pkg ('Dir Build)
- Distribution.Simple.LocalBuildInfo: data () => Component
+ Distribution.Simple.LocalBuildInfo: data Component
- Distribution.Simple.LocalBuildInfo: data () => ComponentName
+ Distribution.Simple.LocalBuildInfo: data ComponentName
- Distribution.Simple.LocalBuildInfo: data () => LibraryName
+ Distribution.Simple.LocalBuildInfo: data LibraryName
- Distribution.Simple.LocalBuildInfo: interpretSymbolicPathLBI :: LocalBuildInfo -> SymbolicPathX allowAbsolute Pkg to -> FilePath
+ Distribution.Simple.LocalBuildInfo: interpretSymbolicPathLBI :: forall (allowAbsolute :: AllowAbsolute) (to :: FileOrDir). LocalBuildInfo -> SymbolicPathX allowAbsolute Pkg to -> FilePath
- Distribution.Simple.LocalBuildInfo: mbWorkDirLBI :: LocalBuildInfo -> Maybe (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.LocalBuildInfo: mbWorkDirLBI :: LocalBuildInfo -> Maybe (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.LocalBuildInfo: pattern LocalBuildInfo :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> [String] -> InstallDirTemplates -> Compiler -> Platform -> Maybe (SymbolicPath Pkg File) -> Graph ComponentLocalBuildInfo -> Map ComponentName [ComponentLocalBuildInfo] -> Map (PackageName, ComponentName) PromisedComponent -> InstalledPackageIndex -> PackageDescription -> ProgramDb -> PackageDBStack -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> ProfDetailLevel -> ProfDetailLevel -> OptimisationLevel -> DebugInfoLevel -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> [UnitId] -> Bool -> LocalBuildInfo
+ Distribution.Simple.LocalBuildInfo: pattern LocalBuildInfo :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> [String] -> InstallDirTemplates -> Compiler -> Platform -> Maybe (SymbolicPath Pkg 'File) -> Graph ComponentLocalBuildInfo -> Map ComponentName [ComponentLocalBuildInfo] -> Map (PackageName, ComponentName) PromisedComponent -> InstalledPackageIndex -> PackageDescription -> ProgramDb -> PackageDBStack -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> ProfDetailLevel -> ProfDetailLevel -> OptimisationLevel -> DebugInfoLevel -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> [UnitId] -> Bool -> LocalBuildInfo
- Distribution.Simple.PackageDescription: readGenericPackageDescription :: HasCallStack => Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg File -> IO GenericPackageDescription
+ Distribution.Simple.PackageDescription: readGenericPackageDescription :: HasCallStack => Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg 'File -> IO GenericPackageDescription
- Distribution.Simple.PackageDescription: readHookedBuildInfo :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg File -> IO HookedBuildInfo
+ Distribution.Simple.PackageDescription: readHookedBuildInfo :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg 'File -> IO HookedBuildInfo
- Distribution.Simple.PreProcess: PreProcessor :: Bool -> (Verbosity -> [SymbolicPath Pkg (Dir Source)] -> [ModuleName] -> IO [ModuleName]) -> PreProcessCommand -> PreProcessor
+ Distribution.Simple.PreProcess: PreProcessor :: Bool -> (Verbosity -> [SymbolicPath Pkg ('Dir Source)] -> [ModuleName] -> IO [ModuleName]) -> PreProcessCommand -> PreProcessor
- Distribution.Simple.PreProcess: [ppOrdering] :: PreProcessor -> Verbosity -> [SymbolicPath Pkg (Dir Source)] -> [ModuleName] -> IO [ModuleName]
+ Distribution.Simple.PreProcess: [ppOrdering] :: PreProcessor -> Verbosity -> [SymbolicPath Pkg ('Dir Source)] -> [ModuleName] -> IO [ModuleName]
- Distribution.Simple.PreProcess: preprocessExtras :: Verbosity -> Component -> LocalBuildInfo -> IO [SymbolicPath Pkg File]
+ Distribution.Simple.PreProcess: preprocessExtras :: Verbosity -> Component -> LocalBuildInfo -> IO [SymbolicPath Pkg 'File]
- Distribution.Simple.PreProcess: preprocessFile :: Maybe (SymbolicPath CWD (Dir Pkg)) -> [SymbolicPath Pkg (Dir Source)] -> SymbolicPath Pkg (Dir Build) -> Bool -> RelativePath Source File -> Verbosity -> [Suffix] -> [(Suffix, PreProcessor)] -> Bool -> IO ()
+ Distribution.Simple.PreProcess: preprocessFile :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> [SymbolicPath Pkg ('Dir Source)] -> SymbolicPath Pkg ('Dir Build) -> Bool -> RelativePath Source 'File -> Verbosity -> [Suffix] -> [(Suffix, PreProcessor)] -> Bool -> IO ()
- Distribution.Simple.PreProcess.Types: PreProcessor :: Bool -> (Verbosity -> [SymbolicPath Pkg (Dir Source)] -> [ModuleName] -> IO [ModuleName]) -> PreProcessCommand -> PreProcessor
+ Distribution.Simple.PreProcess.Types: PreProcessor :: Bool -> (Verbosity -> [SymbolicPath Pkg ('Dir Source)] -> [ModuleName] -> IO [ModuleName]) -> PreProcessCommand -> PreProcessor
- Distribution.Simple.PreProcess.Types: [ppOrdering] :: PreProcessor -> Verbosity -> [SymbolicPath Pkg (Dir Source)] -> [ModuleName] -> IO [ModuleName]
+ Distribution.Simple.PreProcess.Types: [ppOrdering] :: PreProcessor -> Verbosity -> [SymbolicPath Pkg ('Dir Source)] -> [ModuleName] -> IO [ModuleName]
- Distribution.Simple.PreProcess.Types: type PreProcessCommand = -- | Location of the source file relative to a base dir (FilePath, FilePath) -> -- | Output file name, relative to an output base dir (FilePath, FilePath) -> Verbosity -> IO ()
+ Distribution.Simple.PreProcess.Types: type PreProcessCommand = (FilePath, FilePath) -> (FilePath, FilePath) -> Verbosity -> IO ()
- Distribution.Simple.Program: getDbProgramOutputCwd :: Verbosity -> Maybe (SymbolicPath CWD (Dir to)) -> Program -> ProgramDb -> [ProgArg] -> IO String
+ Distribution.Simple.Program: getDbProgramOutputCwd :: Verbosity -> Maybe (SymbolicPath CWD ('Dir to)) -> Program -> ProgramDb -> [ProgArg] -> IO String
- Distribution.Simple.Program: runDbProgramCwd :: Verbosity -> Maybe (SymbolicPath CWD (Dir to)) -> Program -> ProgramDb -> [ProgArg] -> IO ()
+ Distribution.Simple.Program: runDbProgramCwd :: Verbosity -> Maybe (SymbolicPath CWD ('Dir to)) -> Program -> ProgramDb -> [ProgArg] -> IO ()
- Distribution.Simple.Program: runProgramCwd :: Verbosity -> Maybe (SymbolicPath CWD (Dir to)) -> ConfiguredProgram -> [ProgArg] -> IO ()
+ Distribution.Simple.Program: runProgramCwd :: Verbosity -> Maybe (SymbolicPath CWD ('Dir to)) -> ConfiguredProgram -> [ProgArg] -> IO ()
- Distribution.Simple.Program.Ar: createArLibArchive :: Verbosity -> LocalBuildInfo -> SymbolicPath Pkg File -> [SymbolicPath Pkg File] -> IO ()
+ Distribution.Simple.Program.Ar: createArLibArchive :: Verbosity -> LocalBuildInfo -> SymbolicPath Pkg 'File -> [SymbolicPath Pkg 'File] -> IO ()
- Distribution.Simple.Program.GHC: GhcOptions :: Flag GhcMode -> [String] -> [String] -> NubListR (SymbolicPath Pkg File) -> NubListR (SymbolicPath Pkg File) -> NubListR ModuleName -> Flag (SymbolicPath Pkg File) -> Flag FilePath -> Flag Bool -> NubListR (SymbolicPath Pkg (Dir Source)) -> Flag String -> Flag ComponentId -> [(ModuleName, OpenModule)] -> Flag Bool -> PackageDBStack -> NubListR (OpenUnitId, ModuleRenaming) -> Flag Bool -> Flag Bool -> Flag Bool -> [FilePath] -> NubListR (SymbolicPath Pkg (Dir Lib)) -> [String] -> NubListR String -> NubListR (SymbolicPath Pkg (Dir Framework)) -> Flag Bool -> Flag Bool -> Flag Bool -> NubListR FilePath -> [String] -> [String] -> [String] -> [String] -> NubListR (SymbolicPath Pkg (Dir Include)) -> NubListR (SymbolicPath Pkg File) -> NubListR FilePath -> Flag FilePath -> Flag Language -> NubListR Extension -> Map Extension (Maybe CompilerFlag) -> Flag GhcOptimisation -> Flag DebugInfoLevel -> Flag Bool -> Flag GhcProfAuto -> Flag Bool -> Flag Bool -> Flag ParStrat -> Flag (SymbolicPath Pkg (Dir Mix)) -> [FilePath] -> Flag String -> Flag String -> Flag String -> Flag String -> Flag (SymbolicPath Pkg (Dir Artifacts)) -> Flag (SymbolicPath Pkg (Dir Artifacts)) -> Flag (SymbolicPath Pkg (Dir Artifacts)) -> Flag (SymbolicPath Pkg (Dir Artifacts)) -> Flag (SymbolicPath Pkg (Dir Artifacts)) -> Flag GhcDynLinkMode -> Flag Bool -> Flag Bool -> Flag Bool -> Flag String -> NubListR FilePath -> Flag Verbosity -> NubListR (SymbolicPath Pkg (Dir Build)) -> Flag Bool -> GhcOptions
+ Distribution.Simple.Program.GHC: GhcOptions :: Flag GhcMode -> [String] -> [String] -> NubListR (SymbolicPath Pkg 'File) -> NubListR (SymbolicPath Pkg 'File) -> NubListR ModuleName -> Flag (SymbolicPath Pkg 'File) -> Flag FilePath -> Flag Bool -> NubListR (SymbolicPath Pkg ('Dir Source)) -> Flag String -> Flag ComponentId -> [(ModuleName, OpenModule)] -> Flag Bool -> PackageDBStack -> NubListR (OpenUnitId, ModuleRenaming) -> Flag Bool -> Flag Bool -> Flag Bool -> [FilePath] -> NubListR (SymbolicPath Pkg ('Dir Lib)) -> [String] -> NubListR String -> NubListR (SymbolicPath Pkg ('Dir Framework)) -> Flag Bool -> Flag Bool -> Flag Bool -> NubListR FilePath -> [String] -> [String] -> [String] -> [String] -> NubListR (SymbolicPath Pkg ('Dir Include)) -> NubListR (SymbolicPath Pkg 'File) -> NubListR FilePath -> Flag FilePath -> Flag Language -> NubListR Extension -> Map Extension (Maybe CompilerFlag) -> Flag GhcOptimisation -> Flag DebugInfoLevel -> Flag Bool -> Flag GhcProfAuto -> Flag Bool -> Flag Bool -> Flag ParStrat -> Flag (SymbolicPath Pkg ('Dir Mix)) -> [FilePath] -> Flag String -> Flag String -> Flag String -> Flag String -> Flag (SymbolicPath Pkg ('Dir Artifacts)) -> Flag (SymbolicPath Pkg ('Dir Artifacts)) -> Flag (SymbolicPath Pkg ('Dir Artifacts)) -> Flag (SymbolicPath Pkg ('Dir Artifacts)) -> Flag (SymbolicPath Pkg ('Dir Artifacts)) -> Flag GhcDynLinkMode -> Flag Bool -> Flag Bool -> Flag Bool -> Flag String -> NubListR FilePath -> Flag Verbosity -> NubListR (SymbolicPath Pkg ('Dir Build)) -> Flag Bool -> GhcOptions
- Distribution.Simple.Program.GHC: [ghcOptCppIncludePath] :: GhcOptions -> NubListR (SymbolicPath Pkg (Dir Include))
+ Distribution.Simple.Program.GHC: [ghcOptCppIncludePath] :: GhcOptions -> NubListR (SymbolicPath Pkg ('Dir Include))
- Distribution.Simple.Program.GHC: [ghcOptCppIncludes] :: GhcOptions -> NubListR (SymbolicPath Pkg File)
+ Distribution.Simple.Program.GHC: [ghcOptCppIncludes] :: GhcOptions -> NubListR (SymbolicPath Pkg 'File)
- Distribution.Simple.Program.GHC: [ghcOptExtraPath] :: GhcOptions -> NubListR (SymbolicPath Pkg (Dir Build))
+ Distribution.Simple.Program.GHC: [ghcOptExtraPath] :: GhcOptions -> NubListR (SymbolicPath Pkg ('Dir Build))
- Distribution.Simple.Program.GHC: [ghcOptHPCDir] :: GhcOptions -> Flag (SymbolicPath Pkg (Dir Mix))
+ Distribution.Simple.Program.GHC: [ghcOptHPCDir] :: GhcOptions -> Flag (SymbolicPath Pkg ('Dir Mix))
- Distribution.Simple.Program.GHC: [ghcOptHiDir] :: GhcOptions -> Flag (SymbolicPath Pkg (Dir Artifacts))
+ Distribution.Simple.Program.GHC: [ghcOptHiDir] :: GhcOptions -> Flag (SymbolicPath Pkg ('Dir Artifacts))
- Distribution.Simple.Program.GHC: [ghcOptHieDir] :: GhcOptions -> Flag (SymbolicPath Pkg (Dir Artifacts))
+ Distribution.Simple.Program.GHC: [ghcOptHieDir] :: GhcOptions -> Flag (SymbolicPath Pkg ('Dir Artifacts))
- Distribution.Simple.Program.GHC: [ghcOptInputFiles] :: GhcOptions -> NubListR (SymbolicPath Pkg File)
+ Distribution.Simple.Program.GHC: [ghcOptInputFiles] :: GhcOptions -> NubListR (SymbolicPath Pkg 'File)
- Distribution.Simple.Program.GHC: [ghcOptInputScripts] :: GhcOptions -> NubListR (SymbolicPath Pkg File)
+ Distribution.Simple.Program.GHC: [ghcOptInputScripts] :: GhcOptions -> NubListR (SymbolicPath Pkg 'File)
- Distribution.Simple.Program.GHC: [ghcOptLinkFrameworkDirs] :: GhcOptions -> NubListR (SymbolicPath Pkg (Dir Framework))
+ Distribution.Simple.Program.GHC: [ghcOptLinkFrameworkDirs] :: GhcOptions -> NubListR (SymbolicPath Pkg ('Dir Framework))
- Distribution.Simple.Program.GHC: [ghcOptLinkLibPath] :: GhcOptions -> NubListR (SymbolicPath Pkg (Dir Lib))
+ Distribution.Simple.Program.GHC: [ghcOptLinkLibPath] :: GhcOptions -> NubListR (SymbolicPath Pkg ('Dir Lib))
- Distribution.Simple.Program.GHC: [ghcOptObjDir] :: GhcOptions -> Flag (SymbolicPath Pkg (Dir Artifacts))
+ Distribution.Simple.Program.GHC: [ghcOptObjDir] :: GhcOptions -> Flag (SymbolicPath Pkg ('Dir Artifacts))
- Distribution.Simple.Program.GHC: [ghcOptOutputDir] :: GhcOptions -> Flag (SymbolicPath Pkg (Dir Artifacts))
+ Distribution.Simple.Program.GHC: [ghcOptOutputDir] :: GhcOptions -> Flag (SymbolicPath Pkg ('Dir Artifacts))
- Distribution.Simple.Program.GHC: [ghcOptOutputFile] :: GhcOptions -> Flag (SymbolicPath Pkg File)
+ Distribution.Simple.Program.GHC: [ghcOptOutputFile] :: GhcOptions -> Flag (SymbolicPath Pkg 'File)
- Distribution.Simple.Program.GHC: [ghcOptSourcePath] :: GhcOptions -> NubListR (SymbolicPath Pkg (Dir Source))
+ Distribution.Simple.Program.GHC: [ghcOptSourcePath] :: GhcOptions -> NubListR (SymbolicPath Pkg ('Dir Source))
- Distribution.Simple.Program.GHC: [ghcOptStubDir] :: GhcOptions -> Flag (SymbolicPath Pkg (Dir Artifacts))
+ Distribution.Simple.Program.GHC: [ghcOptStubDir] :: GhcOptions -> Flag (SymbolicPath Pkg ('Dir Artifacts))
- Distribution.Simple.Program.GHC: ghcInvocation :: Verbosity -> ConfiguredProgram -> Compiler -> Platform -> Maybe (SymbolicPath CWD (Dir Pkg)) -> GhcOptions -> IO ProgramInvocation
+ Distribution.Simple.Program.GHC: ghcInvocation :: Verbosity -> ConfiguredProgram -> Compiler -> Platform -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> GhcOptions -> IO ProgramInvocation
- Distribution.Simple.Program.GHC: runGHC :: Verbosity -> ConfiguredProgram -> Compiler -> Platform -> Maybe (SymbolicPath CWD (Dir Pkg)) -> GhcOptions -> IO ()
+ Distribution.Simple.Program.GHC: runGHC :: Verbosity -> ConfiguredProgram -> Compiler -> Platform -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> GhcOptions -> IO ()
- Distribution.Simple.Program.HcPkg: describe :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDBStack -> PackageId -> IO [InstalledPackageInfo]
+ Distribution.Simple.Program.HcPkg: describe :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> PackageId -> IO [InstalledPackageInfo]
- Distribution.Simple.Program.HcPkg: describeInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDBStack -> PackageId -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: describeInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> PackageId -> ProgramInvocation
- Distribution.Simple.Program.HcPkg: dump :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBX (SymbolicPath from (Dir PkgDB)) -> IO [InstalledPackageInfo]
+ Distribution.Simple.Program.HcPkg: dump :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBX (SymbolicPath from ('Dir PkgDB)) -> IO [InstalledPackageInfo]
- Distribution.Simple.Program.HcPkg: dumpInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBX (SymbolicPath from (Dir PkgDB)) -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: dumpInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBX (SymbolicPath from ('Dir PkgDB)) -> ProgramInvocation
- Distribution.Simple.Program.HcPkg: expose :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> PackageId -> IO ()
+ Distribution.Simple.Program.HcPkg: expose :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageId -> IO ()
- Distribution.Simple.Program.HcPkg: exposeInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> PackageId -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: exposeInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageId -> ProgramInvocation
- Distribution.Simple.Program.HcPkg: hide :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> PackageId -> IO ()
+ Distribution.Simple.Program.HcPkg: hide :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageId -> IO ()
- Distribution.Simple.Program.HcPkg: hideInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> PackageId -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: hideInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageId -> ProgramInvocation
- Distribution.Simple.Program.HcPkg: invoke :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDBStack -> [String] -> IO ()
+ Distribution.Simple.Program.HcPkg: invoke :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> [String] -> IO ()
- Distribution.Simple.Program.HcPkg: list :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> IO [PackageId]
+ Distribution.Simple.Program.HcPkg: list :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> IO [PackageId]
- Distribution.Simple.Program.HcPkg: listInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: listInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> ProgramInvocation
- Distribution.Simple.Program.HcPkg: recache :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBS from -> IO ()
+ Distribution.Simple.Program.HcPkg: recache :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBS from -> IO ()
- Distribution.Simple.Program.HcPkg: recacheInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBS from -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: recacheInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBS from -> ProgramInvocation
- Distribution.Simple.Program.HcPkg: register :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
+ Distribution.Simple.Program.HcPkg: register :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
- Distribution.Simple.Program.HcPkg: registerInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: registerInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> ProgramInvocation
- Distribution.Simple.Program.HcPkg: unregister :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> PackageId -> IO ()
+ Distribution.Simple.Program.HcPkg: unregister :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageId -> IO ()
- Distribution.Simple.Program.HcPkg: unregisterInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDB -> PackageId -> ProgramInvocation
+ Distribution.Simple.Program.HcPkg: unregisterInvocation :: HcPkgInfo -> Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDB -> PackageId -> ProgramInvocation
- Distribution.Simple.Program.Hpc: markup :: Maybe (SymbolicPath CWD (Dir Pkg)) -> ConfiguredProgram -> Version -> Verbosity -> SymbolicPath Pkg File -> [SymbolicPath Pkg (Dir Mix)] -> SymbolicPath Pkg (Dir Artifacts) -> [ModuleName] -> IO ()
+ Distribution.Simple.Program.Hpc: markup :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> ConfiguredProgram -> Version -> Verbosity -> SymbolicPath Pkg 'File -> [SymbolicPath Pkg ('Dir Mix)] -> SymbolicPath Pkg ('Dir Artifacts) -> [ModuleName] -> IO ()
- Distribution.Simple.Program.Hpc: union :: Maybe (SymbolicPath CWD (Dir Pkg)) -> ConfiguredProgram -> Verbosity -> [SymbolicPath Pkg File] -> SymbolicPath Pkg File -> [ModuleName] -> IO ()
+ Distribution.Simple.Program.Hpc: union :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> ConfiguredProgram -> Verbosity -> [SymbolicPath Pkg 'File] -> SymbolicPath Pkg 'File -> [ModuleName] -> IO ()
- Distribution.Simple.Program.Ld: combineObjectFiles :: Verbosity -> LocalBuildInfo -> ConfiguredProgram -> SymbolicPath Pkg File -> [SymbolicPath Pkg File] -> IO ()
+ Distribution.Simple.Program.Ld: combineObjectFiles :: Verbosity -> LocalBuildInfo -> ConfiguredProgram -> SymbolicPath Pkg 'File -> [SymbolicPath Pkg 'File] -> IO ()
- Distribution.Simple.Program.ResponseFile: withResponseFile :: Verbosity -> TempFileOptions -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir Response) -> String -> Maybe TextEncoding -> [String] -> (FilePath -> IO a) -> IO a
+ Distribution.Simple.Program.ResponseFile: withResponseFile :: Verbosity -> TempFileOptions -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir Response) -> String -> Maybe TextEncoding -> [String] -> (FilePath -> IO a) -> IO a
- Distribution.Simple.Program.Run: programInvocationCwd :: forall to. Maybe (SymbolicPath CWD (Dir to)) -> ConfiguredProgram -> [String] -> ProgramInvocation
+ Distribution.Simple.Program.Run: programInvocationCwd :: Maybe (SymbolicPath CWD ('Dir to)) -> ConfiguredProgram -> [String] -> ProgramInvocation
- Distribution.Simple.Register: abiHash :: Verbosity -> PackageDescription -> SymbolicPath Pkg (Dir Dist) -> LocalBuildInfo -> Library -> ComponentLocalBuildInfo -> IO AbiHash
+ Distribution.Simple.Register: abiHash :: Verbosity -> PackageDescription -> SymbolicPath Pkg ('Dir Dist) -> LocalBuildInfo -> Library -> ComponentLocalBuildInfo -> IO AbiHash
- Distribution.Simple.Register: generateRegistrationInfo :: Verbosity -> PackageDescription -> Library -> LocalBuildInfo -> ComponentLocalBuildInfo -> Bool -> Bool -> SymbolicPath Pkg (Dir Dist) -> PackageDB -> IO InstalledPackageInfo
+ Distribution.Simple.Register: generateRegistrationInfo :: Verbosity -> PackageDescription -> Library -> LocalBuildInfo -> ComponentLocalBuildInfo -> Bool -> Bool -> SymbolicPath Pkg ('Dir Dist) -> PackageDB -> IO InstalledPackageInfo
- Distribution.Simple.Register: inplaceInstalledPackageInfo :: AbsolutePath (Dir Pkg) -> SymbolicPath Pkg (Dir Dist) -> PackageDescription -> AbiHash -> Library -> LocalBuildInfo -> ComponentLocalBuildInfo -> InstalledPackageInfo
+ Distribution.Simple.Register: inplaceInstalledPackageInfo :: AbsolutePath ('Dir Pkg) -> SymbolicPath Pkg ('Dir Dist) -> PackageDescription -> AbiHash -> Library -> LocalBuildInfo -> ComponentLocalBuildInfo -> InstalledPackageInfo
- Distribution.Simple.Register: internalPackageDBPath :: LocalBuildInfo -> SymbolicPath Pkg (Dir Dist) -> SymbolicPath Pkg (Dir PkgDB)
+ Distribution.Simple.Register: internalPackageDBPath :: LocalBuildInfo -> SymbolicPath Pkg ('Dir Dist) -> SymbolicPath Pkg ('Dir PkgDB)
- Distribution.Simple.Register: invokeHcPkg :: Verbosity -> Compiler -> ProgramDb -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDBStack -> [String] -> IO ()
+ Distribution.Simple.Register: invokeHcPkg :: Verbosity -> Compiler -> ProgramDb -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDBStack -> [String] -> IO ()
- Distribution.Simple.Register: registerPackage :: Verbosity -> Compiler -> ProgramDb -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
+ Distribution.Simple.Register: registerPackage :: Verbosity -> Compiler -> ProgramDb -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackS from -> InstalledPackageInfo -> RegisterOptions -> IO ()
- Distribution.Simple.Setup: CommonSetupFlags :: !Flag Verbosity -> !Flag (SymbolicPath CWD (Dir Pkg)) -> !Flag (SymbolicPath Pkg (Dir Dist)) -> !Flag (SymbolicPath Pkg File) -> [String] -> CommonSetupFlags
+ Distribution.Simple.Setup: CommonSetupFlags :: !Flag Verbosity -> !Flag (SymbolicPath CWD ('Dir Pkg)) -> !Flag (SymbolicPath Pkg ('Dir Dist)) -> !Flag (SymbolicPath Pkg 'File) -> [String] -> CommonSetupFlags
- Distribution.Simple.Setup: ConfigFlags :: !CommonSetupFlags -> Option' (Last' ProgramDb) -> [(String, FilePath)] -> [(String, [String])] -> NubList FilePath -> Flag CompilerFlavor -> Flag FilePath -> Flag FilePath -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag ProfDetailLevel -> Flag ProfDetailLevel -> [String] -> Flag OptimisationLevel -> Flag PathTemplate -> Flag PathTemplate -> InstallDirs (Flag PathTemplate) -> Flag FilePath -> [SymbolicPath Pkg (Dir Lib)] -> [SymbolicPath Pkg (Dir Lib)] -> [SymbolicPath Pkg (Dir Framework)] -> [SymbolicPath Pkg (Dir Include)] -> Flag String -> Flag ComponentId -> Flag Bool -> Flag Bool -> [Maybe PackageDB] -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> [PackageVersionConstraint] -> [GivenComponent] -> [PromisedComponent] -> [(ModuleName, Module)] -> FlagAssignment -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag String -> Flag Bool -> Flag DebugInfoLevel -> Flag DumpBuildInfo -> Flag Bool -> Flag Bool -> Flag [UnitId] -> Flag Bool -> ConfigFlags
+ Distribution.Simple.Setup: ConfigFlags :: !CommonSetupFlags -> Option' (Last' ProgramDb) -> [(String, FilePath)] -> [(String, [String])] -> NubList FilePath -> Flag CompilerFlavor -> Flag FilePath -> Flag FilePath -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag ProfDetailLevel -> Flag ProfDetailLevel -> [String] -> Flag OptimisationLevel -> Flag PathTemplate -> Flag PathTemplate -> InstallDirs (Flag PathTemplate) -> Flag FilePath -> [SymbolicPath Pkg ('Dir Lib)] -> [SymbolicPath Pkg ('Dir Lib)] -> [SymbolicPath Pkg ('Dir Framework)] -> [SymbolicPath Pkg ('Dir Include)] -> Flag String -> Flag ComponentId -> Flag Bool -> Flag Bool -> [Maybe PackageDB] -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> [PackageVersionConstraint] -> [GivenComponent] -> [PromisedComponent] -> [(ModuleName, Module)] -> FlagAssignment -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag Bool -> Flag String -> Flag Bool -> Flag DebugInfoLevel -> Flag DumpBuildInfo -> Flag Bool -> Flag Bool -> Flag [UnitId] -> Flag Bool -> ConfigFlags
- Distribution.Simple.Setup: GlobalFlags :: Flag Bool -> Flag Bool -> Flag (SymbolicPath CWD (Dir Pkg)) -> GlobalFlags
+ Distribution.Simple.Setup: GlobalFlags :: Flag Bool -> Flag Bool -> Flag (SymbolicPath CWD ('Dir Pkg)) -> GlobalFlags
- Distribution.Simple.Setup: RegisterFlags :: !CommonSetupFlags -> Flag PackageDB -> Flag Bool -> Flag (Maybe (SymbolicPath Pkg (Dir PkgConf))) -> Flag Bool -> Flag Bool -> RegisterFlags
+ Distribution.Simple.Setup: RegisterFlags :: !CommonSetupFlags -> Flag PackageDB -> Flag Bool -> Flag (Maybe (SymbolicPath Pkg ('Dir PkgConf))) -> Flag Bool -> Flag Bool -> RegisterFlags
- Distribution.Simple.Setup: [configExtraFrameworkDirs] :: ConfigFlags -> [SymbolicPath Pkg (Dir Framework)]
+ Distribution.Simple.Setup: [configExtraFrameworkDirs] :: ConfigFlags -> [SymbolicPath Pkg ('Dir Framework)]
- Distribution.Simple.Setup: [configExtraIncludeDirs] :: ConfigFlags -> [SymbolicPath Pkg (Dir Include)]
+ Distribution.Simple.Setup: [configExtraIncludeDirs] :: ConfigFlags -> [SymbolicPath Pkg ('Dir Include)]
- Distribution.Simple.Setup: [configExtraLibDirsStatic] :: ConfigFlags -> [SymbolicPath Pkg (Dir Lib)]
+ Distribution.Simple.Setup: [configExtraLibDirsStatic] :: ConfigFlags -> [SymbolicPath Pkg ('Dir Lib)]
- Distribution.Simple.Setup: [configExtraLibDirs] :: ConfigFlags -> [SymbolicPath Pkg (Dir Lib)]
+ Distribution.Simple.Setup: [configExtraLibDirs] :: ConfigFlags -> [SymbolicPath Pkg ('Dir Lib)]
- Distribution.Simple.Setup: [globalWorkingDir] :: GlobalFlags -> Flag (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.Setup: [globalWorkingDir] :: GlobalFlags -> Flag (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.Setup: [regGenPkgConf] :: RegisterFlags -> Flag (Maybe (SymbolicPath Pkg (Dir PkgConf)))
+ Distribution.Simple.Setup: [regGenPkgConf] :: RegisterFlags -> Flag (Maybe (SymbolicPath Pkg ('Dir PkgConf)))
- Distribution.Simple.Setup: [setupCabalFilePath] :: CommonSetupFlags -> !Flag (SymbolicPath Pkg File)
+ Distribution.Simple.Setup: [setupCabalFilePath] :: CommonSetupFlags -> !Flag (SymbolicPath Pkg 'File)
- Distribution.Simple.Setup: [setupDistPref] :: CommonSetupFlags -> !Flag (SymbolicPath Pkg (Dir Dist))
+ Distribution.Simple.Setup: [setupDistPref] :: CommonSetupFlags -> !Flag (SymbolicPath Pkg ('Dir Dist))
- Distribution.Simple.Setup: [setupWorkingDir] :: CommonSetupFlags -> !Flag (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.Setup: [setupWorkingDir] :: CommonSetupFlags -> !Flag (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.Setup: buildingWhatDistPref :: BuildingWhat -> SymbolicPath Pkg (Dir Dist)
+ Distribution.Simple.Setup: buildingWhatDistPref :: BuildingWhat -> SymbolicPath Pkg ('Dir Dist)
- Distribution.Simple.Setup: buildingWhatWorkingDir :: BuildingWhat -> Maybe (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.Setup: buildingWhatWorkingDir :: BuildingWhat -> Maybe (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.Setup: defaultDistPref :: SymbolicPath Pkg (Dir Dist)
+ Distribution.Simple.Setup: defaultDistPref :: SymbolicPath Pkg ('Dir Dist)
- Distribution.Simple.Setup: optionDistPref :: (flags -> Flag (SymbolicPath Pkg (Dir Dist))) -> (Flag (SymbolicPath Pkg (Dir Dist)) -> flags -> flags) -> ShowOrParseArgs -> OptionField flags
+ Distribution.Simple.Setup: optionDistPref :: (flags -> Flag (SymbolicPath Pkg ('Dir Dist))) -> (Flag (SymbolicPath Pkg ('Dir Dist)) -> flags -> flags) -> ShowOrParseArgs -> OptionField flags
- Distribution.Simple.Setup: pattern BenchmarkCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> BenchmarkFlags
+ Distribution.Simple.Setup: pattern BenchmarkCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> BenchmarkFlags
- Distribution.Simple.Setup: pattern BuildCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> BuildFlags
+ Distribution.Simple.Setup: pattern BuildCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> BuildFlags
- Distribution.Simple.Setup: pattern CleanCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> CleanFlags
+ Distribution.Simple.Setup: pattern CleanCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> CleanFlags
- Distribution.Simple.Setup: pattern ConfigCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> ConfigFlags
+ Distribution.Simple.Setup: pattern ConfigCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> ConfigFlags
- Distribution.Simple.Setup: pattern CopyCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> CopyFlags
+ Distribution.Simple.Setup: pattern CopyCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> CopyFlags
- Distribution.Simple.Setup: pattern HaddockCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> HaddockFlags
+ Distribution.Simple.Setup: pattern HaddockCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> HaddockFlags
- Distribution.Simple.Setup: pattern HscolourCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> HscolourFlags
+ Distribution.Simple.Setup: pattern HscolourCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> HscolourFlags
- Distribution.Simple.Setup: pattern InstallCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> InstallFlags
+ Distribution.Simple.Setup: pattern InstallCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> InstallFlags
- Distribution.Simple.Setup: pattern RegisterCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> RegisterFlags
+ Distribution.Simple.Setup: pattern RegisterCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> RegisterFlags
- Distribution.Simple.Setup: pattern ReplCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> ReplFlags
+ Distribution.Simple.Setup: pattern ReplCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> ReplFlags
- Distribution.Simple.Setup: pattern SDistCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> SDistFlags
+ Distribution.Simple.Setup: pattern SDistCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> SDistFlags
- Distribution.Simple.Setup: pattern TestCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg (Dir Dist)) -> Flag (SymbolicPath CWD (Dir Pkg)) -> Flag (SymbolicPath Pkg File) -> [String] -> TestFlags
+ Distribution.Simple.Setup: pattern TestCommonFlags :: Flag Verbosity -> Flag (SymbolicPath Pkg ('Dir Dist)) -> Flag (SymbolicPath CWD ('Dir Pkg)) -> Flag (SymbolicPath Pkg 'File) -> [String] -> TestFlags
- Distribution.Simple.SetupHooks.Internal: buildingWhatDistPref :: BuildingWhat -> SymbolicPath Pkg (Dir Dist)
+ Distribution.Simple.SetupHooks.Internal: buildingWhatDistPref :: BuildingWhat -> SymbolicPath Pkg ('Dir Dist)
- Distribution.Simple.SetupHooks.Internal: buildingWhatWorkingDir :: BuildingWhat -> Maybe (SymbolicPath CWD (Dir Pkg))
+ Distribution.Simple.SetupHooks.Internal: buildingWhatWorkingDir :: BuildingWhat -> Maybe (SymbolicPath CWD ('Dir Pkg))
- Distribution.Simple.SetupHooks.Rule: Command :: !Static scope (arg -> res) -> !ScopedArgument scope arg -> !Static scope (Dict (Binary arg, Show arg)) -> CommandData (scope :: Scope) (arg :: Type) (res :: Type)
+ Distribution.Simple.SetupHooks.Rule: Command :: !Static scope (arg -> res) -> !ScopedArgument scope arg -> !Static scope (Dict (Binary arg, Show arg)) -> CommandData (scope :: Scope) arg res
- Distribution.Simple.SetupHooks.Rule: DepsRes :: ScopedArgument scope depsRes -> DepsRes (scope :: Scope) depsArg depsRes
+ Distribution.Simple.SetupHooks.Rule: DepsRes :: ScopedArgument scope depsRes -> DepsRes (scope :: Scope) (depsArg :: k) depsRes
- Distribution.Simple.SetupHooks.Rule: DynDepsCmd :: CommandData scope depsArg (IO ([Dependency], depsRes)) -> DynDepsCmd scope depsArg depsRes
+ Distribution.Simple.SetupHooks.Rule: DynDepsCmd :: CommandData scope depsArg (IO ([Dependency], depsRes)) -> DynDepsCmd (scope :: Scope) depsArg depsRes
- Distribution.Simple.SetupHooks.Rule: RulesT :: ReaderT RulesEnv (StateT (Map RuleId Rule) (WriterT [MonitorFilePath] m)) a -> RulesT m a
+ Distribution.Simple.SetupHooks.Rule: RulesT :: ReaderT RulesEnv (StateT (Map RuleId Rule) (WriterT [MonitorFilePath] m)) a -> RulesT (m :: Type -> Type) a
- Distribution.Simple.SetupHooks.Rule: [Dict] :: c => Dict c
+ Distribution.Simple.SetupHooks.Rule: [Dict] :: forall c. c => Dict c
- Distribution.Simple.SetupHooks.Rule: [DynamicRuleCommands] :: forall depsArg depsRes arg deps ruleCmd scope. If (scope == System) (depsArg ~ ByteString, depsRes ~ ByteString, arg ~ ByteString) (() :: Constraint) => !Static scope (Dict (Binary depsRes, Show depsRes, Eq depsRes)) -> !deps scope depsArg depsRes -> !ruleCmd scope arg (depsRes -> IO ()) -> !If (scope == System) SomeTypeRep (TypeRep (depsArg, depsRes, arg)) -> RuleCommands scope deps ruleCmd
+ Distribution.Simple.SetupHooks.Rule: [DynamicRuleCommands] :: forall depsArg depsRes arg (deps :: Scope -> Type -> Type -> Type) (ruleCmd :: Scope -> Type -> Type -> Type) (scope :: Scope). If (scope == 'System) (depsArg ~ ByteString, depsRes ~ ByteString, arg ~ ByteString) () => !Static scope (Dict (Binary depsRes, Show depsRes, Eq depsRes)) -> !deps scope depsArg depsRes -> !ruleCmd scope arg (depsRes -> IO ()) -> !If (scope == 'System) SomeTypeRep (TypeRep (depsArg, depsRes, arg)) -> RuleCommands scope deps ruleCmd
- Distribution.Simple.SetupHooks.Rule: [Location] :: !SymbolicPath Pkg (Dir baseDir) -> !RelativePath baseDir File -> Location
+ Distribution.Simple.SetupHooks.Rule: [Location] :: forall baseDir. !SymbolicPath Pkg ('Dir baseDir) -> !RelativePath baseDir 'File -> Location
- Distribution.Simple.SetupHooks.Rule: [SSystem] :: SScope System
+ Distribution.Simple.SetupHooks.Rule: [SSystem] :: SScope 'System
- Distribution.Simple.SetupHooks.Rule: [SUser] :: SScope User
+ Distribution.Simple.SetupHooks.Rule: [SUser] :: SScope 'User
- Distribution.Simple.SetupHooks.Rule: [StaticRuleCommand] :: forall arg deps ruleCmd scope. If (scope == System) (arg ~ ByteString) (() :: Constraint) => !ruleCmd scope arg (IO ()) -> !If (scope == System) SomeTypeRep (TypeRep arg) -> RuleCommands scope deps ruleCmd
+ Distribution.Simple.SetupHooks.Rule: [StaticRuleCommand] :: forall arg (deps :: Scope -> Type -> Type -> Type) (ruleCmd :: Scope -> Type -> Type -> Type) (scope :: Scope). If (scope == 'System) (arg ~ ByteString) () => !ruleCmd scope arg (IO ()) -> !If (scope == 'System) SomeTypeRep (TypeRep arg) -> RuleCommands scope deps ruleCmd
- Distribution.Simple.SetupHooks.Rule: [actionArg] :: CommandData (scope :: Scope) (arg :: Type) (res :: Type) -> !ScopedArgument scope arg
+ Distribution.Simple.SetupHooks.Rule: [actionArg] :: CommandData (scope :: Scope) arg res -> !ScopedArgument scope arg
- Distribution.Simple.SetupHooks.Rule: [actionPtr] :: CommandData (scope :: Scope) (arg :: Type) (res :: Type) -> !Static scope (arg -> res)
+ Distribution.Simple.SetupHooks.Rule: [actionPtr] :: CommandData (scope :: Scope) arg res -> !Static scope (arg -> res)
- Distribution.Simple.SetupHooks.Rule: [cmdInstances] :: CommandData (scope :: Scope) (arg :: Type) (res :: Type) -> !Static scope (Dict (Binary arg, Show arg))
+ Distribution.Simple.SetupHooks.Rule: [cmdInstances] :: CommandData (scope :: Scope) arg res -> !Static scope (Dict (Binary arg, Show arg))
- Distribution.Simple.SetupHooks.Rule: [depsRes] :: DepsRes (scope :: Scope) depsArg depsRes -> ScopedArgument scope depsRes
+ Distribution.Simple.SetupHooks.Rule: [depsRes] :: DepsRes (scope :: Scope) (depsArg :: k) depsRes -> ScopedArgument scope depsRes
- Distribution.Simple.SetupHooks.Rule: [dynDepsCmd] :: DynDepsCmd scope depsArg depsRes -> CommandData scope depsArg (IO ([Dependency], depsRes))
+ Distribution.Simple.SetupHooks.Rule: [dynDepsCmd] :: DynDepsCmd (scope :: Scope) depsArg depsRes -> CommandData scope depsArg (IO ([Dependency], depsRes))
- Distribution.Simple.SetupHooks.Rule: [runRulesT] :: RulesT m a -> ReaderT RulesEnv (StateT (Map RuleId Rule) (WriterT [MonitorFilePath] m)) a
+ Distribution.Simple.SetupHooks.Rule: [runRulesT] :: RulesT (m :: Type -> Type) a -> ReaderT RulesEnv (StateT (Map RuleId Rule) (WriterT [MonitorFilePath] m)) a
- Distribution.Simple.SetupHooks.Rule: data CommandData (scope :: Scope) (arg :: Type) (res :: Type)
+ Distribution.Simple.SetupHooks.Rule: data CommandData (scope :: Scope) arg res
- Distribution.Simple.SetupHooks.Rule: dynamicRule :: forall depsArg depsRes arg. (Typeable depsArg, Typeable depsRes, Typeable arg) => StaticPtr (Dict (Binary depsRes, Show depsRes, Eq depsRes)) -> Command depsArg (IO ([Dependency], depsRes)) -> Command arg (depsRes -> IO ()) -> [Dependency] -> NonEmpty Location -> Rule
+ Distribution.Simple.SetupHooks.Rule: dynamicRule :: (Typeable depsArg, Typeable depsRes, Typeable arg) => StaticPtr (Dict (Binary depsRes, Show depsRes, Eq depsRes)) -> Command depsArg (IO ([Dependency], depsRes)) -> Command arg (depsRes -> IO ()) -> [Dependency] -> NonEmpty Location -> Rule
- Distribution.Simple.SetupHooks.Rule: location :: Location -> SymbolicPath Pkg File
+ Distribution.Simple.SetupHooks.Rule: location :: Location -> SymbolicPath Pkg 'File
- Distribution.Simple.SetupHooks.Rule: mkCommand :: forall arg res. StaticPtr (Dict (Binary arg, Show arg)) -> StaticPtr (arg -> res) -> arg -> Command arg res
+ Distribution.Simple.SetupHooks.Rule: mkCommand :: StaticPtr (Dict (Binary arg, Show arg)) -> StaticPtr (arg -> res) -> arg -> Command arg res
- Distribution.Simple.SetupHooks.Rule: newtype DepsRes (scope :: Scope) depsArg depsRes
+ Distribution.Simple.SetupHooks.Rule: newtype DepsRes (scope :: Scope) (depsArg :: k) depsRes
- Distribution.Simple.SetupHooks.Rule: newtype DynDepsCmd scope depsArg depsRes
+ Distribution.Simple.SetupHooks.Rule: newtype DynDepsCmd (scope :: Scope) depsArg depsRes
- Distribution.Simple.SetupHooks.Rule: newtype RulesT m a
+ Distribution.Simple.SetupHooks.Rule: newtype RulesT (m :: Type -> Type) a
- Distribution.Simple.SetupHooks.Rule: ruleDepsCmd :: RuleCmds scope -> RuleDynDepsCmd scope
+ Distribution.Simple.SetupHooks.Rule: ruleDepsCmd :: forall (scope :: Scope). RuleCmds scope -> RuleDynDepsCmd scope
- Distribution.Simple.SetupHooks.Rule: ruleExecCmd :: SScope scope -> RuleCmds scope -> Maybe ByteString -> RuleExecCmd scope
+ Distribution.Simple.SetupHooks.Rule: ruleExecCmd :: forall (scope :: Scope). SScope scope -> RuleCmds scope -> Maybe ByteString -> RuleExecCmd scope
- Distribution.Simple.SetupHooks.Rule: runRuleDynDepsCmd :: RuleDynDepsCmd User -> Maybe (IO ([Dependency], ByteString))
+ Distribution.Simple.SetupHooks.Rule: runRuleDynDepsCmd :: RuleDynDepsCmd 'User -> Maybe (IO ([Dependency], ByteString))
- Distribution.Simple.SetupHooks.Rule: runRuleExecCmd :: RuleExecCmd User -> IO ()
+ Distribution.Simple.SetupHooks.Rule: runRuleExecCmd :: RuleExecCmd 'User -> IO ()
- Distribution.Simple.SetupHooks.Rule: staticRule :: forall arg. Typeable arg => Command arg (IO ()) -> [Dependency] -> NonEmpty Location -> Rule
+ Distribution.Simple.SetupHooks.Rule: staticRule :: Typeable arg => Command arg (IO ()) -> [Dependency] -> NonEmpty Location -> Rule
- Distribution.Simple.SetupHooks.Rule: type Command = CommandData User
+ Distribution.Simple.SetupHooks.Rule: type Command = CommandData 'User
- Distribution.Simple.SetupHooks.Rule: type Rule = RuleData User
+ Distribution.Simple.SetupHooks.Rule: type Rule = RuleData 'User
- Distribution.Simple.SetupHooks.Rule: type RuleBinary = RuleData System
+ Distribution.Simple.SetupHooks.Rule: type RuleBinary = RuleData 'System
- Distribution.Simple.SetupHooks.Rule: type RuleCmds scope = RuleCommands scope DynDepsCmd CommandData
+ Distribution.Simple.SetupHooks.Rule: type RuleCmds (scope :: Scope) = RuleCommands scope DynDepsCmd CommandData
- Distribution.Simple.SetupHooks.Rule: type RuleDynDepsCmd scope = RuleCommands scope DynDepsCmd NoCmd
+ Distribution.Simple.SetupHooks.Rule: type RuleDynDepsCmd (scope :: Scope) = RuleCommands scope DynDepsCmd NoCmd :: Scope -> Type -> Type -> Type
- Distribution.Simple.SetupHooks.Rule: type RuleExecCmd scope = RuleCommands scope DepsRes CommandData
+ Distribution.Simple.SetupHooks.Rule: type RuleExecCmd (scope :: Scope) = RuleCommands scope DepsRes :: Scope -> Type -> Type -> Type CommandData
- Distribution.Simple.ShowBuildInfo: mkBuildInfo :: AbsolutePath (Dir Pkg) -> PackageDescription -> LocalBuildInfo -> BuildFlags -> (ConfiguredProgram, Compiler) -> [TargetInfo] -> ([String], Json)
+ Distribution.Simple.ShowBuildInfo: mkBuildInfo :: AbsolutePath ('Dir Pkg) -> PackageDescription -> LocalBuildInfo -> BuildFlags -> (ConfiguredProgram, Compiler) -> [TargetInfo] -> ([String], Json)
- Distribution.Simple.ShowBuildInfo: mkComponentInfo :: AbsolutePath (Dir Pkg) -> PackageDescription -> LocalBuildInfo -> ComponentLocalBuildInfo -> ([String], Json)
+ Distribution.Simple.ShowBuildInfo: mkComponentInfo :: AbsolutePath ('Dir Pkg) -> PackageDescription -> LocalBuildInfo -> ComponentLocalBuildInfo -> ([String], Json)
- Distribution.Simple.SrcDist: listPackageSources :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDescription -> [PPSuffixHandler] -> IO [SymbolicPath Pkg File]
+ Distribution.Simple.SrcDist: listPackageSources :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDescription -> [PPSuffixHandler] -> IO [SymbolicPath Pkg 'File]
- Distribution.Simple.SrcDist: listPackageSourcesWithDie :: Verbosity -> (forall res. Verbosity -> CabalException -> IO [res]) -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDescription -> [PPSuffixHandler] -> IO [SymbolicPath Pkg File]
+ Distribution.Simple.SrcDist: listPackageSourcesWithDie :: Verbosity -> (forall res. () => Verbosity -> CabalException -> IO [res]) -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDescription -> [PPSuffixHandler] -> IO [SymbolicPath Pkg 'File]
- Distribution.Simple.SrcDist: prepareSnapshotTree :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDescription -> FilePath -> [PPSuffixHandler] -> IO ()
+ Distribution.Simple.SrcDist: prepareSnapshotTree :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDescription -> FilePath -> [PPSuffixHandler] -> IO ()
- Distribution.Simple.SrcDist: prepareTree :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> PackageDescription -> FilePath -> [PPSuffixHandler] -> IO ()
+ Distribution.Simple.SrcDist: prepareTree :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> PackageDescription -> FilePath -> [PPSuffixHandler] -> IO ()
- Distribution.Simple.UHC: getInstalledPackages :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD (Dir from)) -> PackageDBStackX (SymbolicPath from (Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
+ Distribution.Simple.UHC: getInstalledPackages :: Verbosity -> Compiler -> Maybe (SymbolicPath CWD ('Dir from)) -> PackageDBStackX (SymbolicPath from ('Dir PkgDB)) -> ProgramDb -> IO InstalledPackageIndex
- Distribution.Simple.UHC: inplacePackageDbPath :: LocalBuildInfo -> SymbolicPath Pkg (Dir PkgDB)
+ Distribution.Simple.UHC: inplacePackageDbPath :: LocalBuildInfo -> SymbolicPath Pkg ('Dir PkgDB)
- Distribution.Simple.UHC: registerPackage :: Verbosity -> Maybe (SymbolicPath CWD (Dir from)) -> Compiler -> ProgramDb -> PackageDBStackS from -> InstalledPackageInfo -> IO ()
+ Distribution.Simple.UHC: registerPackage :: Verbosity -> Maybe (SymbolicPath CWD ('Dir from)) -> Compiler -> ProgramDb -> PackageDBStackS from -> InstalledPackageInfo -> IO ()
- Distribution.Simple.Utils: [IODataModeText] :: IODataMode String
+ Distribution.Simple.Utils: [IODataModeText] :: IODataMode [Char]
- Distribution.Simple.Utils: copyFileToCwd :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir target) -> RelativePath Pkg File -> IO ()
+ Distribution.Simple.Utils: copyFileToCwd :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir target) -> RelativePath Pkg 'File -> IO ()
- Distribution.Simple.Utils: defaultPackageDescCwd :: Verbosity -> IO (RelativePath Pkg File)
+ Distribution.Simple.Utils: defaultPackageDescCwd :: Verbosity -> IO (RelativePath Pkg 'File)
- Distribution.Simple.Utils: findAllFilesCwdWithExtension :: forall searchDir allowAbsolute. Maybe (SymbolicPath CWD (Dir Pkg)) -> [Suffix] -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO [SymbolicPathX allowAbsolute Pkg File]
+ Distribution.Simple.Utils: findAllFilesCwdWithExtension :: forall searchDir (allowAbsolute :: AllowAbsolute). Maybe (SymbolicPath CWD ('Dir Pkg)) -> [Suffix] -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO [SymbolicPathX allowAbsolute Pkg 'File]
- Distribution.Simple.Utils: findAllFilesWithExtension :: [Suffix] -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO [SymbolicPathX allowAbsolute Pkg File]
+ Distribution.Simple.Utils: findAllFilesWithExtension :: forall (allowAbsolute :: AllowAbsolute) searchDir. [Suffix] -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO [SymbolicPathX allowAbsolute Pkg 'File]
- Distribution.Simple.Utils: findFileCwd :: forall searchDir allowAbsolute. Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO (SymbolicPathX allowAbsolute Pkg File)
+ Distribution.Simple.Utils: findFileCwd :: forall searchDir (allowAbsolute :: AllowAbsolute). Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO (SymbolicPathX allowAbsolute Pkg 'File)
- Distribution.Simple.Utils: findFileCwdWithExtension :: forall searchDir allowAbsolute. Maybe (SymbolicPath CWD (Dir Pkg)) -> [Suffix] -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg File))
+ Distribution.Simple.Utils: findFileCwdWithExtension :: forall searchDir (allowAbsolute :: AllowAbsolute). Maybe (SymbolicPath CWD ('Dir Pkg)) -> [Suffix] -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg 'File))
- Distribution.Simple.Utils: findFileCwdWithExtension' :: forall searchDir allowAbsolute. Maybe (SymbolicPath CWD (Dir Pkg)) -> [Suffix] -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg (Dir searchDir), RelativePath searchDir File))
+ Distribution.Simple.Utils: findFileCwdWithExtension' :: forall searchDir (allowAbsolute :: AllowAbsolute). Maybe (SymbolicPath CWD ('Dir Pkg)) -> [Suffix] -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg ('Dir searchDir), RelativePath searchDir 'File))
- Distribution.Simple.Utils: findFileEx :: forall searchDir allowAbsolute. Verbosity -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO (SymbolicPathX allowAbsolute Pkg File)
+ Distribution.Simple.Utils: findFileEx :: forall searchDir (allowAbsolute :: AllowAbsolute). Verbosity -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO (SymbolicPathX allowAbsolute Pkg 'File)
- Distribution.Simple.Utils: findFileWithExtension :: [Suffix] -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg File))
+ Distribution.Simple.Utils: findFileWithExtension :: forall (allowAbsolute :: AllowAbsolute) searchDir. [Suffix] -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg 'File))
- Distribution.Simple.Utils: findFileWithExtension' :: [Suffix] -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> RelativePath searchDir File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg (Dir searchDir), RelativePath searchDir File))
+ Distribution.Simple.Utils: findFileWithExtension' :: forall (allowAbsolute :: AllowAbsolute) searchDir. [Suffix] -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> RelativePath searchDir 'File -> IO (Maybe (SymbolicPathX allowAbsolute Pkg ('Dir searchDir), RelativePath searchDir 'File))
- Distribution.Simple.Utils: findHookedPackageDesc :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir Build) -> IO (Maybe (SymbolicPath Pkg File))
+ Distribution.Simple.Utils: findHookedPackageDesc :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir Build) -> IO (Maybe (SymbolicPath Pkg 'File))
- Distribution.Simple.Utils: findModuleFileCwd :: forall searchDir allowAbsolute. Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> [Suffix] -> ModuleName -> IO (SymbolicPathX allowAbsolute Pkg (Dir searchDir), RelativePath searchDir File)
+ Distribution.Simple.Utils: findModuleFileCwd :: forall searchDir (allowAbsolute :: AllowAbsolute). Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> [Suffix] -> ModuleName -> IO (SymbolicPathX allowAbsolute Pkg ('Dir searchDir), RelativePath searchDir 'File)
- Distribution.Simple.Utils: findModuleFileEx :: forall searchDir allowAbsolute. Verbosity -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> [Suffix] -> ModuleName -> IO (SymbolicPathX allowAbsolute Pkg (Dir searchDir), RelativePath searchDir File)
+ Distribution.Simple.Utils: findModuleFileEx :: forall searchDir (allowAbsolute :: AllowAbsolute). Verbosity -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> [Suffix] -> ModuleName -> IO (SymbolicPathX allowAbsolute Pkg ('Dir searchDir), RelativePath searchDir 'File)
- Distribution.Simple.Utils: findModuleFilesCwd :: forall searchDir allowAbsolute. Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> [Suffix] -> [ModuleName] -> IO [(SymbolicPathX allowAbsolute Pkg (Dir searchDir), RelativePath searchDir File)]
+ Distribution.Simple.Utils: findModuleFilesCwd :: forall searchDir (allowAbsolute :: AllowAbsolute). Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> [Suffix] -> [ModuleName] -> IO [(SymbolicPathX allowAbsolute Pkg ('Dir searchDir), RelativePath searchDir 'File)]
- Distribution.Simple.Utils: findModuleFilesEx :: forall searchDir allowAbsolute. Verbosity -> [SymbolicPathX allowAbsolute Pkg (Dir searchDir)] -> [Suffix] -> [ModuleName] -> IO [(SymbolicPathX allowAbsolute Pkg (Dir searchDir), RelativePath searchDir File)]
+ Distribution.Simple.Utils: findModuleFilesEx :: forall searchDir (allowAbsolute :: AllowAbsolute). Verbosity -> [SymbolicPathX allowAbsolute Pkg ('Dir searchDir)] -> [Suffix] -> [ModuleName] -> IO [(SymbolicPathX allowAbsolute Pkg ('Dir searchDir), RelativePath searchDir 'File)]
- Distribution.Simple.Utils: findPackageDesc :: Maybe (SymbolicPath CWD (Dir Pkg)) -> IO (Either CabalException (RelativePath Pkg File))
+ Distribution.Simple.Utils: findPackageDesc :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> IO (Either CabalException (RelativePath Pkg 'File))
- Distribution.Simple.Utils: rawSystemExit :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> FilePath -> [String] -> IO ()
+ Distribution.Simple.Utils: rawSystemExit :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> FilePath -> [String] -> IO ()
- Distribution.Simple.Utils: rawSystemExitCode :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> FilePath -> [String] -> Maybe [(String, String)] -> IO ExitCode
+ Distribution.Simple.Utils: rawSystemExitCode :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> FilePath -> [String] -> Maybe [(String, String)] -> IO ExitCode
- Distribution.Simple.Utils: rawSystemExitWithEnvCwd :: Verbosity -> Maybe (SymbolicPath CWD to) -> FilePath -> [String] -> [(String, String)] -> IO ()
+ Distribution.Simple.Utils: rawSystemExitWithEnvCwd :: forall (to :: FileOrDir). Verbosity -> Maybe (SymbolicPath CWD to) -> FilePath -> [String] -> [(String, String)] -> IO ()
- Distribution.Simple.Utils: rawSystemStdout :: forall mode. KnownIODataMode mode => Verbosity -> FilePath -> [String] -> IO mode
+ Distribution.Simple.Utils: rawSystemStdout :: KnownIODataMode mode => Verbosity -> FilePath -> [String] -> IO mode
- Distribution.Simple.Utils: topHandlerWith :: forall a. (SomeException -> IO a) -> IO a -> IO a
+ Distribution.Simple.Utils: topHandlerWith :: (SomeException -> IO a) -> IO a -> IO a
- Distribution.Simple.Utils: tryFindPackageDesc :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> IO (RelativePath Pkg File)
+ Distribution.Simple.Utils: tryFindPackageDesc :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> IO (RelativePath Pkg 'File)
- Distribution.Simple.Utils: withTempDirectoryCwd :: Verbosity -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir tmpDir1) -> String -> (SymbolicPath Pkg (Dir tmpDir2) -> IO a) -> IO a
+ Distribution.Simple.Utils: withTempDirectoryCwd :: Verbosity -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir tmpDir1) -> String -> (SymbolicPath Pkg ('Dir tmpDir2) -> IO a) -> IO a
- Distribution.Simple.Utils: withTempDirectoryCwdEx :: forall a tmpDir1 tmpDir2. Verbosity -> TempFileOptions -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir tmpDir1) -> String -> (SymbolicPath Pkg (Dir tmpDir2) -> IO a) -> IO a
+ Distribution.Simple.Utils: withTempDirectoryCwdEx :: forall a tmpDir1 tmpDir2. Verbosity -> TempFileOptions -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir tmpDir1) -> String -> (SymbolicPath Pkg ('Dir tmpDir2) -> IO a) -> IO a
- Distribution.Simple.Utils: withTempFileCwd :: Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir tmpDir) -> String -> (SymbolicPath Pkg File -> Handle -> IO a) -> IO a
+ Distribution.Simple.Utils: withTempFileCwd :: Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir tmpDir) -> String -> (SymbolicPath Pkg 'File -> Handle -> IO a) -> IO a
- Distribution.Simple.Utils: withTempFileEx :: forall a tmpDir. TempFileOptions -> Maybe (SymbolicPath CWD (Dir Pkg)) -> SymbolicPath Pkg (Dir tmpDir) -> String -> (SymbolicPath Pkg File -> Handle -> IO a) -> IO a
+ Distribution.Simple.Utils: withTempFileEx :: forall a tmpDir. TempFileOptions -> Maybe (SymbolicPath CWD ('Dir Pkg)) -> SymbolicPath Pkg ('Dir tmpDir) -> String -> (SymbolicPath Pkg 'File -> Handle -> IO a) -> IO a
- Distribution.Types.LocalBuildConfig: PackageBuildDescr :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> Compiler -> Platform -> Maybe (SymbolicPath Pkg File) -> PackageDescription -> InstallDirTemplates -> PackageDBStack -> [UnitId] -> PackageBuildDescr
+ Distribution.Types.LocalBuildConfig: PackageBuildDescr :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> Compiler -> Platform -> Maybe (SymbolicPath Pkg 'File) -> PackageDescription -> InstallDirTemplates -> PackageDBStack -> [UnitId] -> PackageBuildDescr
- Distribution.Types.LocalBuildInfo: buildDir :: LocalBuildInfo -> SymbolicPath Pkg (Dir Build)
+ Distribution.Types.LocalBuildInfo: buildDir :: LocalBuildInfo -> SymbolicPath Pkg ('Dir Build)
- Distribution.Types.LocalBuildInfo: buildDirPBD :: PackageBuildDescr -> SymbolicPath Pkg (Dir Build)
+ Distribution.Types.LocalBuildInfo: buildDirPBD :: PackageBuildDescr -> SymbolicPath Pkg ('Dir Build)
- Distribution.Types.LocalBuildInfo: distPrefLBI :: LocalBuildInfo -> SymbolicPath Pkg (Dir Dist)
+ Distribution.Types.LocalBuildInfo: distPrefLBI :: LocalBuildInfo -> SymbolicPath Pkg ('Dir Dist)
- Distribution.Types.LocalBuildInfo: pattern LocalBuildInfo :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> [String] -> InstallDirTemplates -> Compiler -> Platform -> Maybe (SymbolicPath Pkg File) -> Graph ComponentLocalBuildInfo -> Map ComponentName [ComponentLocalBuildInfo] -> Map (PackageName, ComponentName) PromisedComponent -> InstalledPackageIndex -> PackageDescription -> ProgramDb -> PackageDBStack -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> ProfDetailLevel -> ProfDetailLevel -> OptimisationLevel -> DebugInfoLevel -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> [UnitId] -> Bool -> LocalBuildInfo
+ Distribution.Types.LocalBuildInfo: pattern LocalBuildInfo :: ConfigFlags -> FlagAssignment -> ComponentRequestedSpec -> [String] -> InstallDirTemplates -> Compiler -> Platform -> Maybe (SymbolicPath Pkg 'File) -> Graph ComponentLocalBuildInfo -> Map ComponentName [ComponentLocalBuildInfo] -> Map (PackageName, ComponentName) PromisedComponent -> InstalledPackageIndex -> PackageDescription -> ProgramDb -> PackageDBStack -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> ProfDetailLevel -> ProfDetailLevel -> OptimisationLevel -> DebugInfoLevel -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> [UnitId] -> Bool -> LocalBuildInfo
- Distribution.Types.LocalBuildInfo: setupFlagsBuildDir :: CommonSetupFlags -> SymbolicPath Pkg (Dir Build)
+ Distribution.Types.LocalBuildInfo: setupFlagsBuildDir :: CommonSetupFlags -> SymbolicPath Pkg ('Dir Build)
- Distribution.Utils.IOData: [IODataModeText] :: IODataMode String
+ Distribution.Utils.IOData: [IODataModeText] :: IODataMode [Char]
- Distribution.Utils.IOData: withIOData :: IOData -> (forall mode. IODataMode mode -> mode -> r) -> r
+ Distribution.Utils.IOData: withIOData :: IOData -> (forall mode. () => IODataMode mode -> mode -> r) -> r
Files
- Cabal.cabal +2/−2
- src/Distribution/Backpack/ModuleShape.hs +1/−2
- src/Distribution/Compat/Async.hs +0/−3
- src/Distribution/Compat/Time.hs +1/−2
- src/Distribution/Simple/Compiler.hs +5/−6
- src/Distribution/Simple/Configure.hs +0/−2
- src/Distribution/Simple/Errors.hs +1/−1
- src/Distribution/Simple/Flag.hs +1/−1
- src/Distribution/Simple/GHC.hs +3/−3
- src/Distribution/Simple/GHC/EnvironmentParser.hs +1/−2
- src/Distribution/Simple/InstallDirs.hs +2/−3
- src/Distribution/Simple/InstallDirs/Internal.hs +2/−3
- src/Distribution/Simple/PackageIndex.hs +1/−2
- src/Distribution/Simple/Program/Db.hs +0/−2
- src/Distribution/Simple/Program/Types.hs +3/−4
- src/Distribution/Simple/Setup/Benchmark.hs +1/−2
- src/Distribution/Simple/Setup/Build.hs +1/−2
- src/Distribution/Simple/Setup/Clean.hs +1/−2
- src/Distribution/Simple/Setup/Config.hs +1/−2
- src/Distribution/Simple/Setup/Global.hs +1/−2
- src/Distribution/Simple/Setup/Haddock.hs +3/−4
- src/Distribution/Simple/Setup/Hscolour.hs +1/−2
- src/Distribution/Simple/Setup/Register.hs +1/−2
- src/Distribution/Simple/Setup/Repl.hs +2/−3
- src/Distribution/Simple/Setup/SDist.hs +1/−2
- src/Distribution/Simple/Setup/Test.hs +2/−3
- src/Distribution/Simple/Utils.hs +1/−1
- src/Distribution/Types/ComponentLocalBuildInfo.hs +1/−2
- src/Distribution/Types/DumpBuildInfo.hs +1/−2
- src/Distribution/Types/GivenComponent.hs +2/−3
- src/Distribution/Types/LocalBuildInfo.hs +1/−2
- src/Distribution/Utils/NubList.hs +1/−2
- src/Distribution/Verbosity.hs +1/−2
- src/Distribution/Verbosity/Internal.hs +2/−3
Cabal.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: Cabal-version: 3.14.1.0+version: 3.14.1.1 copyright: 2003-2024, Cabal Development Team (see AUTHORS file) license: BSD-3-Clause license-file: LICENSE@@ -49,7 +49,7 @@ if os(windows) build-depends: Win32 >= 2.3.0.0 && < 2.15 else- build-depends: unix >= 2.6.0.0 && < 2.9+ build-depends: unix >= 2.8.6.0 && < 2.9 ghc-options: -Wall
src/Distribution/Backpack/ModuleShape.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} -- | See <https://github.com/ezyang/ghc-proposals/blob/backpack/proposals/0000-backpack.rst>@@ -31,7 +30,7 @@ { modShapeProvides :: OpenModuleSubst , modShapeRequires :: Set ModuleName }- deriving (Eq, Show, Generic, Typeable)+ deriving (Eq, Show, Generic) instance Binary ModuleShape instance Structured ModuleShape
src/Distribution/Compat/Async.hs view
@@ -1,5 +1,4 @@ {-# LANGUAGE CPP #-}-{-# LANGUAGE DeriveDataTypeable #-} -- | 'Async', yet using 'MVar's. --@@ -40,7 +39,6 @@ , uninterruptibleMask_ ) import Control.Monad (void)-import Data.Typeable (Typeable) import GHC.Exts (inline) -- | Async, but based on 'MVar', as we don't depend on @stm@.@@ -143,7 +141,6 @@ deriving ( Show , Eq- , Typeable ) instance Exception AsyncCancelled where
src/Distribution/Compat/Time.hs view
@@ -1,5 +1,4 @@ {-# LANGUAGE CPP #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-}@@ -55,7 +54,7 @@ -- | An opaque type representing a file's modification time, represented -- internally as a 64-bit unsigned integer in the Windows UTC format. newtype ModTime = ModTime Word64- deriving (Binary, Generic, Bounded, Eq, Ord, Typeable)+ deriving (Binary, Generic, Bounded, Eq, Ord) instance Structured ModTime
src/Distribution/Simple/Compiler.hs view
@@ -1,5 +1,4 @@ {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveFoldable #-} {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveGeneric #-}@@ -125,7 +124,7 @@ , compilerProperties :: Map String String -- ^ A key-value map for properties not covered by the above fields. }- deriving (Eq, Generic, Typeable, Show, Read)+ deriving (Eq, Generic, Show, Read) instance Binary Compiler instance Structured Compiler@@ -200,7 +199,7 @@ | UserPackageDB | -- | NB: the path might be relative or it might be absolute SpecificPackageDB fp- deriving (Eq, Generic, Ord, Show, Read, Typeable, Functor, Foldable, Traversable)+ deriving (Eq, Generic, Ord, Show, Read, Functor, Foldable, Traversable) instance Binary fp => Binary (PackageDBX fp) instance Structured fp => Structured (PackageDBX fp)@@ -291,7 +290,7 @@ = NoOptimisation | NormalOptimisation | MaximumOptimisation- deriving (Bounded, Enum, Eq, Generic, Read, Show, Typeable)+ deriving (Bounded, Enum, Eq, Generic, Read, Show) instance Binary OptimisationLevel instance Structured OptimisationLevel@@ -324,7 +323,7 @@ | MinimalDebugInfo | NormalDebugInfo | MaximalDebugInfo- deriving (Bounded, Enum, Eq, Generic, Read, Show, Typeable)+ deriving (Bounded, Enum, Eq, Generic, Read, Show) instance Binary DebugInfoLevel instance Structured DebugInfoLevel@@ -561,7 +560,7 @@ | ProfDetailAllFunctions | ProfDetailTopLate | ProfDetailOther String- deriving (Eq, Generic, Read, Show, Typeable)+ deriving (Eq, Generic, Read, Show) instance Binary ProfDetailLevel instance Structured ProfDetailLevel
src/Distribution/Simple/Configure.hs view
@@ -1,5 +1,4 @@ {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE NamedFieldPuns #-} {-# LANGUAGE OverloadedStrings #-}@@ -202,7 +201,6 @@ PackageIdentifier PackageIdentifier (Either ConfigStateFileError LocalBuildInfo)- deriving (Typeable) -- | Format a 'ConfigStateFileError' as a user-facing error message. dispConfigStateFileError :: ConfigStateFileError -> Doc
src/Distribution/Simple/Errors.hs view
@@ -172,7 +172,7 @@ | UnknownVersionDb String VersionRange FilePath | MissingCoveredInstalledLibrary UnitId | SetupHooksException SetupHooksException- deriving (Show, Typeable)+ deriving (Show) exceptionCode :: CabalException -> Int exceptionCode e = case e of
src/Distribution/Simple/Flag.hs view
@@ -62,7 +62,7 @@ -- 'NoFlag' and later flags override earlier ones. -- -- Isomorphic to 'Maybe' a.-data Flag a = Flag a | NoFlag deriving (Eq, Generic, Show, Read, Typeable, Foldable, Traversable)+data Flag a = Flag a | NoFlag deriving (Eq, Generic, Show, Read, Foldable, Traversable) instance Binary a => Binary (Flag a) instance Structured a => Structured (Flag a)
src/Distribution/Simple/GHC.hs view
@@ -164,14 +164,14 @@ (userMaybeSpecifyPath "ghc" hcPath conf0) let implInfo = ghcVersionImplInfo ghcVersion - -- Cabal currently supports ghc >= 7.0.1 && < 9.12+ -- Cabal currently supports ghc >= 7.0.1 && < 9.14 -- ... and the following odd development version- unless (ghcVersion < mkVersion [9, 12]) $+ unless (ghcVersion < mkVersion [9, 14]) $ warn verbosity $ "Unknown/unsupported 'ghc' version detected " ++ "(Cabal " ++ prettyShow cabalVersion- ++ " supports 'ghc' version < 9.12): "+ ++ " supports 'ghc' version < 9.14): " ++ programPath ghcProg ++ " is version " ++ prettyShow ghcVersion
src/Distribution/Simple/GHC/EnvironmentParser.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE LambdaCase #-}@@ -44,7 +43,7 @@ clearDb = P.string "clear-package-db" newtype ParseErrorExc = ParseErrorExc P.ParseError- deriving (Show, Typeable)+ deriving (Show) instance Exception ParseErrorExc
src/Distribution/Simple/InstallDirs.hs view
@@ -1,5 +1,4 @@ {-# LANGUAGE CPP #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-}@@ -101,7 +100,7 @@ , haddockdir :: dir , sysconfdir :: dir }- deriving (Eq, Read, Show, Functor, Generic, Typeable)+ deriving (Eq, Read, Show, Functor, Generic) instance Binary dir => Binary (InstallDirs dir) instance Structured dir => Structured (InstallDirs dir)@@ -389,7 +388,7 @@ -- | An abstract path, possibly containing variables that need to be -- substituted for to get a real 'FilePath'. newtype PathTemplate = PathTemplate [PathComponent]- deriving (Eq, Ord, Generic, Typeable)+ deriving (Eq, Ord, Generic) instance Binary PathTemplate instance Structured PathTemplate
src/Distribution/Simple/InstallDirs/Internal.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} module Distribution.Simple.InstallDirs.Internal@@ -12,7 +11,7 @@ data PathComponent = Ordinary FilePath | Variable PathTemplateVariable- deriving (Eq, Ord, Generic, Typeable)+ deriving (Eq, Ord, Generic) instance Binary PathComponent instance Structured PathComponent@@ -65,7 +64,7 @@ TestSuiteResultVar | -- | The name of the benchmark being run BenchmarkNameVar- deriving (Eq, Ord, Generic, Typeable)+ deriving (Eq, Ord, Generic) instance Binary PathTemplateVariable instance Structured PathTemplateVariable
src/Distribution/Simple/PackageIndex.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-}@@ -142,7 +141,7 @@ -- preserved. See #1463 for discussion. packageIdIndex :: !(Map (PackageName, LibraryName) (Map Version [a])) }- deriving (Eq, Generic, Show, Read, Typeable)+ deriving (Eq, Generic, Show, Read) instance Binary a => Binary (PackageIndex a) instance Structured a => Structured (PackageIndex a)
src/Distribution/Simple/Program/Db.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE RankNTypes #-} @@ -106,7 +105,6 @@ , progOverrideEnv :: [(String, Maybe String)] , configuredProgs :: ConfiguredProgs }- deriving (Typeable) type UnconfiguredProgram = (Program, Maybe FilePath, [ProgArg]) type UnconfiguredProgs = Map.Map String UnconfiguredProgram
src/Distribution/Simple/Program/Types.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE RankNTypes #-}@@ -107,7 +106,7 @@ ProgramSearchPathDir FilePath | -- | The system default ProgramSearchPathDefault- deriving (Show, Eq, Generic, Typeable)+ deriving (Show, Eq, Generic) instance Binary ProgramSearchPathEntry instance Structured ProgramSearchPathEntry@@ -147,7 +146,7 @@ -- monitor to detect when the re-configuring the program might give a -- different result (e.g. found in a different location). }- deriving (Eq, Generic, Read, Show, Typeable)+ deriving (Eq, Generic, Read, Show) instance Binary ConfiguredProgram instance Structured ConfiguredProgram@@ -160,7 +159,7 @@ UserSpecified {locationPath :: FilePath} | -- | The program was found automatically. FoundOnSystem {locationPath :: FilePath}- deriving (Eq, Generic, Read, Show, Typeable)+ deriving (Eq, Generic, Read, Show) instance Binary ProgramLocation instance Structured ProgramLocation
src/Distribution/Simple/Setup/Benchmark.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -56,7 +55,7 @@ { benchmarkCommonFlags :: !CommonSetupFlags , benchmarkOptions :: [PathTemplate] }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern BenchmarkCommonFlags :: Flag Verbosity
src/Distribution/Simple/Setup/Build.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -62,7 +61,7 @@ , buildNumJobs :: Flag (Maybe Int) , buildUseSemaphore :: Flag String }- deriving (Read, Show, Generic, Typeable)+ deriving (Read, Show, Generic) pattern BuildCommonFlags :: Flag Verbosity
src/Distribution/Simple/Setup/Clean.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -54,7 +53,7 @@ { cleanCommonFlags :: !CommonSetupFlags , cleanSaveConf :: Flag Bool }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern CleanCommonFlags :: Flag Verbosity
src/Distribution/Simple/Setup/Config.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -235,7 +234,7 @@ -- `build-tool-depends` will be ignored. This allows a Cabal package with -- build-tool-dependencies to be built even if the tool is not found. }- deriving (Generic, Read, Show, Typeable)+ deriving (Generic, Read, Show) pattern ConfigCommonFlags :: Flag Verbosity
src/Distribution/Simple/Setup/Global.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE RankNTypes #-}@@ -51,7 +50,7 @@ , globalNumericVersion :: Flag Bool , globalWorkingDir :: Flag (SymbolicPath CWD (Dir Pkg)) }- deriving (Generic, Typeable)+ deriving (Generic) defaultGlobalFlags :: GlobalFlags defaultGlobalFlags =
src/Distribution/Simple/Setup/Haddock.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -76,7 +75,7 @@ -- from documentation tarballs, and we might also want to use different -- flags than for development builds, so in this case we store the generated -- documentation in @<dist>/doc/html/<package id>-docs@.-data HaddockTarget = ForHackage | ForDevelopment deriving (Eq, Show, Generic, Typeable)+data HaddockTarget = ForHackage | ForDevelopment deriving (Eq, Show, Generic) instance Binary HaddockTarget instance Structured HaddockTarget@@ -117,7 +116,7 @@ , haddockOutputDir :: Flag FilePath , haddockUseUnicode :: Flag Bool }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern HaddockCommonFlags :: Flag Verbosity@@ -452,7 +451,7 @@ haddockProjectResourcesDir :: Flag String , haddockProjectUseUnicode :: Flag Bool }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) defaultHaddockProjectFlags :: HaddockProjectFlags defaultHaddockProjectFlags =
src/Distribution/Simple/Setup/Hscolour.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -58,7 +57,7 @@ , hscolourBenchmarks :: Flag Bool , hscolourForeignLibs :: Flag Bool }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern HscolourCommonFlags :: Flag Verbosity
src/Distribution/Simple/Setup/Register.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -62,7 +61,7 @@ , regInPlace :: Flag Bool , regPrintId :: Flag Bool }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern RegisterCommonFlags :: Flag Verbosity
src/Distribution/Simple/Setup/Repl.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -59,7 +58,7 @@ , replOptionsNoLoad :: Flag Bool , replOptionsFlagOutput :: Flag FilePath }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern ReplCommonFlags :: Flag Verbosity@@ -102,7 +101,7 @@ , replReload :: Flag Bool , replReplOptions :: ReplOptions }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) instance Binary ReplFlags instance Structured ReplFlags
src/Distribution/Simple/Setup/SDist.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -57,7 +56,7 @@ , sDistDirectory :: Flag FilePath , sDistListSources :: Flag FilePath }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern SDistCommonFlags :: Flag Verbosity
src/Distribution/Simple/Setup/Test.hs view
@@ -1,6 +1,5 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PatternSynonyms #-}@@ -61,7 +60,7 @@ -- ------------------------------------------------------------ data TestShowDetails = Never | Failures | Always | Streaming | Direct- deriving (Eq, Ord, Enum, Bounded, Generic, Show, Typeable)+ deriving (Eq, Ord, Enum, Bounded, Generic, Show) instance Binary TestShowDetails instance Structured TestShowDetails@@ -102,7 +101,7 @@ , -- TODO: think about if/how options are passed to test exes testOptions :: [PathTemplate] }- deriving (Show, Generic, Typeable)+ deriving (Show, Generic) pattern TestCommonFlags :: Flag Verbosity
src/Distribution/Simple/Utils.hs view
@@ -389,7 +389,7 @@ -- Type which will be a wrapper for cabal -expections and cabal-install exceptions data VerboseException a = VerboseException CallStack POSIXTime Verbosity a- deriving (Show, Typeable)+ deriving (Show) -- Function which will replace the existing die' call sites dieWithException :: (HasCallStack, Show a1, Typeable a1, Exception (VerboseException a1)) => Verbosity -> a1 -> IO a
src/Distribution/Types/ComponentLocalBuildInfo.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE TypeFamilies #-} @@ -108,7 +107,7 @@ , componentExeDeps :: [UnitId] , componentInternalDeps :: [UnitId] }- deriving (Generic, Read, Show, Typeable)+ deriving (Generic, Read, Show) instance Binary ComponentLocalBuildInfo instance Structured ComponentLocalBuildInfo
src/Distribution/Types/DumpBuildInfo.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} module Distribution.Types.DumpBuildInfo@@ -10,7 +9,7 @@ data DumpBuildInfo = NoDumpBuildInfo | DumpBuildInfo- deriving (Read, Show, Eq, Ord, Enum, Bounded, Generic, Typeable)+ deriving (Read, Show, Eq, Ord, Enum, Bounded, Generic) instance Binary DumpBuildInfo instance Structured DumpBuildInfo
src/Distribution/Types/GivenComponent.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} module Distribution.Types.GivenComponent@@ -25,7 +24,7 @@ -- only, not for any component , givenComponentId :: ComponentId }- deriving (Generic, Read, Show, Eq, Typeable)+ deriving (Generic, Read, Show, Eq) instance Binary GivenComponent instance Structured GivenComponent@@ -42,7 +41,7 @@ -- only, not for any component , promisedComponentId :: ComponentId }- deriving (Generic, Read, Show, Eq, Typeable)+ deriving (Generic, Read, Show, Eq) instance Binary PromisedComponent instance Structured PromisedComponent
src/Distribution/Types/LocalBuildInfo.hs view
@@ -1,5 +1,4 @@ {-# LANGUAGE DataKinds #-}-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE FlexibleContexts #-}@@ -144,7 +143,7 @@ -- ^ Information about a package configuration -- that can be modified by the user at configuration time. }- deriving (Generic, Read, Show, Typeable)+ deriving (Generic, Read, Show) {-# COMPLETE LocalBuildInfo #-}
src/Distribution/Utils/NubList.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE ScopedTypeVariables #-} @@ -22,7 +21,7 @@ -- | NubList : A de-duplicated list that maintains the original order. newtype NubList a = NubList {fromNubList :: [a]}- deriving (Eq, Generic, Typeable)+ deriving (Eq, Generic) -- NubList assumes that nub retains the list order while removing duplicate -- elements (keeping the first occurrence). Documentation for "Data.List.nub"
src/Distribution/Verbosity.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} -----------------------------------------------------------------------------@@ -92,7 +91,7 @@ , vFlags :: Set VerbosityFlag , vQuiet :: Bool }- deriving (Generic, Show, Read, Typeable)+ deriving (Generic, Show, Read) mkVerbosity :: VerbosityLevel -> Verbosity mkVerbosity l = Verbosity{vLevel = l, vFlags = Set.empty, vQuiet = False}
src/Distribution/Verbosity/Internal.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE DeriveGeneric #-} module Distribution.Verbosity.Internal@@ -10,7 +9,7 @@ import Prelude () data VerbosityLevel = Silent | Normal | Verbose | Deafening- deriving (Generic, Show, Read, Eq, Ord, Enum, Bounded, Typeable)+ deriving (Generic, Show, Read, Eq, Ord, Enum, Bounded) instance Binary VerbosityLevel instance Structured VerbosityLevel@@ -24,7 +23,7 @@ | -- | @since 3.4.0.0 VStderr | VNoWarn- deriving (Generic, Show, Read, Eq, Ord, Enum, Bounded, Typeable)+ deriving (Generic, Show, Read, Eq, Ord, Enum, Bounded) instance Binary VerbosityFlag instance Structured VerbosityFlag