-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/

-- | Types and parsers for software version numbers.
--   
--   A library for parsing and comparing software version numbers. We like
--   to give version numbers to our software in a myriad of ways. Some ways
--   follow strict guidelines for incrementing and comparison. Some follow
--   conventional wisdom and are generally self-consistent. Some are just
--   plain asinine. This library provides a means of parsing and comparing
--   any style of versioning, be it a nice Semantic Version like
--   this:
--   
--   
--   1.2.3-r1+git123
--   
--   
--   ...or a monstrosity like this:
--   
--   
--   2:10.2+0.0093r3+1-1
--   
--   
--   Please switch to Semantic Versioning if you aren't currently
--   using it. It provides consistency in version incrementing and has the
--   best constraints on comparisons.
--   
--   This library implements version 2.0.0 of the SemVer spec.
@package versions
@version 6.0.8

-- | A library for parsing and comparing software version numbers.
--   
--   We like to give version numbers to our software in a myriad of
--   different ways. Some ways follow strict guidelines for incrementing
--   and comparison. Some follow conventional wisdom and are generally
--   self-consistent. Some are just plain asinine. This library provides a
--   means of parsing and comparing any style of versioning, be it a
--   nice Semantic Version like this:
--   
--   
--   1.2.3-r1+git123
--   
--   
--   ...or a monstrosity like this:
--   
--   
--   2:10.2+0.0093r3+1-1
--   
--   
--   Please switch to Semantic Versioning if you aren't currently
--   using it. It provides consistency in version incrementing and has the
--   best constraints on comparisons.
--   
--   This library implements version 2.0.0 of the SemVer
--   spec.
--   
--   
Using the Parsers
--   
--   In general, versioning is the function you want. It attempts to
--   parse a given Text using the three individual parsers,
--   semver, version and mess. If one fails, it tries
--   the next. If you know you only want to parse one specific version
--   type, use that parser directly (e.g. semver).
module Data.Versions

-- | A top-level Versioning type. Acts as a wrapper for the more specific
--   types. This allows each subtype to have its own parser, and for said
--   parsers to be composed. This is useful for specifying custom behaviour
--   for when a certain parser fails.
data Versioning
Ideal :: !SemVer -> Versioning
General :: !Version -> Versioning
Complex :: !Mess -> Versioning

-- | Short-hand for detecting a SemVer.
isIdeal :: Versioning -> Bool

-- | Short-hand for detecting a Version.
isGeneral :: Versioning -> Bool

-- | Short-hand for detecting a Mess.
isComplex :: Versioning -> Bool

-- | An (Ideal) version number that conforms to Semantic Versioning. This
--   is a prescriptive parser, meaning it follows the SemVer
--   standard.
--   
--   Legal semvers are of the form: MAJOR.MINOR.PATCH-PREREL+META
--   
--   Example: 1.2.3-r1+commithash
--   
--   Extra Rules:
--   
--   
--   
- Pre-release versions have lower precedence than normal
--   versions.
--   
- Build metadata does not affect version precedence.
--   
- PREREL and META strings may only contain ASCII alphanumerics and
--   hyphens.
--   
--   
--   For more information, see http://semver.org
data SemVer
SemVer :: !Word -> !Word -> !Word -> !Maybe Release -> !Maybe Text -> SemVer
[_svMajor] :: SemVer -> !Word
[_svMinor] :: SemVer -> !Word
[_svPatch] :: SemVer -> !Word
[_svPreRel] :: SemVer -> !Maybe Release
[_svMeta] :: SemVer -> !Maybe Text

-- | A PVP version number specific to the Haskell ecosystem. Like SemVer
--   this is a prescriptive scheme, and follows the PVP spec.
--   
--   Legal PVP values are of the form: MAJOR(.MAJOR.MINOR)
--   
--   Example: 1.2.3
--   
--   Extra Rules:
--   
--   
--   
- Each component must be a number.
--   
- Only the first MAJOR component is actually necessary. Otherwise,
--   there can be any number of components. 1.2.3.4.5.6.7 is
--   legal.
--   
- Unlike SemVer there are two MAJOR components, and both indicate a
--   breaking change. The spec otherwise designates no special meaning to
--   components past the MINOR position.
--   
newtype PVP
PVP :: NonEmpty Word -> PVP
[_pComponents] :: PVP -> NonEmpty Word

-- | A version number with decent structure and comparison logic.
--   
--   This is a descriptive scheme, meaning that it encapsulates the
--   most common, unconscious patterns that developers use when assigning
--   version numbers to their software. If not SemVer, most version
--   numbers found in the wild will parse as a Version. These
--   generally conform to the x.x.x-x pattern, and may optionally
--   have an epoch.
--   
--   Epochs are prefixes marked by a colon, like in 1:2.3.4. When
--   comparing two Version values, epochs take precedent. So
--   2:1.0.0 > 1:9.9.9. If one of the given Versions has
--   no epoch, its epoch is assumed to be 0.
--   
--   Examples of Version that are not SemVer: 0.25-2,
--   8.u51-1, 20150826-1, 1:2.3.4
data Version
Version :: !Maybe Word -> !Chunks -> !Maybe Release -> !Maybe Text -> Version
[_vEpoch] :: Version -> !Maybe Word
[_vChunks] :: Version -> !Chunks
[_vRel] :: Version -> !Maybe Release
[_vMeta] :: Version -> !Maybe Text

-- | A (Complex) Mess. This is a descriptive parser, based on
--   examples of stupidly crafted version numbers used in the wild.
--   
--   Groups of letters/numbers, separated by a period, can be further
--   separated by the symbols _-+:
--   
--   Some Mess values have a shape that is tantalizingly close to a
--   SemVer. Example: 1.6.0a+2014+m872b87e73dfb-1. For
--   values like these, we can extract the semver-compatible values out
--   with messMajor, etc.
--   
--   Not guaranteed to have well-defined ordering (Ord) behaviour,
--   but so far internal tests show consistency. messMajor, etc.,
--   are used internally where appropriate to enhance accuracy.
data Mess
Mess :: !NonEmpty MChunk -> !Maybe (VSep, Mess) -> Mess

-- | Try to extract the "major" version number from Mess, as if it
--   were a SemVer.
messMajor :: Mess -> Maybe Word

-- | Try to extract the "minor" version number from Mess, as if it
--   were a SemVer.
messMinor :: Mess -> Maybe Word

-- | Try to extract the "patch" version number from Mess, as if it
--   were a SemVer.
messPatch :: Mess -> Maybe Word

-- | Okay, fine, say messPatch couldn't find a nice value. But some
--   Messes have a "proper" patch-plus-release-candidate value in
--   their patch position, which is parsable as a Chunk.
--   
--   Example: 1.6.0a+2014+m872b87e73dfb-1 We should be able to
--   extract 0a safely.
messPatchChunk :: Mess -> Maybe Chunk

-- | Chunks have comparison behaviour according to SemVer's rules
--   for preleases.
newtype Release
Release :: NonEmpty Chunk -> Release

-- | Chunks that have a comparison behaviour specific to
--   Version.
newtype Chunks
Chunks :: NonEmpty Chunk -> Chunks

-- | A logical unit of a version number.
--   
--   Either entirely numerical (with no leading zeroes) or entirely
--   alphanumerical (with a free mixture of numbers, letters, and hyphens.)
--   
--   Groups of these (like Release) are separated by periods to form
--   a full section of a version number.
--   
--   Examples:
--   
--   
--   1
--   20150826
--   r3
--   0rc1-abc3
--   
data Chunk
Numeric :: !Word -> Chunk
Alphanum :: !Text -> Chunk

-- | Possible values of a section of a Mess. A numeric value is
--   extracted if it could be, alongside the original text it came from.
--   This preserves both Ord and pretty-print behaviour for versions
--   like 1.003.0.
data MChunk

-- | A nice numeric value.
MDigit :: !Word -> !Text -> MChunk

-- | A numeric value preceeded by an r, indicating a revision.
MRev :: !Word -> !Text -> MChunk

-- | Anything else.
MPlain :: !Text -> MChunk

-- | Developers use a number of symbols to seperate groups of
--   digits/letters in their version numbers. These are:
--   
--   
--   
- A colon (:). Often denotes an "epoch".
--   
- A hyphen (-).
--   
- A tilde (~). Example: 12.0.0-3ubuntu1~20.04.5
--   
- A plus (+). Stop using this outside of metadata if you are.
--   Example: 10.2+0.93+1-1
--   
- An underscore (_). Stop using this if you are.
--   
data VSep
VColon :: VSep
VHyphen :: VSep
VPlus :: VSep
VUnder :: VSep
VTilde :: VSep

-- | Parse a Versioning at compile time.
versioningQ :: Text -> Q Exp

-- | Parse a SemVer at compile time.
semverQ :: Text -> Q Exp

-- | Parse a Version at compile time.
versionQ :: Text -> Q Exp

-- | Parse a Mess at compile time.
messQ :: Text -> Q Exp

-- | Parse a PVP at compile time.
pvpQ :: Text -> Q Exp

-- | Convert a SemVer to a Version.
semverToVersion :: SemVer -> Version

-- | Convert a Version to a Mess.
versionToMess :: Version -> Mess

-- | Convert a Version to a PVP. Fails if there is an epoch
--   present, but otherwise ignores the Release and other metadata.
--   Naturally it also fails if any of the version components contain any
--   non-digits.
versionToPvp :: Version -> Maybe PVP

-- | A synonym for the more verbose megaparsec error type.
type ParsingError = ParseErrorBundle Text Void

-- | Parse a piece of Text into either an (Ideal) SemVer, a
--   (General) Version, or a (Complex) Mess.
versioning :: Text -> Either ParsingError Versioning

-- | Parse a (Ideal) Semantic Version.
semver :: Text -> Either ParsingError SemVer

-- | Parse a (Haskell) PVP, as defined above.
pvp :: Text -> Either ParsingError PVP

-- | Parse a (General) Version, as defined above.
version :: Text -> Either ParsingError Version

-- | Parse a (Complex) Mess, as defined above.
mess :: Text -> Either ParsingError Mess

-- | Parse a Versioning. Assumes the version number is the last
--   token in the string.
versioning' :: Parsec Void Text Versioning

-- | Internal megaparsec parser of semver.
semver' :: Parsec Void Text SemVer

-- | Internal megaparsec parser of pvp.
pvp' :: Parsec Void Text PVP

-- | Internal megaparsec parser of version.
version' :: Parsec Void Text Version

-- | Internal megaparsec parser of mess.
mess' :: Parsec Void Text Mess

-- | Convert any parsed Versioning type to its textual representation.
prettyV :: Versioning -> Text

-- | Convert a SemVer back to its textual representation.
prettySemVer :: SemVer -> Text

-- | Convert a PVP back to its textual representation.
prettyPVP :: PVP -> Text

-- | Convert a Version back to its textual representation.
prettyVer :: Version -> Text

-- | Convert a Mess back to its textual representation.
prettyMess :: Mess -> Text

-- | Pretty-print a ParseErrorBundle. All ParseErrors in the
--   bundle will be pretty-printed in order together with the corresponding
--   offending lines by doing a single pass over the input stream. The
--   rendered String always ends with a newline.
errorBundlePretty :: (VisualStream s, TraversableStream s, ShowErrorComponent e) => ParseErrorBundle s e -> String

-- | Simple Lenses compatible with both lens and microlens.
type Lens' s a = forall (f :: Type -> Type). Functor f => a -> f a -> s -> f s

-- | Simple Traversals compatible with both lens and microlens.
type Traversal' s a = forall (f :: Type -> Type). Applicative f => a -> f a -> s -> f s

-- | Version types which sanely and safely yield SemVer-like
--   information about themselves. For instances other than SemVer
--   itself however, these optics may not yield anything, depending
--   on the actual value being traversed. Hence, the optics here are all
--   Traversal's.
--   
--   Consider the Version 1.2.3.4.5. We can imagine wanting
--   to increment the minor number:
--   
--   
--   λ "1.2.3.4.5" & minor %~ (+ 1)
--   "1.3.3.4.5"
--   
--   
--   But of course something like this would fail:
--   
--   
--   λ "1.e.3.4.5" & minor %~ (+ 1)
--   "1.e.3.4.5"
--   
--   
--   However!
--   
--   
--   λ "1.e.3.4.5" & major %~ (+ 1)
--   "2.e.3.4.5"
--   
class Semantic v

-- | 
--   MAJOR.minor.patch-prerel+meta
--   
major :: Semantic v => Traversal' v Word

-- | 
--   major.MINOR.patch-prerel+meta
--   
minor :: Semantic v => Traversal' v Word

-- | 
--   major.minor.PATCH-prerel+meta
--   
patch :: Semantic v => Traversal' v Word

-- | 
--   major.minor.patch-PREREL+meta
--   
release :: Semantic v => Traversal' v (Maybe Release)

-- | 
--   major.minor.patch-prerel+META
--   
meta :: Semantic v => Traversal' v (Maybe Text)

-- | A Natural Transformation into an proper SemVer.
semantic :: Semantic v => Traversal' v SemVer

-- | Traverse some Text for its inner versioning.
--   
--   
--   λ "1.2.3" & _Versioning . _Ideal . patch %~ (+ 1)  -- or just: "1.2.3" & patch %~ (+ 1)
--   "1.2.4"
--   
_Versioning :: Traversal' Text Versioning

-- | Traverse some Text for its inner SemVer.
_SemVer :: Traversal' Text SemVer

-- | Traverse some Text for its inner Version.
_Version :: Traversal' Text Version

-- | Traverse some Text for its inner Mess.
_Mess :: Traversal' Text Mess

-- | Possibly extract a SemVer from a Versioning.
_Ideal :: Traversal' Versioning SemVer

-- | Possibly extract a Version from a Versioning.
_General :: Traversal' Versioning Version

-- | Possibly extract a Mess from a Versioning.
_Complex :: Traversal' Versioning Mess

-- | A Version's inner epoch Word.
epoch :: Lens' Version (Maybe Word)
instance GHC.Internal.Data.Data.Data Data.Versions.Chunk
instance GHC.Internal.Data.Data.Data Data.Versions.Chunks
instance GHC.Internal.Data.Data.Data Data.Versions.MChunk
instance GHC.Internal.Data.Data.Data Data.Versions.Mess
instance GHC.Internal.Data.Data.Data Data.Versions.PVP
instance GHC.Internal.Data.Data.Data Data.Versions.Release
instance GHC.Internal.Data.Data.Data Data.Versions.SemVer
instance GHC.Internal.Data.Data.Data Data.Versions.VSep
instance GHC.Internal.Data.Data.Data Data.Versions.Version
instance GHC.Internal.Data.Data.Data Data.Versions.Versioning
instance GHC.Classes.Eq Data.Versions.Chunk
instance GHC.Classes.Eq Data.Versions.Chunks
instance GHC.Classes.Eq Data.Versions.MChunk
instance GHC.Classes.Eq Data.Versions.Mess
instance GHC.Classes.Eq Data.Versions.PVP
instance GHC.Classes.Eq Data.Versions.Release
instance GHC.Classes.Eq Data.Versions.SemVer
instance GHC.Classes.Eq Data.Versions.VSep
instance GHC.Classes.Eq Data.Versions.Version
instance GHC.Classes.Eq Data.Versions.Versioning
instance GHC.Internal.Generics.Generic Data.Versions.Chunk
instance GHC.Internal.Generics.Generic Data.Versions.Chunks
instance GHC.Internal.Generics.Generic Data.Versions.MChunk
instance GHC.Internal.Generics.Generic Data.Versions.Mess
instance GHC.Internal.Generics.Generic Data.Versions.PVP
instance GHC.Internal.Generics.Generic Data.Versions.Release
instance GHC.Internal.Generics.Generic Data.Versions.SemVer
instance GHC.Internal.Generics.Generic Data.Versions.VSep
instance GHC.Internal.Generics.Generic Data.Versions.Version
instance GHC.Internal.Generics.Generic Data.Versions.Versioning
instance Data.Hashable.Class.Hashable Data.Versions.Chunk
instance Data.Hashable.Class.Hashable Data.Versions.Chunks
instance Data.Hashable.Class.Hashable Data.Versions.MChunk
instance Data.Hashable.Class.Hashable Data.Versions.Mess
instance Data.Hashable.Class.Hashable Data.Versions.PVP
instance Data.Hashable.Class.Hashable Data.Versions.Release
instance Data.Hashable.Class.Hashable Data.Versions.SemVer
instance Data.Hashable.Class.Hashable Data.Versions.VSep
instance Data.Hashable.Class.Hashable Data.Versions.Version
instance Data.Hashable.Class.Hashable Data.Versions.Versioning
instance Language.Haskell.TH.Syntax.Lift Data.Versions.Chunk
instance Language.Haskell.TH.Syntax.Lift Data.Versions.Chunks
instance Language.Haskell.TH.Syntax.Lift Data.Versions.MChunk
instance Language.Haskell.TH.Syntax.Lift Data.Versions.Mess
instance Language.Haskell.TH.Syntax.Lift Data.Versions.PVP
instance Language.Haskell.TH.Syntax.Lift Data.Versions.Release
instance Language.Haskell.TH.Syntax.Lift Data.Versions.SemVer
instance Language.Haskell.TH.Syntax.Lift Data.Versions.VSep
instance Language.Haskell.TH.Syntax.Lift Data.Versions.Version
instance Language.Haskell.TH.Syntax.Lift Data.Versions.Versioning
instance Control.DeepSeq.NFData Data.Versions.Chunk
instance Control.DeepSeq.NFData Data.Versions.Chunks
instance Control.DeepSeq.NFData Data.Versions.MChunk
instance Control.DeepSeq.NFData Data.Versions.Mess
instance Control.DeepSeq.NFData Data.Versions.PVP
instance Control.DeepSeq.NFData Data.Versions.Release
instance Control.DeepSeq.NFData Data.Versions.SemVer
instance Control.DeepSeq.NFData Data.Versions.VSep
instance Control.DeepSeq.NFData Data.Versions.Version
instance Control.DeepSeq.NFData Data.Versions.Versioning
instance GHC.Classes.Ord Data.Versions.Chunks
instance GHC.Classes.Ord Data.Versions.MChunk
instance GHC.Classes.Ord Data.Versions.Mess
instance GHC.Classes.Ord Data.Versions.PVP
instance GHC.Classes.Ord Data.Versions.Release
instance GHC.Classes.Ord Data.Versions.SemVer
instance GHC.Classes.Ord Data.Versions.Version
instance GHC.Classes.Ord Data.Versions.Versioning
instance GHC.Internal.Read.Read Data.Versions.Chunk
instance GHC.Internal.Read.Read Data.Versions.Release
instance Data.Versions.Semantic Data.Versions.Mess
instance Data.Versions.Semantic Data.Versions.PVP
instance Data.Versions.Semantic Data.Versions.SemVer
instance Data.Versions.Semantic Data.Text.Internal.Text
instance Data.Versions.Semantic Data.Versions.Version
instance Data.Versions.Semantic Data.Versions.Versioning
instance GHC.Internal.Show.Show Data.Versions.Chunk
instance GHC.Internal.Show.Show Data.Versions.Chunks
instance GHC.Internal.Show.Show Data.Versions.MChunk
instance GHC.Internal.Show.Show Data.Versions.Mess
instance GHC.Internal.Show.Show Data.Versions.PVP
instance GHC.Internal.Show.Show Data.Versions.Release
instance GHC.Internal.Show.Show Data.Versions.SemVer
instance GHC.Internal.Show.Show Data.Versions.VSep
instance GHC.Internal.Show.Show Data.Versions.Version
instance GHC.Internal.Show.Show Data.Versions.Versioning
