cabal-install-solver/src/Distribution/Solver/Modular/Version.hs

   1 module Distribution.Solver.Modular.Version
   2     ( Ver
   3     , VR
   4     , anyVR
   5     , checkVR
   6     , eqVR
   7     , showVer
   8     , showVR
   9     , simplifyVR
  10     , (.&&.)
  11     , (.||.)
  12     ) where
  13
  14 import Distribution.Solver.Compat.Prelude
  15 import Prelude ()
  16
  17 import qualified Distribution.Version as CV -- from Cabal
  18 import Distribution.Pretty (prettyShow)
  19
  20 -- | Preliminary type for versions.
  21 type Ver = CV.Version
  22
  23 -- | String representation of a version.
  24 showVer :: Ver -> String
  25 showVer = prettyShow
  26
  27 -- | Version range. Consists of a lower and upper bound.
  28 type VR = CV.VersionRange
  29
  30 -- | String representation of a version range.
  31 showVR :: VR -> String
  32 showVR = prettyShow
  33
  34 -- | Unconstrained version range.
  35 anyVR :: VR
  36 anyVR = CV.anyVersion
  37
  38 -- | Version range fixing a single version.
  39 eqVR :: Ver -> VR
  40 eqVR = CV.thisVersion
  41
  42 -- | Intersect two version ranges.
  43 (.&&.) :: VR -> VR -> VR
  44 v1 .&&. v2 = simplifyVR $ CV.intersectVersionRanges v1 v2
  45
  46 -- | Union of two version ranges.
  47 (.||.) :: VR -> VR -> VR
  48 v1 .||. v2 = simplifyVR $ CV.unionVersionRanges v1 v2
  49
  50 -- | Simplify a version range.
  51 simplifyVR :: VR -> VR
  52 simplifyVR = CV.simplifyVersionRange
  53
  54 -- | Checking a version against a version range.
  55 checkVR :: VR -> Ver -> Bool
  56 checkVR = flip CV.withinRange