Data.SemanticVersion.Version

Documentation

>>> import Text.Parsec(parse)
>>> import Data.Either(isLeft)

data Version

Constructors

Version NumericIdentifier NumericIdentifier NumericIdentifier

Instances

Show Version

Defined in Data.SemanticVersion.Version

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Eq Version

Defined in Data.SemanticVersion.Version

Methods

(==) :: Version -> Version -> Bool

(/=) :: Version -> Version -> Bool

AsVersion Version

Defined in Data.SemanticVersion.Version

Methods

_Version :: Prism' Version Version

HasVersion Version

Defined in Data.SemanticVersion.Version

Methods

version :: Lens' Version Version

versionMajor :: Lens' Version NumericIdentifier

versionMinor :: Lens' Version NumericIdentifier

versionPatch :: Lens' Version NumericIdentifier

class HasVersion a where

Minimal complete definition

version

Methods

version :: Lens' a Version

versionMajor :: Lens' a NumericIdentifier

versionMinor :: Lens' a NumericIdentifier

versionPatch :: Lens' a NumericIdentifier

Instances

HasVersion SemanticVersion

Defined in Data.SemanticVersion.SemanticVersion

Methods

version :: Lens' SemanticVersion Version

versionMajor :: Lens' SemanticVersion NumericIdentifier

versionMinor :: Lens' SemanticVersion NumericIdentifier

versionPatch :: Lens' SemanticVersion NumericIdentifier

HasVersion Version

Defined in Data.SemanticVersion.Version

Methods

version :: Lens' Version Version

versionMajor :: Lens' Version NumericIdentifier

versionMinor :: Lens' Version NumericIdentifier

versionPatch :: Lens' Version NumericIdentifier

class AsVersion a where

Methods

_Version :: Prism' a Version

Instances

AsVersion Version

Defined in Data.SemanticVersion.Version

Methods

_Version :: Prism' Version Version

parseVersion :: CharParsing p => p Version

>>> parse (parseVersion <* eof) "parseVersion" "0.0.0"
Right (Version NumericIdentifierZero NumericIdentifierZero NumericIdentifierZero)

>>> isLeft (parse parseVersion "parseVersion" "")
True

>>> parse (parseVersion <* eof) "parseVersion" "1.2.3"
Right (Version (NumericIdentifierDigits DecDigitNoZero1 []) (NumericIdentifierDigits DecDigitNoZero2 []) (NumericIdentifierDigits DecDigitNoZero3 []))

>>> isLeft(parse parseVersion "parseVersion" "01.2.3")
True

>>> parse (parseVersion <* eof) "parseVersion" "10.2.3"
Right (Version (NumericIdentifierDigits DecDigitNoZero1 [DecDigit0]) (NumericIdentifierDigits DecDigitNoZero2 []) (NumericIdentifierDigits DecDigitNoZero3 []))

>>> parse (parseVersion <* eof) "parseVersion" "38012.5.6"
Right (Version (NumericIdentifierDigits DecDigitNoZero3 [DecDigit8,DecDigit0,DecDigit1,DecDigit2]) (NumericIdentifierDigits DecDigitNoZero5 []) (NumericIdentifierDigits DecDigitNoZero6 []))

>>> parse (parseVersion <* eof) "parseVersion" "38012.5.5432"
Right (Version (NumericIdentifierDigits DecDigitNoZero3 [DecDigit8,DecDigit0,DecDigit1,DecDigit2]) (NumericIdentifierDigits DecDigitNoZero5 []) (NumericIdentifierDigits DecDigitNoZero5 [DecDigit4,DecDigit3,DecDigit2]))

>>> isLeft (parse (parseVersion <* eof) "parseVersion" "38012.05.5432")
True

>>> isLeft (parse (parseVersion <* eof) "parseVersion" "38012.5.05432")
True

>>> isLeft (parse parseVersion "parseVersion" "a")
True

>>> isLeft (parse parseVersion "parseVersion" "-")
True