Data.Char.Alpha

Upper-case

data AlphaUpper

An upper-case character between A and Z.

Instances

Eq AlphaUpper

Methods

(==) :: AlphaUpper -> AlphaUpper -> Bool

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

Ord AlphaUpper

Methods

compare :: AlphaUpper -> AlphaUpper -> Ordering

(<) :: AlphaUpper -> AlphaUpper -> Bool

(<=) :: AlphaUpper -> AlphaUpper -> Bool

(>) :: AlphaUpper -> AlphaUpper -> Bool

(>=) :: AlphaUpper -> AlphaUpper -> Bool

max :: AlphaUpper -> AlphaUpper -> AlphaUpper

min :: AlphaUpper -> AlphaUpper -> AlphaUpper

Show AlphaUpper

Methods

showsPrec :: Int -> AlphaUpper -> ShowS

show :: AlphaUpper -> String

showList :: [AlphaUpper] -> ShowS

AsAlphaUpper AlphaUpper

Methods

_AlphaUpper :: Prism' AlphaUpper AlphaUpper

HasAlphaUpper AlphaUpper

Methods

alphaUpper :: Lens' AlphaUpper AlphaUpper

class HasAlphaUpper c where

Minimal complete definition

alphaUpper

Methods

alphaUpper :: Lens' c AlphaUpper

Instances

HasAlphaUpper AlphaUpper

Methods

alphaUpper :: Lens' AlphaUpper AlphaUpper

class AsAlphaUpper a where

Methods

_AlphaUpper :: Prism' a AlphaUpper

Instances

AsAlphaUpper Char

Methods

_AlphaUpper :: Prism' Char AlphaUpper

AsAlphaUpper AlphaUpper

Methods

_AlphaUpper :: Prism' AlphaUpper AlphaUpper

AsAlphaUpper Alpha

Methods

_AlphaUpper :: Prism' Alpha AlphaUpper

parseAlphaUpper :: (Monad f, CharParsing f) => f AlphaUpper

Parse an upper-case alpha character.

>>> parse parseAlphaUpper "parseAlphaUpper" "A"
Right (AlphaUpper 'A')

>>> parse parseAlphaUpper "parseAlphaUpper" "Abc"
Right (AlphaUpper 'A')

>>> isn't _Right (parse parseAlphaUpper "parseAlphaUpper" "a")
True

>>> isn't _Right (parse parseAlphaUpper "parseAlphaUpper" "")
True

>>> isn't _Right (parse parseAlphaUpper "parseAlphaUpper" "0")
True

Lower-case

data AlphaLower

A lower-case character between a and z.

Instances

Eq AlphaLower

Methods

(==) :: AlphaLower -> AlphaLower -> Bool

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

Ord AlphaLower

Methods

compare :: AlphaLower -> AlphaLower -> Ordering

(<) :: AlphaLower -> AlphaLower -> Bool

(<=) :: AlphaLower -> AlphaLower -> Bool

(>) :: AlphaLower -> AlphaLower -> Bool

(>=) :: AlphaLower -> AlphaLower -> Bool

max :: AlphaLower -> AlphaLower -> AlphaLower

min :: AlphaLower -> AlphaLower -> AlphaLower

Show AlphaLower

Methods

showsPrec :: Int -> AlphaLower -> ShowS

show :: AlphaLower -> String

showList :: [AlphaLower] -> ShowS

AsAlphaLower AlphaLower

Methods

_AlphaLower :: Prism' AlphaLower AlphaLower

HasAlphaLower AlphaLower

Methods

alphaLower :: Lens' AlphaLower AlphaLower

class HasAlphaLower c where

Minimal complete definition

alphaLower

Methods

alphaLower :: Lens' c AlphaLower

Instances

HasAlphaLower AlphaLower

Methods

alphaLower :: Lens' AlphaLower AlphaLower

class AsAlphaLower a where

Methods

_AlphaLower :: Prism' a AlphaLower

Instances

AsAlphaLower Char

Methods

_AlphaLower :: Prism' Char AlphaLower

AsAlphaLower AlphaLower

Methods

_AlphaLower :: Prism' AlphaLower AlphaLower

AsAlphaLower Alpha

Methods

_AlphaLower :: Prism' Alpha AlphaLower

parseAlphaLower :: (Monad f, CharParsing f) => f AlphaLower

Parse a lower-case alpha character.

>>> parse parseAlphaLower "parseAlphaLower" "a"
Right (AlphaLower 'a')

>>> parse parseAlphaLower "parseAlphaLower" "aBC"
Right (AlphaLower 'a')

>>> isn't _Right (parse parseAlphaLower "parseAlphaLower" "B")
True

>>> isn't _Right (parse parseAlphaLower "parseAlphaLower" "")
True

>>> isn't _Right (parse parseAlphaLower "parseAlphaLower" "0")
True

Any case

data Alpha

Either a lower-case character between a and z or an upper-case character between A and Z.

Constructors

UpperAlpha AlphaUpper

LowerAlpha AlphaLower

Instances

Eq Alpha

Methods

(==) :: Alpha -> Alpha -> Bool

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

Ord Alpha

Methods

compare :: Alpha -> Alpha -> Ordering

(<) :: Alpha -> Alpha -> Bool

(<=) :: Alpha -> Alpha -> Bool

(>) :: Alpha -> Alpha -> Bool

(>=) :: Alpha -> Alpha -> Bool

max :: Alpha -> Alpha -> Alpha

min :: Alpha -> Alpha -> Alpha

Show Alpha

Methods

showsPrec :: Int -> Alpha -> ShowS

show :: Alpha -> String

showList :: [Alpha] -> ShowS

AsAlphaUpper Alpha

Methods

_AlphaUpper :: Prism' Alpha AlphaUpper

AsAlphaLower Alpha

Methods

_AlphaLower :: Prism' Alpha AlphaLower

AsAlpha Alpha

Methods

_Alpha :: Prism' Alpha Alpha

_UpperAlpha :: Prism' Alpha AlphaUpper

_LowerAlpha :: Prism' Alpha AlphaLower

HasAlpha Alpha

Methods

alpha :: Lens' Alpha Alpha

class HasAlpha c where

Minimal complete definition

alpha

Methods

alpha :: Lens' c Alpha

Instances

HasAlpha Alpha

Methods

alpha :: Lens' Alpha Alpha

class AsAlpha r where

Methods

_Alpha :: Prism' r Alpha

_UpperAlpha :: Prism' r AlphaUpper

_LowerAlpha :: Prism' r AlphaLower

Instances

AsAlpha Alpha

Methods

_Alpha :: Prism' Alpha Alpha

_UpperAlpha :: Prism' Alpha AlphaUpper

_LowerAlpha :: Prism' Alpha AlphaLower

parseAlpha :: (Monad f, CharParsing f) => f Alpha

Parse an upper-case or lower-case character.

>>> parse parseAlpha "parseAlpha" "a"
Right (LowerAlpha (AlphaLower 'a'))

>>> parse parseAlpha "parseAlpha" "aBC"
Right (LowerAlpha (AlphaLower 'a'))

>>> parse parseAlpha "parseAlpha" "A"
Right (UpperAlpha (AlphaUpper 'A'))

>>> parse parseAlpha "parseAlpha" "Abc"
Right (UpperAlpha (AlphaUpper 'A'))

>>> isn't _Right (parse parseAlpha "parseAlpha" "0")
True

Accessory

upperlower :: Iso' AlphaUpper AlphaLower

Isomorphism from upper to lower.

>>> (upperlower #) <$> ('a' ^? _AlphaLower)
Just (AlphaUpper 'A')

>>> (upperlower #) <$> ('A' ^? _AlphaLower)
Nothing

>>> (upperlower #) <$> ('3' ^? _AlphaLower)
Nothing

lowerupper :: Iso' AlphaLower AlphaUpper

Isomorphism from lower to upper.

>>> (lowerupper #) <$> ('A' ^? _AlphaUpper)
Just (AlphaLower 'a')

>>> (lowerupper #) <$> ('a' ^? _AlphaUpper)
Nothing

>>> (lowerupper #) <$> ('3' ^? _AlphaUpper)
Nothing