Home
last modified time | relevance | path

Searched refs:ConstraintSource (Results 1 – 25 of 57) sorted by relevance

123

/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Solver/Types/
H A DConstraintSource.hs2 module Distribution.Solver.Types.ConstraintSource
3 ( ConstraintSource(..)
11 data ConstraintSource = type
58 instance Binary ConstraintSource
59 instance Structured ConstraintSource
62 showConstraintSource :: ConstraintSource -> String
H A DLabeledPackageConstraint.hs6 import Distribution.Solver.Types.ConstraintSource
11 = LabeledPackageConstraint PackageConstraint ConstraintSource
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Solver/Types/
H A DConstraintSource.hs2 module Distribution.Solver.Types.ConstraintSource
3 ( ConstraintSource(..)
12 data ConstraintSource = type
59 instance Binary ConstraintSource
60 instance Structured ConstraintSource
63 showConstraintSource :: ConstraintSource -> String
H A DLabeledPackageConstraint.hs6 import Distribution.Solver.Types.ConstraintSource
11 = LabeledPackageConstraint PackageConstraint ConstraintSource
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Client/
H A DCmdFreeze.hs19 import Distribution.Solver.Types.ConstraintSource
20 ( ConstraintSource(..) )
159 -> Map PackageName [(UserConstraint, ConstraintSource)]
178 versionConstraints :: Map PackageName [(UserConstraint, ConstraintSource)]
196 flagConstraints :: Map PackageName [(UserConstraint, ConstraintSource)]
215 :: Map PackageName [(UserConstraint, ConstraintSource)]
216 -> Map PackageName [(UserConstraint, ConstraintSource)]
H A DFetch.hs27 import Distribution.Solver.Types.ConstraintSource
H A DCmdRun.hs32 import Distribution.Solver.Types.ConstraintSource
33 ( ConstraintSource(..) )
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/
H A DCmdFreeze.hs25 import Distribution.Solver.Types.ConstraintSource
26 ( ConstraintSource(..) )
154 -> Map PackageName [(UserConstraint, ConstraintSource)]
173 versionConstraints :: Map PackageName [(UserConstraint, ConstraintSource)]
191 flagConstraints :: Map PackageName [(UserConstraint, ConstraintSource)]
210 :: Map PackageName [(UserConstraint, ConstraintSource)]
211 -> Map PackageName [(UserConstraint, ConstraintSource)]
H A DNixStyleOptions.hs16 import Distribution.Solver.Types.ConstraintSource (ConstraintSource (..))
H A DFetch.hs30 import Distribution.Solver.Types.ConstraintSource
H A DFreeze.hs37 import Distribution.Solver.Types.ConstraintSource
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Solver/Modular/
H A DTree.hs31 import Distribution.Solver.Types.ConstraintSource
114 | GlobalConstraintVersion VR ConstraintSource
115 | GlobalConstraintInstalled ConstraintSource
116 | GlobalConstraintSource ConstraintSource
117 | GlobalConstraintFlag ConstraintSource
H A DMessage.hs25 import Distribution.Solver.Types.ConstraintSource
253 constraintSource :: ConstraintSource -> String
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Solver/Modular/
H A DTree.hs31 import Distribution.Solver.Types.ConstraintSource
117 | GlobalConstraintVersion VR ConstraintSource
118 | GlobalConstraintInstalled ConstraintSource
119 | GlobalConstraintSource ConstraintSource
120 | GlobalConstraintFlag ConstraintSource
H A DMessage.hs25 import Distribution.Solver.Types.ConstraintSource
257 constraintSource :: ConstraintSource -> String
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/Sandbox/
H A DPackageEnvironment.hs43 import Distribution.Solver.Types.ConstraintSource
138 pkgEnvFieldDescrs :: ConstraintSource -> [FieldDescr PackageEnvironment]
179 readPackageEnvironmentFile :: ConstraintSource -> PackageEnvironment -> FilePath
191 parsePackageEnvironment :: ConstraintSource -> PackageEnvironment -> String
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/tests/UnitTests/Distribution/Client/
H A DTreeDiffInstances.hs6 import Distribution.Solver.Types.ConstraintSource
40 instance ToExpr ConstraintSource
H A DProjectConfig.hs44 import Distribution.Solver.Types.ConstraintSource
479 arbitraryConstraints :: Gen [(UserConstraint, ConstraintSource)]
519 projectConfigConstraintSource :: ConstraintSource
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/tests/UnitTests/Distribution/Client/
H A DTreeDiffInstances.hs25 import Distribution.Solver.Types.ConstraintSource
53 instance ToExpr ConstraintSource
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DInferTypes.hs161 { goalSource :: ConstraintSource -- ^ What it is about
198 data ConstraintSource type
223 instance TVars ConstraintSource where
328 instance PP ConstraintSource where
H A DMonad.hs361 newGoal :: ConstraintSource -> Prop -> InferM Goal
368 newGoals :: ConstraintSource -> [Prop] -> InferM ()
866 , kCtrs :: [(ConstraintSource,[Prop])]
896 -> KindM a -> InferM (a, Map Name Kind, [(ConstraintSource,[Prop])])
982 kNewGoals :: ConstraintSource -> [Prop] -> KindM ()
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Client/ProjectConfig/
H A DTypes.hs44 import Distribution.Solver.Types.ConstraintSource
187 projectConfigConstraints :: [(UserConstraint, ConstraintSource)], function
393 solverSettingConstraints :: [(UserConstraint, ConstraintSource)], function
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/ProjectConfig/
H A DTypes.hs46 import Distribution.Solver.Types.ConstraintSource
188 projectConfigConstraints :: [(UserConstraint, ConstraintSource)], function
393 solverSettingConstraints :: [(UserConstraint, ConstraintSource)], function
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/Types/
H A DPackageSpecifier.hs16 import Distribution.Solver.Types.ConstraintSource
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Client/Sandbox/
H A DPackageEnvironment.hs54 import Distribution.Solver.Types.ConstraintSource
407 pkgEnvFieldDescrs :: ConstraintSource -> [FieldDescr PackageEnvironment]
454 readPackageEnvironmentFile :: ConstraintSource -> PackageEnvironment -> FilePath
466 parsePackageEnvironment :: ConstraintSource -> PackageEnvironment -> String

123