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