Maintainer	hapytexeu+gh@gmail.com
Stability	experimental
Portability	POSIX
Safe Haskell	Safe
Language	Haskell2010

Data.Char.Core

Contents

Possible rotations
Rotated objects
Letter case
Ligating
Types of fonts
Character range checks
Ways to display numbers
Functions to implement a number system
Re-export of some functions of the Char module

Description

This module defines data structures that are used in other modules, for example to rotate the characters.

Synopsis

data Orientation
- = Horizontal
- | Vertical
data Rotate90
- = R0
- | R90
- | R180
- | R270
data Oriented a = Oriented {
- oobject :: a
- orientation :: Orientation
}
data LetterCase
- = UpperCase
- | LowerCase
splitLetterCase :: a -> a -> LetterCase -> a
data Ligate
- = Ligate
- | NoLigate
splitLigate :: a -> a -> Ligate -> a
ligate :: (a -> a) -> Ligate -> a -> a
ligateF :: Functor f => (a -> a) -> Ligate -> f a -> f a
data Emphasis
- = NoBold
- | Bold
splitEmphasis :: a -> a -> Emphasis -> a
data ItalicType
- = NoItalic
- | Italic
splitItalicType :: a -> a -> ItalicType -> a
data FontStyle
- = SansSerif
- | Serif
splitFontStyle :: a -> a -> FontStyle -> a
isAsciiAlphaNum :: Char -> Bool
isAsciiAlpha :: Char -> Bool
isACharacter :: Char -> Bool
isNotACharacter :: Char -> Bool
isReserved :: Char -> Bool
data PlusStyle
- = WithoutPlus
- | WithPlus
splitPlusStyle :: a -> a -> PlusStyle -> a
withSign :: Integral i => (i -> Text) -> Char -> Char -> PlusStyle -> i -> Text
signValueSystem :: Integral i => i -> (Int -> Int -> Text) -> Text -> Char -> Char -> PlusStyle -> i -> Text
positionalNumberSystem :: Integral i => i -> (Int -> Char) -> Char -> Char -> PlusStyle -> i -> Text
positionalNumberSystem10 :: Integral i => (Int -> Char) -> Char -> Char -> PlusStyle -> i -> Text
chr :: Int -> Char
isAlpha :: Char -> Bool
isAlphaNum :: Char -> Bool
isAscii :: Char -> Bool
ord :: Char -> Int

Possible rotations

data Orientation Source #

The possible orientations of a unicode character, these can be horizontal, or vertical.

Constructors

Horizontal	Horizontal orientation.
Vertical	Vertical orientation.

Instances

Bounded Orientation Source #
Instance details Defined in Data.Char.Core Methods minBound :: Orientation # maxBound :: Orientation #
Enum Orientation Source #
Instance details Defined in Data.Char.Core Methods succ :: Orientation -> Orientation # pred :: Orientation -> Orientation # toEnum :: Int -> Orientation # fromEnum :: Orientation -> Int # enumFrom :: Orientation -> [Orientation] # enumFromThen :: Orientation -> Orientation -> [Orientation] # enumFromTo :: Orientation -> Orientation -> [Orientation] # enumFromThenTo :: Orientation -> Orientation -> Orientation -> [Orientation] #
Eq Orientation Source #
Instance details Defined in Data.Char.Core Methods (==) :: Orientation -> Orientation -> Bool # (/=) :: Orientation -> Orientation -> Bool #
Ord Orientation Source #
Instance details Defined in Data.Char.Core Methods compare :: Orientation -> Orientation -> Ordering # (<) :: Orientation -> Orientation -> Bool # (<=) :: Orientation -> Orientation -> Bool # (>) :: Orientation -> Orientation -> Bool # (>=) :: Orientation -> Orientation -> Bool # max :: Orientation -> Orientation -> Orientation # min :: Orientation -> Orientation -> Orientation #
Read Orientation Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS Orientation # readList :: ReadS [Orientation] # readPrec :: ReadPrec Orientation # readListPrec :: ReadPrec [Orientation] #
Show Orientation Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> Orientation -> ShowS # show :: Orientation -> String # showList :: [Orientation] -> ShowS #
Arbitrary Orientation Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen Orientation # shrink :: Orientation -> [Orientation] #

data Rotate90 Source #

Possible rotations of a unicode character if that character can be rotated over 0, 90, 180, and 270 degrees.

Constructors

R0	No rotation.
R90	Rotation over 90 degrees.
R180	Rotation over 180 degrees.
R270	Rotation over 270 degrees.

Instances

Bounded Rotate90 Source #
Instance details Defined in Data.Char.Core Methods minBound :: Rotate90 # maxBound :: Rotate90 #
Enum Rotate90 Source #
Instance details Defined in Data.Char.Core Methods succ :: Rotate90 -> Rotate90 # pred :: Rotate90 -> Rotate90 # toEnum :: Int -> Rotate90 # fromEnum :: Rotate90 -> Int # enumFrom :: Rotate90 -> [Rotate90] # enumFromThen :: Rotate90 -> Rotate90 -> [Rotate90] # enumFromTo :: Rotate90 -> Rotate90 -> [Rotate90] # enumFromThenTo :: Rotate90 -> Rotate90 -> Rotate90 -> [Rotate90] #
Eq Rotate90 Source #
Instance details Defined in Data.Char.Core Methods (==) :: Rotate90 -> Rotate90 -> Bool # (/=) :: Rotate90 -> Rotate90 -> Bool #
Ord Rotate90 Source #
Instance details Defined in Data.Char.Core Methods compare :: Rotate90 -> Rotate90 -> Ordering # (<) :: Rotate90 -> Rotate90 -> Bool # (<=) :: Rotate90 -> Rotate90 -> Bool # (>) :: Rotate90 -> Rotate90 -> Bool # (>=) :: Rotate90 -> Rotate90 -> Bool # max :: Rotate90 -> Rotate90 -> Rotate90 # min :: Rotate90 -> Rotate90 -> Rotate90 #
Read Rotate90 Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS Rotate90 # readList :: ReadS [Rotate90] # readPrec :: ReadPrec Rotate90 # readListPrec :: ReadPrec [Rotate90] #
Show Rotate90 Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> Rotate90 -> ShowS # show :: Rotate90 -> String # showList :: [Rotate90] -> ShowS #
Arbitrary Rotate90 Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen Rotate90 # shrink :: Rotate90 -> [Rotate90] #

Rotated objects

data Oriented a Source #

A data type that specifies that an item has been given an orientation.

Constructors

Oriented
Fields oobject :: a The object that is oriented. orientation :: Orientation The oriented of the oriented object.

Instances

Functor Oriented Source #
Instance details Defined in Data.Char.Core Methods fmap :: (a -> b) -> Oriented a -> Oriented b # (<$) :: a -> Oriented b -> Oriented a #
Foldable Oriented Source #
Instance details Defined in Data.Char.Core Methods fold :: Monoid m => Oriented m -> m # foldMap :: Monoid m => (a -> m) -> Oriented a -> m # foldr :: (a -> b -> b) -> b -> Oriented a -> b # foldr' :: (a -> b -> b) -> b -> Oriented a -> b # foldl :: (b -> a -> b) -> b -> Oriented a -> b # foldl' :: (b -> a -> b) -> b -> Oriented a -> b # foldr1 :: (a -> a -> a) -> Oriented a -> a # foldl1 :: (a -> a -> a) -> Oriented a -> a # toList :: Oriented a -> [a] # null :: Oriented a -> Bool # length :: Oriented a -> Int # elem :: Eq a => a -> Oriented a -> Bool # maximum :: Ord a => Oriented a -> a # minimum :: Ord a => Oriented a -> a # sum :: Num a => Oriented a -> a # product :: Num a => Oriented a -> a #
Traversable Oriented Source #
Instance details Defined in Data.Char.Core Methods traverse :: Applicative f => (a -> f b) -> Oriented a -> f (Oriented b) # sequenceA :: Applicative f => Oriented (f a) -> f (Oriented a) # mapM :: Monad m => (a -> m b) -> Oriented a -> m (Oriented b) # sequence :: Monad m => Oriented (m a) -> m (Oriented a) #
Arbitrary1 Oriented Source #
Instance details Defined in Data.Char.Core Methods liftArbitrary :: Gen a -> Gen (Oriented a) # liftShrink :: (a -> [a]) -> Oriented a -> [Oriented a] #
Eq a => Eq (Oriented a) Source #
Instance details Defined in Data.Char.Core Methods (==) :: Oriented a -> Oriented a -> Bool # (/=) :: Oriented a -> Oriented a -> Bool #
Ord a => Ord (Oriented a) Source #
Instance details Defined in Data.Char.Core Methods compare :: Oriented a -> Oriented a -> Ordering # (<) :: Oriented a -> Oriented a -> Bool # (<=) :: Oriented a -> Oriented a -> Bool # (>) :: Oriented a -> Oriented a -> Bool # (>=) :: Oriented a -> Oriented a -> Bool # max :: Oriented a -> Oriented a -> Oriented a # min :: Oriented a -> Oriented a -> Oriented a #
Read a => Read (Oriented a) Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS (Oriented a) # readList :: ReadS [Oriented a] # readPrec :: ReadPrec (Oriented a) # readListPrec :: ReadPrec [Oriented a] #
Show a => Show (Oriented a) Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> Oriented a -> ShowS # show :: Oriented a -> String # showList :: [Oriented a] -> ShowS #
Arbitrary a => Arbitrary (Oriented a) Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen (Oriented a) # shrink :: Oriented a -> [Oriented a] #

Letter case

data LetterCase Source #

Specify whether we write a value in UpperCase or LowerCase. The Default is UpperCase, since for example often Roman numerals are written in upper case.

Constructors

UpperCase	The upper case formatting.
LowerCase	The lower case formatting.

Instances

Bounded LetterCase Source #
Instance details Defined in Data.Char.Core Methods minBound :: LetterCase # maxBound :: LetterCase #
Enum LetterCase Source #
Instance details Defined in Data.Char.Core Methods succ :: LetterCase -> LetterCase # pred :: LetterCase -> LetterCase # toEnum :: Int -> LetterCase # fromEnum :: LetterCase -> Int # enumFrom :: LetterCase -> [LetterCase] # enumFromThen :: LetterCase -> LetterCase -> [LetterCase] # enumFromTo :: LetterCase -> LetterCase -> [LetterCase] # enumFromThenTo :: LetterCase -> LetterCase -> LetterCase -> [LetterCase] #
Eq LetterCase Source #
Instance details Defined in Data.Char.Core Methods (==) :: LetterCase -> LetterCase -> Bool # (/=) :: LetterCase -> LetterCase -> Bool #
Ord LetterCase Source #
Instance details Defined in Data.Char.Core Methods compare :: LetterCase -> LetterCase -> Ordering # (<) :: LetterCase -> LetterCase -> Bool # (<=) :: LetterCase -> LetterCase -> Bool # (>) :: LetterCase -> LetterCase -> Bool # (>=) :: LetterCase -> LetterCase -> Bool # max :: LetterCase -> LetterCase -> LetterCase # min :: LetterCase -> LetterCase -> LetterCase #
Read LetterCase Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS LetterCase # readList :: ReadS [LetterCase] # readPrec :: ReadPrec LetterCase # readListPrec :: ReadPrec [LetterCase] #
Show LetterCase Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> LetterCase -> ShowS # show :: LetterCase -> String # showList :: [LetterCase] -> ShowS #
Arbitrary LetterCase Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen LetterCase # shrink :: LetterCase -> [LetterCase] #
Default LetterCase Source #
Instance details Defined in Data.Char.Core Methods def :: LetterCase #

splitLetterCase Source #

Arguments

:: a	The value to return in case of `UpperCase`.
-> a	The value to return in case of `LowerCase`.
-> LetterCase	The given letter case.
-> a	One of the two given values, depending on the `LetterCase` value.

Pick one of the two values based on the LetterCase value.

Ligating

data Ligate Source #

Specify if one should ligate, or not. When litigation is done characters that are normally written in two (or more) characters are combined in one character. For example Ⅲ instead of ⅠⅠⅠ.

Constructors

Ligate	A ligate operation is performed on the characters, the `def` for 't:Ligate'.
NoLigate	No ligate operation is performed on the charaters.

Instances

Bounded Ligate Source #
Instance details Defined in Data.Char.Core Methods minBound :: Ligate # maxBound :: Ligate #
Enum Ligate Source #
Instance details Defined in Data.Char.Core Methods succ :: Ligate -> Ligate # pred :: Ligate -> Ligate # toEnum :: Int -> Ligate # fromEnum :: Ligate -> Int # enumFrom :: Ligate -> [Ligate] # enumFromThen :: Ligate -> Ligate -> [Ligate] # enumFromTo :: Ligate -> Ligate -> [Ligate] # enumFromThenTo :: Ligate -> Ligate -> Ligate -> [Ligate] #
Eq Ligate Source #
Instance details Defined in Data.Char.Core Methods (==) :: Ligate -> Ligate -> Bool # (/=) :: Ligate -> Ligate -> Bool #
Ord Ligate Source #
Instance details Defined in Data.Char.Core Methods compare :: Ligate -> Ligate -> Ordering # (<) :: Ligate -> Ligate -> Bool # (<=) :: Ligate -> Ligate -> Bool # (>) :: Ligate -> Ligate -> Bool # (>=) :: Ligate -> Ligate -> Bool # max :: Ligate -> Ligate -> Ligate # min :: Ligate -> Ligate -> Ligate #
Read Ligate Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS Ligate # readList :: ReadS [Ligate] # readPrec :: ReadPrec Ligate # readListPrec :: ReadPrec [Ligate] #
Show Ligate Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> Ligate -> ShowS # show :: Ligate -> String # showList :: [Ligate] -> ShowS #
Arbitrary Ligate Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen Ligate # shrink :: Ligate -> [Ligate] #
Default Ligate Source #
Instance details Defined in Data.Char.Core Methods def :: Ligate #

splitLigate Source #

Arguments

:: a	The value to return in case of 'v:Ligate'.
-> a	The value to return in case of `NoLigate`.
-> Ligate	The ligation style.
-> a	One of the two given values, based on the 't:Ligate' value.

Pick one of the two values based on the value for 't:Ligate'.

ligate :: (a -> a) -> Ligate -> a -> a Source #

Specify if the given ligate function should be performed on the input, if 'v:Ligate' is passed, and the identity function otherwise.

ligateF :: Functor f => (a -> a) -> Ligate -> f a -> f a Source #

Specify if the given ligate function is performed over the functor object if 'v:Ligate' is passed, and the identity function otherwise.

Types of fonts

data Emphasis Source #

A data type that lists the possible emphasis of a font. This can be Bold or NoBold the Default is NoBold.

Constructors

NoBold	The characters are not stressed with boldface.
Bold	The characters are stressed in boldface.

Instances

Bounded Emphasis Source #
Instance details Defined in Data.Char.Core Methods minBound :: Emphasis # maxBound :: Emphasis #
Enum Emphasis Source #
Instance details Defined in Data.Char.Core Methods succ :: Emphasis -> Emphasis # pred :: Emphasis -> Emphasis # toEnum :: Int -> Emphasis # fromEnum :: Emphasis -> Int # enumFrom :: Emphasis -> [Emphasis] # enumFromThen :: Emphasis -> Emphasis -> [Emphasis] # enumFromTo :: Emphasis -> Emphasis -> [Emphasis] # enumFromThenTo :: Emphasis -> Emphasis -> Emphasis -> [Emphasis] #
Eq Emphasis Source #
Instance details Defined in Data.Char.Core Methods (==) :: Emphasis -> Emphasis -> Bool # (/=) :: Emphasis -> Emphasis -> Bool #
Ord Emphasis Source #
Instance details Defined in Data.Char.Core Methods compare :: Emphasis -> Emphasis -> Ordering # (<) :: Emphasis -> Emphasis -> Bool # (<=) :: Emphasis -> Emphasis -> Bool # (>) :: Emphasis -> Emphasis -> Bool # (>=) :: Emphasis -> Emphasis -> Bool # max :: Emphasis -> Emphasis -> Emphasis # min :: Emphasis -> Emphasis -> Emphasis #
Read Emphasis Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS Emphasis # readList :: ReadS [Emphasis] # readPrec :: ReadPrec Emphasis # readListPrec :: ReadPrec [Emphasis] #
Show Emphasis Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> Emphasis -> ShowS # show :: Emphasis -> String # showList :: [Emphasis] -> ShowS #
Arbitrary Emphasis Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen Emphasis # shrink :: Emphasis -> [Emphasis] #
Default Emphasis Source #
Instance details Defined in Data.Char.Core Methods def :: Emphasis #

splitEmphasis Source #

Arguments

:: a	The value to return in case of `NoBold`.
-> a	The value to return in case of `Bold`.
-> Emphasis	The emphasis type.
-> a	One of the two given values, based on the 't:Emphasis' value.

Pick one of the two values based on the 't:Emphasis' value.

data ItalicType Source #

A data type that can be used to specify if an italic character is used. The Default is NoItalic.

Constructors

NoItalic	No italic characters are used.
Italic	Italic characters are used.

Instances

Bounded ItalicType Source #
Instance details Defined in Data.Char.Core Methods minBound :: ItalicType # maxBound :: ItalicType #
Enum ItalicType Source #
Instance details Defined in Data.Char.Core Methods succ :: ItalicType -> ItalicType # pred :: ItalicType -> ItalicType # toEnum :: Int -> ItalicType # fromEnum :: ItalicType -> Int # enumFrom :: ItalicType -> [ItalicType] # enumFromThen :: ItalicType -> ItalicType -> [ItalicType] # enumFromTo :: ItalicType -> ItalicType -> [ItalicType] # enumFromThenTo :: ItalicType -> ItalicType -> ItalicType -> [ItalicType] #
Eq ItalicType Source #
Instance details Defined in Data.Char.Core Methods (==) :: ItalicType -> ItalicType -> Bool # (/=) :: ItalicType -> ItalicType -> Bool #
Ord ItalicType Source #
Instance details Defined in Data.Char.Core Methods compare :: ItalicType -> ItalicType -> Ordering # (<) :: ItalicType -> ItalicType -> Bool # (<=) :: ItalicType -> ItalicType -> Bool # (>) :: ItalicType -> ItalicType -> Bool # (>=) :: ItalicType -> ItalicType -> Bool # max :: ItalicType -> ItalicType -> ItalicType # min :: ItalicType -> ItalicType -> ItalicType #
Read ItalicType Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS ItalicType # readList :: ReadS [ItalicType] # readPrec :: ReadPrec ItalicType # readListPrec :: ReadPrec [ItalicType] #
Show ItalicType Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> ItalicType -> ShowS # show :: ItalicType -> String # showList :: [ItalicType] -> ShowS #
Arbitrary ItalicType Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen ItalicType # shrink :: ItalicType -> [ItalicType] #
Default ItalicType Source #
Instance details Defined in Data.Char.Core Methods def :: ItalicType #

splitItalicType Source #

Arguments

:: a	The value to return in case of `NoItalic`.
-> a	The value to return in case of `Italic`.
-> ItalicType	The italic type.
-> a	One of the two given values, based on the 't:ItalicType' value.

Pick one of the two values based on the 't:ItalicType' value.

data FontStyle Source #

A data type that specifies if the font is with serifs or not. The 'Defaul;t' is Serif.

Constructors

SansSerif	The character is a character rendered without serifs.
Serif	The character is a character rendered with serifs.

Instances

Bounded FontStyle Source #
Instance details Defined in Data.Char.Core Methods minBound :: FontStyle # maxBound :: FontStyle #
Enum FontStyle Source #
Instance details Defined in Data.Char.Core Methods succ :: FontStyle -> FontStyle # pred :: FontStyle -> FontStyle # toEnum :: Int -> FontStyle # fromEnum :: FontStyle -> Int # enumFrom :: FontStyle -> [FontStyle] # enumFromThen :: FontStyle -> FontStyle -> [FontStyle] # enumFromTo :: FontStyle -> FontStyle -> [FontStyle] # enumFromThenTo :: FontStyle -> FontStyle -> FontStyle -> [FontStyle] #
Eq FontStyle Source #
Instance details Defined in Data.Char.Core Methods (==) :: FontStyle -> FontStyle -> Bool # (/=) :: FontStyle -> FontStyle -> Bool #
Ord FontStyle Source #
Instance details Defined in Data.Char.Core Methods compare :: FontStyle -> FontStyle -> Ordering # (<) :: FontStyle -> FontStyle -> Bool # (<=) :: FontStyle -> FontStyle -> Bool # (>) :: FontStyle -> FontStyle -> Bool # (>=) :: FontStyle -> FontStyle -> Bool # max :: FontStyle -> FontStyle -> FontStyle # min :: FontStyle -> FontStyle -> FontStyle #
Read FontStyle Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS FontStyle # readList :: ReadS [FontStyle] # readPrec :: ReadPrec FontStyle # readListPrec :: ReadPrec [FontStyle] #
Show FontStyle Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> FontStyle -> ShowS # show :: FontStyle -> String # showList :: [FontStyle] -> ShowS #
Arbitrary FontStyle Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen FontStyle # shrink :: FontStyle -> [FontStyle] #
Default FontStyle Source #
Instance details Defined in Data.Char.Core Methods def :: FontStyle #

splitFontStyle Source #

Arguments

:: a	The value to return in case of `SansSerif`.
-> a	The value to return in case of `Serif`.
-> FontStyle	The font style.
-> a	One of the two given values, based on the 't:FontStyle' value.

Pick one of the two values based on the 't:FontStyle' value.

Character range checks

isAsciiAlphaNum :: Char -> Bool Source #

Checks if a character is an alphabetic or numerical character in ASCII. The characters 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz satisfy this predicate.

isAsciiAlpha :: Char -> Bool Source #

Checks if a charcter is an alphabetic character in ASCII. The characters ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz satisfy this predicate.

isACharacter Source #

Arguments

:: Char	The given `Char`acter to check.
-> Bool	`True` if the given `Char`acter is a character (according to the Unicode specifications); `False` otherwise.

Check if the given character is a character according to the Unicode specifications. Codepoints that are not a character are denoted in the Unicode documentation with <not a character>.

isNotACharacter Source #

Arguments

:: Char	The given `Char`acter to check.
-> Bool	`True` if the given `Char`acter is not a character (according to the Unicode specifications); `False` otherwise.

Check if the given character is not a character according to the Unicode specifications. The Unicode documentation denotes these with <not a character>.

isReserved Source #

Arguments

:: Char	The given `Char`acter to check.
-> Bool	`True` if the given `Char`acter is reserved; `False` otherwise.

Check if the given character is a reserved character. This is denoted in the Unicode documentation with <reserved>.

Ways to display numbers

data PlusStyle Source #

Specify whether we write a positive number with or without a plus sign. the Default is WithoutPlus.

Constructors

WithoutPlus	Write positive numbers without using a plus sign.
WithPlus	Write positive numbers with a plus sign.

Instances

Bounded PlusStyle Source #
Instance details Defined in Data.Char.Core Methods minBound :: PlusStyle # maxBound :: PlusStyle #
Enum PlusStyle Source #
Instance details Defined in Data.Char.Core Methods succ :: PlusStyle -> PlusStyle # pred :: PlusStyle -> PlusStyle # toEnum :: Int -> PlusStyle # fromEnum :: PlusStyle -> Int # enumFrom :: PlusStyle -> [PlusStyle] # enumFromThen :: PlusStyle -> PlusStyle -> [PlusStyle] # enumFromTo :: PlusStyle -> PlusStyle -> [PlusStyle] # enumFromThenTo :: PlusStyle -> PlusStyle -> PlusStyle -> [PlusStyle] #
Eq PlusStyle Source #
Instance details Defined in Data.Char.Core Methods (==) :: PlusStyle -> PlusStyle -> Bool # (/=) :: PlusStyle -> PlusStyle -> Bool #
Ord PlusStyle Source #
Instance details Defined in Data.Char.Core Methods compare :: PlusStyle -> PlusStyle -> Ordering # (<) :: PlusStyle -> PlusStyle -> Bool # (<=) :: PlusStyle -> PlusStyle -> Bool # (>) :: PlusStyle -> PlusStyle -> Bool # (>=) :: PlusStyle -> PlusStyle -> Bool # max :: PlusStyle -> PlusStyle -> PlusStyle # min :: PlusStyle -> PlusStyle -> PlusStyle #
Read PlusStyle Source #
Instance details Defined in Data.Char.Core Methods readsPrec :: Int -> ReadS PlusStyle # readList :: ReadS [PlusStyle] # readPrec :: ReadPrec PlusStyle # readListPrec :: ReadPrec [PlusStyle] #
Show PlusStyle Source #
Instance details Defined in Data.Char.Core Methods showsPrec :: Int -> PlusStyle -> ShowS # show :: PlusStyle -> String # showList :: [PlusStyle] -> ShowS #
Arbitrary PlusStyle Source #
Instance details Defined in Data.Char.Core Methods arbitrary :: Gen PlusStyle # shrink :: PlusStyle -> [PlusStyle] #
Default PlusStyle Source #
Instance details Defined in Data.Char.Core Methods def :: PlusStyle #

splitPlusStyle Source #

Arguments

:: a	The value to return in case of `WithoutPlus`.
-> a	The value to return in case of `WithPlus`.
-> PlusStyle	The plus style.
-> a	One of the two given values, based on the 't:PlusStyle' value.

Pick one of the two values based on the 't:PlusStyle' value.

Functions to implement a number system

withSign Source #

Arguments

:: Integral i
=> (i -> Text)	The function that maps the absolute value of the number to a `Text` object that is appended to the sign.
-> Char	The plus sign to use.
-> Char	The minus sign to use.
-> PlusStyle	The given `PlusStyle` to use.
-> i	The given `Integral` number to render.
-> Text	A `Text` object that represents the given number, with the given sign numbers in the given `PlusStyle`.

Calculate for a given plus and minus sign a Text object for the given number in the given PlusStyle.

signValueSystem Source #

Arguments

:: Integral i
=> i	The given radix to use.
-> (Int -> Int -> Text)	A function that maps the value and the weight to a `Text` object.
-> Text	The given `Text` used to represent zero.
-> Char	The given `Char` used to denote plus.
-> Char	The given `Char` used to denote minus.
-> PlusStyle	The given `PlusStyle` to use.
-> i	The given number to convert.
-> Text	A `Text` object that denotes the given number with the given sign-value system.

A function to make it more convenient to implement a sign-value system. This is done for a given radix a function that maps the given value and the given weight to a Text object, a Text object for zero (since in some systems that is different), and characters for plus and minus. The function then will for a given PlusStyle convert the number to a sequence of characters with respect to how the sign-value system is implemented.

positionalNumberSystem Source #

Arguments

:: Integral i
=> i	The given radix to use.
-> (Int -> Char)	A function that maps the value of a digit to the corresponding `Char`.
-> Char	The given character used to denote plus.
-> Char	The given character used to denote minus.
-> PlusStyle	The given `PlusStyle` to use.
-> i	The given number to convert.
-> Text	A `Text` object that denotes the given number with the given positional number system.

A function to make it more convenient to implement a /positional number system. This is done for a given radix/ a given conversion funtion that maps a value to a Char, and a Char for plus and minus. The function then construct a Text object for a given PlusStyle and a given number.

positionalNumberSystem10 Source #

Arguments

:: Integral i
=> (Int -> Char)	A function that maps the value of a digit to the corresponding `Char`.
-> Char	The given character used to denote plus.
-> Char	The given character used to denote minus.
-> PlusStyle	The given `PlusStyle` to use.
-> i	The given number to convert.
-> Text	A `Text` object that denotes the given number with the given positional number system.

A function to make it more convenient to implement a /positional number system with radix/ 10.

Re-export of some functions of the `Char` module

chr :: Int -> Char #

The toEnum method restricted to the type Char.

isAlpha :: Char -> Bool #

Selects alphabetic Unicode characters (lower-case, upper-case and title-case letters, plus letters of caseless scripts and modifiers letters). This function is equivalent to isLetter.

isAlphaNum :: Char -> Bool #

Selects alphabetic or numeric Unicode characters.

Note that numeric digits outside the ASCII range, as well as numeric characters which aren't digits, are selected by this function but not by isDigit. Such characters may be part of identifiers but are not used by the printer and reader to represent numbers.

isAscii :: Char -> Bool #

Selects the first 128 characters of the Unicode character set, corresponding to the ASCII character set.

ord :: Char -> Int #

The fromEnum method restricted to the type Char.

Possible rotations

Rotated objects

Letter case

Ligating

Types of fonts

Character range checks

Ways to display numbers

Functions to implement a number system

Re-export of some functions of the Char module

Re-export of some functions of the `Char` module