Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SemanticVersion.NumericIdentifier

Synopsis

data NumericIdentifier
- = NumericIdentifierZero
- | NumericIdentifierDigits DecDigitNoZero [DecDigit]
class HasNumericIdentifier a where
- numericIdentifier :: Lens' a NumericIdentifier
class AsNumericIdentifier a where
- _NumericIdentifier :: Prism' a NumericIdentifier
- _NumericIdentifierZero :: Prism' a ()
- _NumericIdentifierDigits :: Prism' a (DecDigitNoZero, [DecDigit])
parseNumericIdentifier :: CharParsing p => p NumericIdentifier

Documentation

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

data NumericIdentifier Source #

Constructors

NumericIdentifierZero
NumericIdentifierDigits DecDigitNoZero [DecDigit]

Instances

Instances details

Show NumericIdentifier Source #
Instance details Defined in Data.SemanticVersion.NumericIdentifier Methods showsPrec :: Int -> NumericIdentifier -> ShowS # show :: NumericIdentifier -> String # showList :: [NumericIdentifier] -> ShowS #
Eq NumericIdentifier Source #
Instance details Defined in Data.SemanticVersion.NumericIdentifier Methods (==) :: NumericIdentifier -> NumericIdentifier -> Bool # (/=) :: NumericIdentifier -> NumericIdentifier -> Bool #
AsNumericIdentifier NumericIdentifier Source #
Instance details Defined in Data.SemanticVersion.NumericIdentifier Methods _NumericIdentifier :: Prism' NumericIdentifier NumericIdentifier Source # _NumericIdentifierZero :: Prism' NumericIdentifier () Source # _NumericIdentifierDigits :: Prism' NumericIdentifier (DecDigitNoZero, [DecDigit]) Source #
HasNumericIdentifier NumericIdentifier Source #
Instance details Defined in Data.SemanticVersion.NumericIdentifier Methods numericIdentifier :: Lens' NumericIdentifier NumericIdentifier Source #

class HasNumericIdentifier a where Source #

Methods

numericIdentifier :: Lens' a NumericIdentifier Source #

Instances

Instances details

HasNumericIdentifier NumericIdentifier Source #
Instance details Defined in Data.SemanticVersion.NumericIdentifier Methods numericIdentifier :: Lens' NumericIdentifier NumericIdentifier Source #

class AsNumericIdentifier a where Source #

Minimal complete definition

_NumericIdentifier

Methods

_NumericIdentifier :: Prism' a NumericIdentifier Source #

_NumericIdentifierZero :: Prism' a () Source #

_NumericIdentifierDigits :: Prism' a (DecDigitNoZero, [DecDigit]) Source #

Instances

Instances details

AsNumericIdentifier NumericIdentifier Source #
Instance details Defined in Data.SemanticVersion.NumericIdentifier Methods _NumericIdentifier :: Prism' NumericIdentifier NumericIdentifier Source # _NumericIdentifierZero :: Prism' NumericIdentifier () Source # _NumericIdentifierDigits :: Prism' NumericIdentifier (DecDigitNoZero, [DecDigit]) Source #
AsNumericIdentifier PreReleaseIdentifier Source #
Instance details Defined in Data.SemanticVersion.PreReleaseIdentifier Methods _NumericIdentifier :: Prism' PreReleaseIdentifier NumericIdentifier Source # _NumericIdentifierZero :: Prism' PreReleaseIdentifier () Source # _NumericIdentifierDigits :: Prism' PreReleaseIdentifier (DecDigitNoZero, [DecDigit]) Source #

parseNumericIdentifier :: CharParsing p => p NumericIdentifier Source #

>>> parse (parseNumericIdentifier <* eof) "parseNumericIdentifier" "0"
Right NumericIdentifierZero

>>> isLeft (parse parseNumericIdentifier "parseNumericIdentifier" "")
True

>>> parse parseNumericIdentifier "parseNumericIdentifier" "01"
Right NumericIdentifierZero

>>> parse parseNumericIdentifier "parseNumericIdentifier" "10"
Right (NumericIdentifierDigits DecDigitNoZero1 [DecDigit0])

>>> parse parseNumericIdentifier "parseNumericIdentifier" "38012"
Right (NumericIdentifierDigits DecDigitNoZero3 [DecDigit8,DecDigit0,DecDigit1,DecDigit2])

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

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