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

Data.Char.Core

Contents

Possible rotations
Rotated objects
Ligating
Types of fonts
Character range checks

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 Ligate
- = Ligate
- | NoLigate
ligate :: (a -> a) -> Ligate -> a -> a
ligateF :: Functor f => (a -> a) -> Ligate -> f a -> f a
data Emphasis
- = NoBold
- | Bold
data ItalicType
- = NoItalic
- | Italic
data FontStyle
- = SansSerif
- | Serif
isAsciiAlphaNum :: Char -> Bool
isAsciiAlpha :: Char -> Bool

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] #

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.
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 #

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 #

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 #

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 #

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.