| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.SemanticVersion.NumericIdentifier
Synopsis
- data NumericIdentifier
- class HasNumericIdentifier a where
- class AsNumericIdentifier a where
- parseNumericIdentifier :: CharParsing p => p NumericIdentifier
Documentation
>>>import Text.Parsec(parse)>>>import Data.Either(isLeft)
data NumericIdentifier Source #
Constructors
| NumericIdentifierZero | |
| NumericIdentifierDigits DecDigitNoZero [DecDigit] |
Instances
| Show NumericIdentifier Source # | |
Defined in Data.SemanticVersion.NumericIdentifier Methods showsPrec :: Int -> NumericIdentifier -> ShowS # show :: NumericIdentifier -> String # showList :: [NumericIdentifier] -> ShowS # | |
| Eq NumericIdentifier Source # | |
Defined in Data.SemanticVersion.NumericIdentifier Methods (==) :: NumericIdentifier -> NumericIdentifier -> Bool # (/=) :: NumericIdentifier -> NumericIdentifier -> Bool # | |
| AsNumericIdentifier NumericIdentifier Source # | |
| HasNumericIdentifier NumericIdentifier Source # | |
Defined in Data.SemanticVersion.NumericIdentifier | |
class AsNumericIdentifier a where Source #
Minimal complete definition
Methods
_NumericIdentifier :: Prism' a NumericIdentifier Source #
_NumericIdentifierZero :: Prism' a () Source #
_NumericIdentifierDigits :: Prism' a (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