Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SemanticVersion.IdentifierCharacters

Synopsis

newtype IdentifierCharacters = IdentifierCharacters (NonEmpty IdentifierCharacter)
class HasIdentifierCharacters a where
- identifierCharacters :: Lens' a IdentifierCharacters
class AsIdentifierCharacters a where
- _IdentifierCharacters :: Prism' a IdentifierCharacters
parseIdentifierCharacters :: CharParsing p => p IdentifierCharacters

Documentation

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

newtype IdentifierCharacters Source #

Constructors

IdentifierCharacters (NonEmpty IdentifierCharacter)

Instances

Instances details

Show IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters Methods showsPrec :: Int -> IdentifierCharacters -> ShowS # show :: IdentifierCharacters -> String # showList :: [IdentifierCharacters] -> ShowS #
Eq IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters Methods (==) :: IdentifierCharacters -> IdentifierCharacters -> Bool # (/=) :: IdentifierCharacters -> IdentifierCharacters -> Bool #
Wrapped IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters Associated Types type Unwrapped IdentifierCharacters # Methods _Wrapped' :: Iso' IdentifierCharacters (Unwrapped IdentifierCharacters) #
AsIdentifierCharacters IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters Methods _IdentifierCharacters :: Prism' IdentifierCharacters IdentifierCharacters Source #
HasIdentifierCharacters IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters Methods identifierCharacters :: Lens' IdentifierCharacters IdentifierCharacters Source #
IdentifierCharacters ~ t => Rewrapped IdentifierCharacters t Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters
type Unwrapped IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters type Unwrapped IdentifierCharacters = NonEmpty IdentifierCharacter

class HasIdentifierCharacters a where Source #

Methods

identifierCharacters :: Lens' a IdentifierCharacters Source #

Instances

Instances details

HasIdentifierCharacters IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters Methods identifierCharacters :: Lens' IdentifierCharacters IdentifierCharacters Source #

class AsIdentifierCharacters a where Source #

Methods

_IdentifierCharacters :: Prism' a IdentifierCharacters Source #

Instances

Instances details

AsIdentifierCharacters IdentifierCharacters Source #
Instance details Defined in Data.SemanticVersion.IdentifierCharacters Methods _IdentifierCharacters :: Prism' IdentifierCharacters IdentifierCharacters Source #

parseIdentifierCharacters :: CharParsing p => p IdentifierCharacters Source #

>>> parse (parseIdentifierCharacters <* eof) "parseIdentifierCharacters" "a"
Right (IdentifierCharacters (IdentifierCharacterNonDigit (NonDigitLetter (AlphaLower Lower_a)) :| []))

>>> isLeft (parse parseIdentifierCharacters "parseIdentifierCharacters" "")
True

>>> parse (parseIdentifierCharacters <* eof) "parseIdentifierCharacters" "0"
Right (IdentifierCharacters (IdentifierCharacterDigit DecDigit0 :| []))

>>> parse (parseIdentifierCharacters <* eof) "parseIdentifierCharacters" "Abc"
Right (IdentifierCharacters (IdentifierCharacterNonDigit (NonDigitLetter (AlphaUpper Upper_A)) :| [IdentifierCharacterNonDigit (NonDigitLetter (AlphaLower Lower_b)),IdentifierCharacterNonDigit (NonDigitLetter (AlphaLower Lower_c))]))

>>> parse (parseIdentifierCharacters <* eof) "parseIdentifierCharacters" "-"
Right (IdentifierCharacters (IdentifierCharacterNonDigit NonDigitHyphen :| []))

>>> parse (parseIdentifierCharacters <* eof) "parseIdentifierCharacters" "Abc-123"
Right (IdentifierCharacters (IdentifierCharacterNonDigit (NonDigitLetter (AlphaUpper Upper_A)) :| [IdentifierCharacterNonDigit (NonDigitLetter (AlphaLower Lower_b)),IdentifierCharacterNonDigit (NonDigitLetter (AlphaLower Lower_c)),IdentifierCharacterNonDigit NonDigitHyphen,IdentifierCharacterDigit DecDigit1,IdentifierCharacterDigit DecDigit2,IdentifierCharacterDigit DecDigit3]))

>>> parse (parseIdentifierCharacters <* eof) "parseIdentifierCharacters" "Ab-c-12--3"
Right (IdentifierCharacters (IdentifierCharacterNonDigit (NonDigitLetter (AlphaUpper Upper_A)) :| [IdentifierCharacterNonDigit (NonDigitLetter (AlphaLower Lower_b)),IdentifierCharacterNonDigit NonDigitHyphen,IdentifierCharacterNonDigit (NonDigitLetter (AlphaLower Lower_c)),IdentifierCharacterNonDigit NonDigitHyphen,IdentifierCharacterDigit DecDigit1,IdentifierCharacterDigit DecDigit2,IdentifierCharacterNonDigit NonDigitHyphen,IdentifierCharacterNonDigit NonDigitHyphen,IdentifierCharacterDigit DecDigit3]))

>>> parse parseIdentifierCharacters "parseIdentifierCharacters" "ABC+"
Right (IdentifierCharacters (IdentifierCharacterNonDigit (NonDigitLetter (AlphaUpper Upper_A)) :| [IdentifierCharacterNonDigit (NonDigitLetter (AlphaUpper Upper_B)),IdentifierCharacterNonDigit (NonDigitLetter (AlphaUpper Upper_C))]))

>>> isLeft (parse parseIdentifierCharacters "parseIdentifierCharacters" "+")
True