Data.Char.Core

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

Possible rotations

data Orientation

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

Constructors

Horizontal

Horizontal orientation.

Vertical

Vertical orientation.

Instances

Bounded Orientation

Defined in Data.Char.Core

Methods

minBound :: Orientation

maxBound :: Orientation

Enum Orientation

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

Defined in Data.Char.Core

Methods

(==) :: Orientation -> Orientation -> Bool

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

Data Orientation

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Orientation -> c Orientation

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Orientation

toConstr :: Orientation -> Constr

dataTypeOf :: Orientation -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Orientation)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Orientation)

gmapT :: (forall b. Data b => b -> b) -> Orientation -> Orientation

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Orientation -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Orientation -> r

gmapQ :: (forall d. Data d => d -> u) -> Orientation -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Orientation -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Orientation -> m Orientation

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Orientation -> m Orientation

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Orientation -> m Orientation

Ord Orientation

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS Orientation

readList :: ReadS [Orientation]

readPrec :: ReadPrec Orientation

readListPrec :: ReadPrec [Orientation]

Show Orientation

Defined in Data.Char.Core

Methods

showsPrec :: Int -> Orientation -> ShowS

show :: Orientation -> String

showList :: [Orientation] -> ShowS

Generic Orientation

Defined in Data.Char.Core

Associated Types

type Rep Orientation :: Type -> Type

Methods

from :: Orientation -> Rep Orientation x

to :: Rep Orientation x -> Orientation

Arbitrary Orientation

Defined in Data.Char.Core

Methods

arbitrary :: Gen Orientation

shrink :: Orientation -> [Orientation]

NFData Orientation

Defined in Data.Char.Core

Methods

rnf :: Orientation -> ()

Hashable Orientation

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> Orientation -> Int

hash :: Orientation -> Int

type Rep Orientation

Defined in Data.Char.Core

type Rep Orientation = D1 ('MetaData "Orientation" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Horizontal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Vertical" 'PrefixI 'False) (U1 :: Type -> Type))

data Rotate90

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

Defined in Data.Char.Core

Methods

minBound :: Rotate90

maxBound :: Rotate90

Enum Rotate90

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

Defined in Data.Char.Core

Methods

(==) :: Rotate90 -> Rotate90 -> Bool

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

Data Rotate90

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rotate90 -> c Rotate90

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rotate90

toConstr :: Rotate90 -> Constr

dataTypeOf :: Rotate90 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rotate90)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rotate90)

gmapT :: (forall b. Data b => b -> b) -> Rotate90 -> Rotate90

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rotate90 -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rotate90 -> r

gmapQ :: (forall d. Data d => d -> u) -> Rotate90 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Rotate90 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rotate90 -> m Rotate90

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rotate90 -> m Rotate90

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rotate90 -> m Rotate90

Ord Rotate90

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS Rotate90

readList :: ReadS [Rotate90]

readPrec :: ReadPrec Rotate90

readListPrec :: ReadPrec [Rotate90]

Show Rotate90

Defined in Data.Char.Core

Methods

showsPrec :: Int -> Rotate90 -> ShowS

show :: Rotate90 -> String

showList :: [Rotate90] -> ShowS

Generic Rotate90

Defined in Data.Char.Core

Associated Types

type Rep Rotate90 :: Type -> Type

Methods

from :: Rotate90 -> Rep Rotate90 x

to :: Rep Rotate90 x -> Rotate90

Arbitrary Rotate90

Defined in Data.Char.Core

Methods

arbitrary :: Gen Rotate90

shrink :: Rotate90 -> [Rotate90]

NFData Rotate90

Defined in Data.Char.Core

Methods

rnf :: Rotate90 -> ()

Hashable Rotate90

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> Rotate90 -> Int

hash :: Rotate90 -> Int

type Rep Rotate90

Defined in Data.Char.Core

type Rep Rotate90 = D1 ('MetaData "Rotate90" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) ((C1 ('MetaCons "R0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R90" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R180" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R270" 'PrefixI 'False) (U1 :: Type -> Type)))

Rotated objects

data Oriented a

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

Defined in Data.Char.Core

Methods

fmap :: (a -> b) -> Oriented a -> Oriented b

(<$) :: a -> Oriented b -> Oriented a

Foldable Oriented

Defined in Data.Char.Core

Methods

fold :: Monoid m => Oriented m -> m

foldMap :: Monoid m => (a -> m) -> Oriented a -> 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

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

Defined in Data.Char.Core

Methods

liftArbitrary :: Gen a -> Gen (Oriented a)

liftShrink :: (a -> [a]) -> Oriented a -> [Oriented a]

Eq1 Oriented

Defined in Data.Char.Core

Methods

liftEq :: (a -> b -> Bool) -> Oriented a -> Oriented b -> Bool

Ord1 Oriented

Defined in Data.Char.Core

Methods

liftCompare :: (a -> b -> Ordering) -> Oriented a -> Oriented b -> Ordering

NFData1 Oriented

Defined in Data.Char.Core

Methods

liftRnf :: (a -> ()) -> Oriented a -> ()

Hashable1 Oriented

Defined in Data.Char.Core

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Oriented a -> Int

Bounded a => Bounded (Oriented a)

Defined in Data.Char.Core

Methods

minBound :: Oriented a

maxBound :: Oriented a

Eq a => Eq (Oriented a)

Defined in Data.Char.Core

Methods

(==) :: Oriented a -> Oriented a -> Bool

(/=) :: Oriented a -> Oriented a -> Bool

Data a => Data (Oriented a)

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Oriented a -> c (Oriented a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Oriented a)

toConstr :: Oriented a -> Constr

dataTypeOf :: Oriented a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Oriented a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Oriented a))

gmapT :: (forall b. Data b => b -> b) -> Oriented a -> Oriented a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Oriented a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Oriented a -> r

gmapQ :: (forall d. Data d => d -> u) -> Oriented a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Oriented a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Oriented a -> m (Oriented a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Oriented a -> m (Oriented a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Oriented a -> m (Oriented a)

Ord a => Ord (Oriented a)

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)

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)

Defined in Data.Char.Core

Methods

showsPrec :: Int -> Oriented a -> ShowS

show :: Oriented a -> String

showList :: [Oriented a] -> ShowS

Generic (Oriented a)

Defined in Data.Char.Core

Associated Types

type Rep (Oriented a) :: Type -> Type

Methods

from :: Oriented a -> Rep (Oriented a) x

to :: Rep (Oriented a) x -> Oriented a

Arbitrary a => Arbitrary (Oriented a)

Defined in Data.Char.Core

Methods

arbitrary :: Gen (Oriented a)

shrink :: Oriented a -> [Oriented a]

NFData a => NFData (Oriented a)

Defined in Data.Char.Core

Methods

rnf :: Oriented a -> ()

Hashable a => Hashable (Oriented a)

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> Oriented a -> Int

hash :: Oriented a -> Int

UnicodeText (Oriented (Domino (Maybe DieValue)))

Defined in Data.Char.Domino

Methods

toUnicodeText :: Oriented (Domino (Maybe DieValue)) -> Text

fromUnicodeText :: Text -> Maybe (Oriented (Domino (Maybe DieValue)))

fromUnicodeText' :: Text -> Oriented (Domino (Maybe DieValue))

UnicodeText (Oriented (Domino DieValue))

Defined in Data.Char.Domino

Methods

toUnicodeText :: Oriented (Domino DieValue) -> Text

fromUnicodeText :: Text -> Maybe (Oriented (Domino DieValue))

fromUnicodeText' :: Text -> Oriented (Domino DieValue)

UnicodeCharacter (Oriented (Domino (Maybe DieValue)))

Defined in Data.Char.Domino

Methods

toUnicodeChar :: Oriented (Domino (Maybe DieValue)) -> Char

fromUnicodeChar :: Char -> Maybe (Oriented (Domino (Maybe DieValue)))

fromUnicodeChar' :: Char -> Oriented (Domino (Maybe DieValue))

UnicodeCharacter (Oriented (Domino DieValue))

Defined in Data.Char.Domino

Methods

toUnicodeChar :: Oriented (Domino DieValue) -> Char

fromUnicodeChar :: Char -> Maybe (Oriented (Domino DieValue))

fromUnicodeChar' :: Char -> Oriented (Domino DieValue)

Generic1 Oriented

Defined in Data.Char.Core

Associated Types

type Rep1 Oriented :: k -> Type

Methods

from1 :: forall (a :: k). Oriented a -> Rep1 Oriented a

to1 :: forall (a :: k). Rep1 Oriented a -> Oriented a

type Rep (Oriented a)

Defined in Data.Char.Core

type Rep (Oriented a) = D1 ('MetaData "Oriented" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Oriented" 'PrefixI 'True) (S1 ('MetaSel ('Just "oobject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "orientation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Orientation)))

type Rep1 Oriented

Defined in Data.Char.Core

type Rep1 Oriented = D1 ('MetaData "Oriented" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Oriented" 'PrefixI 'True) (S1 ('MetaSel ('Just "oobject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Just "orientation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Orientation)))

data Rotated a

A data type that specifies that an item has been given a rotation.

Constructors

Rotated

Fields

• robject :: a

  The object that is rotated.

• rotation :: Rotate90

  The rotation of the rotated object.

Instances

Functor Rotated

Defined in Data.Char.Core

Methods

fmap :: (a -> b) -> Rotated a -> Rotated b

(<$) :: a -> Rotated b -> Rotated a

Foldable Rotated

Defined in Data.Char.Core

Methods

fold :: Monoid m => Rotated m -> m

foldMap :: Monoid m => (a -> m) -> Rotated a -> m

foldMap' :: Monoid m => (a -> m) -> Rotated a -> m

foldr :: (a -> b -> b) -> b -> Rotated a -> b

foldr' :: (a -> b -> b) -> b -> Rotated a -> b

foldl :: (b -> a -> b) -> b -> Rotated a -> b

foldl' :: (b -> a -> b) -> b -> Rotated a -> b

foldr1 :: (a -> a -> a) -> Rotated a -> a

foldl1 :: (a -> a -> a) -> Rotated a -> a

toList :: Rotated a -> [a]

null :: Rotated a -> Bool

length :: Rotated a -> Int

elem :: Eq a => a -> Rotated a -> Bool

maximum :: Ord a => Rotated a -> a

minimum :: Ord a => Rotated a -> a

sum :: Num a => Rotated a -> a

product :: Num a => Rotated a -> a

Traversable Rotated

Defined in Data.Char.Core

Methods

traverse :: Applicative f => (a -> f b) -> Rotated a -> f (Rotated b)

sequenceA :: Applicative f => Rotated (f a) -> f (Rotated a)

mapM :: Monad m => (a -> m b) -> Rotated a -> m (Rotated b)

sequence :: Monad m => Rotated (m a) -> m (Rotated a)

Arbitrary1 Rotated

Defined in Data.Char.Core

Methods

liftArbitrary :: Gen a -> Gen (Rotated a)

liftShrink :: (a -> [a]) -> Rotated a -> [Rotated a]

Eq1 Rotated

Defined in Data.Char.Core

Methods

liftEq :: (a -> b -> Bool) -> Rotated a -> Rotated b -> Bool

Ord1 Rotated

Defined in Data.Char.Core

Methods

liftCompare :: (a -> b -> Ordering) -> Rotated a -> Rotated b -> Ordering

NFData1 Rotated

Defined in Data.Char.Core

Methods

liftRnf :: (a -> ()) -> Rotated a -> ()

Hashable1 Rotated

Defined in Data.Char.Core

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Rotated a -> Int

Bounded a => Bounded (Rotated a)

Defined in Data.Char.Core

Methods

minBound :: Rotated a

maxBound :: Rotated a

Eq a => Eq (Rotated a)

Defined in Data.Char.Core

Methods

(==) :: Rotated a -> Rotated a -> Bool

(/=) :: Rotated a -> Rotated a -> Bool

Data a => Data (Rotated a)

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rotated a -> c (Rotated a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Rotated a)

toConstr :: Rotated a -> Constr

dataTypeOf :: Rotated a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Rotated a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Rotated a))

gmapT :: (forall b. Data b => b -> b) -> Rotated a -> Rotated a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rotated a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rotated a -> r

gmapQ :: (forall d. Data d => d -> u) -> Rotated a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Rotated a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rotated a -> m (Rotated a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rotated a -> m (Rotated a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rotated a -> m (Rotated a)

Ord a => Ord (Rotated a)

Defined in Data.Char.Core

Methods

compare :: Rotated a -> Rotated a -> Ordering

(<) :: Rotated a -> Rotated a -> Bool

(<=) :: Rotated a -> Rotated a -> Bool

(>) :: Rotated a -> Rotated a -> Bool

(>=) :: Rotated a -> Rotated a -> Bool

max :: Rotated a -> Rotated a -> Rotated a

min :: Rotated a -> Rotated a -> Rotated a

Read a => Read (Rotated a)

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS (Rotated a)

readList :: ReadS [Rotated a]

readPrec :: ReadPrec (Rotated a)

readListPrec :: ReadPrec [Rotated a]

Show a => Show (Rotated a)

Defined in Data.Char.Core

Methods

showsPrec :: Int -> Rotated a -> ShowS

show :: Rotated a -> String

showList :: [Rotated a] -> ShowS

Generic (Rotated a)

Defined in Data.Char.Core

Associated Types

type Rep (Rotated a) :: Type -> Type

Methods

from :: Rotated a -> Rep (Rotated a) x

to :: Rep (Rotated a) x -> Rotated a

Arbitrary a => Arbitrary (Rotated a)

Defined in Data.Char.Core

Methods

arbitrary :: Gen (Rotated a)

shrink :: Rotated a -> [Rotated a]

NFData a => NFData (Rotated a)

Defined in Data.Char.Core

Methods

rnf :: Rotated a -> ()

Hashable a => Hashable (Rotated a)

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> Rotated a -> Int

hash :: Rotated a -> Int

Generic1 Rotated

Defined in Data.Char.Core

Associated Types

type Rep1 Rotated :: k -> Type

Methods

from1 :: forall (a :: k). Rotated a -> Rep1 Rotated a

to1 :: forall (a :: k). Rep1 Rotated a -> Rotated a

type Rep (Rotated a)

Defined in Data.Char.Core

type Rep (Rotated a) = D1 ('MetaData "Rotated" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Rotated" 'PrefixI 'True) (S1 ('MetaSel ('Just "robject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rotate90)))

type Rep1 Rotated

Defined in Data.Char.Core

type Rep1 Rotated = D1 ('MetaData "Rotated" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Rotated" 'PrefixI 'True) (S1 ('MetaSel ('Just "robject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Just "rotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rotate90)))

Letter case

data LetterCase

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

Defined in Data.Char.Core

Methods

minBound :: LetterCase

maxBound :: LetterCase

Enum LetterCase

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

Defined in Data.Char.Core

Methods

(==) :: LetterCase -> LetterCase -> Bool

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

Data LetterCase

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LetterCase -> c LetterCase

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LetterCase

toConstr :: LetterCase -> Constr

dataTypeOf :: LetterCase -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LetterCase)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LetterCase)

gmapT :: (forall b. Data b => b -> b) -> LetterCase -> LetterCase

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LetterCase -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LetterCase -> r

gmapQ :: (forall d. Data d => d -> u) -> LetterCase -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LetterCase -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LetterCase -> m LetterCase

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LetterCase -> m LetterCase

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LetterCase -> m LetterCase

Ord LetterCase

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS LetterCase

readList :: ReadS [LetterCase]

readPrec :: ReadPrec LetterCase

readListPrec :: ReadPrec [LetterCase]

Show LetterCase

Defined in Data.Char.Core

Methods

showsPrec :: Int -> LetterCase -> ShowS

show :: LetterCase -> String

showList :: [LetterCase] -> ShowS

Generic LetterCase

Defined in Data.Char.Core

Associated Types

type Rep LetterCase :: Type -> Type

Methods

from :: LetterCase -> Rep LetterCase x

to :: Rep LetterCase x -> LetterCase

Arbitrary LetterCase

Defined in Data.Char.Core

Methods

arbitrary :: Gen LetterCase

shrink :: LetterCase -> [LetterCase]

Default LetterCase

Defined in Data.Char.Core

Methods

def :: LetterCase

NFData LetterCase

Defined in Data.Char.Core

Methods

rnf :: LetterCase -> ()

Hashable LetterCase

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> LetterCase -> Int

hash :: LetterCase -> Int

type Rep LetterCase

Defined in Data.Char.Core

type Rep LetterCase = D1 ('MetaData "LetterCase" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "UpperCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LowerCase" 'PrefixI 'False) (U1 :: Type -> Type))

splitLetterCase

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

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

Defined in Data.Char.Core

Methods

minBound :: Ligate

maxBound :: Ligate

Enum Ligate

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

Defined in Data.Char.Core

Methods

(==) :: Ligate -> Ligate -> Bool

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

Data Ligate

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ligate -> c Ligate

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ligate

toConstr :: Ligate -> Constr

dataTypeOf :: Ligate -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ligate)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ligate)

gmapT :: (forall b. Data b => b -> b) -> Ligate -> Ligate

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ligate -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ligate -> r

gmapQ :: (forall d. Data d => d -> u) -> Ligate -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ligate -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ligate -> m Ligate

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ligate -> m Ligate

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ligate -> m Ligate

Ord Ligate

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS Ligate

readList :: ReadS [Ligate]

readPrec :: ReadPrec Ligate

readListPrec :: ReadPrec [Ligate]

Show Ligate

Defined in Data.Char.Core

Methods

showsPrec :: Int -> Ligate -> ShowS

show :: Ligate -> String

showList :: [Ligate] -> ShowS

Generic Ligate

Defined in Data.Char.Core

Associated Types

type Rep Ligate :: Type -> Type

Methods

from :: Ligate -> Rep Ligate x

to :: Rep Ligate x -> Ligate

Arbitrary Ligate

Defined in Data.Char.Core

Methods

arbitrary :: Gen Ligate

shrink :: Ligate -> [Ligate]

Default Ligate

Defined in Data.Char.Core

Methods

def :: Ligate

NFData Ligate

Defined in Data.Char.Core

Methods

rnf :: Ligate -> ()

Hashable Ligate

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> Ligate -> Int

hash :: Ligate -> Int

type Rep Ligate

Defined in Data.Char.Core

type Rep Ligate = D1 ('MetaData "Ligate" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Ligate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoLigate" 'PrefixI 'False) (U1 :: Type -> Type))

splitLigate

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

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

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

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

Defined in Data.Char.Core

Methods

minBound :: Emphasis

maxBound :: Emphasis

Enum Emphasis

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

Defined in Data.Char.Core

Methods

(==) :: Emphasis -> Emphasis -> Bool

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

Data Emphasis

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Emphasis -> c Emphasis

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Emphasis

toConstr :: Emphasis -> Constr

dataTypeOf :: Emphasis -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Emphasis)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Emphasis)

gmapT :: (forall b. Data b => b -> b) -> Emphasis -> Emphasis

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Emphasis -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Emphasis -> r

gmapQ :: (forall d. Data d => d -> u) -> Emphasis -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Emphasis -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Emphasis -> m Emphasis

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Emphasis -> m Emphasis

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Emphasis -> m Emphasis

Ord Emphasis

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS Emphasis

readList :: ReadS [Emphasis]

readPrec :: ReadPrec Emphasis

readListPrec :: ReadPrec [Emphasis]

Show Emphasis

Defined in Data.Char.Core

Methods

showsPrec :: Int -> Emphasis -> ShowS

show :: Emphasis -> String

showList :: [Emphasis] -> ShowS

Generic Emphasis

Defined in Data.Char.Core

Associated Types

type Rep Emphasis :: Type -> Type

Methods

from :: Emphasis -> Rep Emphasis x

to :: Rep Emphasis x -> Emphasis

Arbitrary Emphasis

Defined in Data.Char.Core

Methods

arbitrary :: Gen Emphasis

shrink :: Emphasis -> [Emphasis]

Default Emphasis

Defined in Data.Char.Core

Methods

def :: Emphasis

NFData Emphasis

Defined in Data.Char.Core

Methods

rnf :: Emphasis -> ()

Hashable Emphasis

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> Emphasis -> Int

hash :: Emphasis -> Int

type Rep Emphasis

Defined in Data.Char.Core

type Rep Emphasis = D1 ('MetaData "Emphasis" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "NoBold" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bold" 'PrefixI 'False) (U1 :: Type -> Type))

splitEmphasis

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

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

Defined in Data.Char.Core

Methods

minBound :: ItalicType

maxBound :: ItalicType

Enum ItalicType

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

Defined in Data.Char.Core

Methods

(==) :: ItalicType -> ItalicType -> Bool

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

Data ItalicType

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ItalicType -> c ItalicType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ItalicType

toConstr :: ItalicType -> Constr

dataTypeOf :: ItalicType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ItalicType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ItalicType)

gmapT :: (forall b. Data b => b -> b) -> ItalicType -> ItalicType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ItalicType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ItalicType -> r

gmapQ :: (forall d. Data d => d -> u) -> ItalicType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ItalicType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ItalicType -> m ItalicType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ItalicType -> m ItalicType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ItalicType -> m ItalicType

Ord ItalicType

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS ItalicType

readList :: ReadS [ItalicType]

readPrec :: ReadPrec ItalicType

readListPrec :: ReadPrec [ItalicType]

Show ItalicType

Defined in Data.Char.Core

Methods

showsPrec :: Int -> ItalicType -> ShowS

show :: ItalicType -> String

showList :: [ItalicType] -> ShowS

Generic ItalicType

Defined in Data.Char.Core

Associated Types

type Rep ItalicType :: Type -> Type

Methods

from :: ItalicType -> Rep ItalicType x

to :: Rep ItalicType x -> ItalicType

Arbitrary ItalicType

Defined in Data.Char.Core

Methods

arbitrary :: Gen ItalicType

shrink :: ItalicType -> [ItalicType]

Default ItalicType

Defined in Data.Char.Core

Methods

def :: ItalicType

NFData ItalicType

Defined in Data.Char.Core

Methods

rnf :: ItalicType -> ()

Hashable ItalicType

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> ItalicType -> Int

hash :: ItalicType -> Int

type Rep ItalicType

Defined in Data.Char.Core

type Rep ItalicType = D1 ('MetaData "ItalicType" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "NoItalic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Italic" 'PrefixI 'False) (U1 :: Type -> Type))

splitItalicType

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

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

Defined in Data.Char.Core

Methods

minBound :: FontStyle

maxBound :: FontStyle

Enum FontStyle

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

Defined in Data.Char.Core

Methods

(==) :: FontStyle -> FontStyle -> Bool

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

Data FontStyle

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FontStyle -> c FontStyle

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FontStyle

toConstr :: FontStyle -> Constr

dataTypeOf :: FontStyle -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FontStyle)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FontStyle)

gmapT :: (forall b. Data b => b -> b) -> FontStyle -> FontStyle

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FontStyle -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FontStyle -> r

gmapQ :: (forall d. Data d => d -> u) -> FontStyle -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FontStyle -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FontStyle -> m FontStyle

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FontStyle -> m FontStyle

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FontStyle -> m FontStyle

Ord FontStyle

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS FontStyle

readList :: ReadS [FontStyle]

readPrec :: ReadPrec FontStyle

readListPrec :: ReadPrec [FontStyle]

Show FontStyle

Defined in Data.Char.Core

Methods

showsPrec :: Int -> FontStyle -> ShowS

show :: FontStyle -> String

showList :: [FontStyle] -> ShowS

Generic FontStyle

Defined in Data.Char.Core

Associated Types

type Rep FontStyle :: Type -> Type

Methods

from :: FontStyle -> Rep FontStyle x

to :: Rep FontStyle x -> FontStyle

Arbitrary FontStyle

Defined in Data.Char.Core

Methods

arbitrary :: Gen FontStyle

shrink :: FontStyle -> [FontStyle]

Default FontStyle

Defined in Data.Char.Core

Methods

def :: FontStyle

NFData FontStyle

Defined in Data.Char.Core

Methods

rnf :: FontStyle -> ()

Hashable FontStyle

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> FontStyle -> Int

hash :: FontStyle -> Int

type Rep FontStyle

Defined in Data.Char.Core

type Rep FontStyle = D1 ('MetaData "FontStyle" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "SansSerif" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Serif" 'PrefixI 'False) (U1 :: Type -> Type))

splitFontStyle

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

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

isAsciiAlpha :: Char -> Bool

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

isGreek :: Char -> Bool

Checks if a charcter is a basic greek alphabetic character or a Greek-like symbol. The characters ΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ∇ϴαβγδεζηθικλμνξοπρςστυφχψω∂ϵϑϰϕϱϖ satisfy this predicate.

isACharacter

Arguments

:: Char

The given Character to check.

-> Bool

True if the given Character 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

Arguments

:: Char

The given Character to check.

-> Bool

True if the given Character 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

Arguments

:: Char

The given Character to check.

-> Bool

True if the given Character is reserved; False otherwise.

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

isNotReserved

Arguments

:: Char

The given Character to check.

-> Bool

True if the given Character is not reserved; False otherwise.

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

Map characters from and to Enums

mapFromEnum

Arguments

:: Enum a

=> Int

The given offset value.

-> a

The given Enum value to convert to a Character.

-> Char

The character that corresponds to the given Enum object.

Map the given object with a type that is an instance of Enum to a Character with a given offset for the Character value.

mapToEnum

Arguments

:: Enum a

=> Int

The given offset value.

-> Char

The Character to map to an Enum object.

-> a

The given Enum object for the given Char.

Map the given Char object to an object with a type that is an instance of Enum with a given offset for the Character range.

mapToEnumSafe

Arguments

:: forall a. (Bounded a, Enum a)

=> Int

The given offset value.

-> Char

The given Character to map to an Enum object.

-> Maybe a

The given Enum object for the given Character wrapped in a Just if that exists; Nothing otherwise.

Map the given Char object to an object with a type that is an instance of Enum. It first checks if the mapping results in a value between the fromEnum values for minBound and maxBound.

liftNumberFrom

Arguments

:: Int

The given offset value.

-> Int

The maximum value that can be mapped.

-> Int

The given Unicode value used for the offset.

-> Int

The given number to convert, must be between the offset and the maximum.

-> Maybe Char

The corresponding Character wrapped in a Just if the number is between the offset and the maximum; Nothing otherwise.

Construct a function that maps digits to the character with the given value for the offset.

liftNumberFrom'

Arguments

:: Int

The given offset value.

-> Int

The given Unicode value used for the offset.

-> Int

The given number to convert to a corresponding Character.

-> Char

The corresponding Character for the given mapping function.

Construct a function that maps digits to the character with the given value for the offset.

liftNumber

Arguments

:: Int

The maximum value that can be mapped.

-> Int

The given Unicode value used for 0.

-> Int

The given digit to convert to a number between 0 and the maximum.

-> Maybe Char

The corresponding Character wrapped in a Just if the number is between 0 and 9; Nothing otherwise.

Construct a function that maps digits to the character with the given value for 0.

liftNumber'

Arguments

:: Int

The given Unicode value used for 0.

-> Int

The given digit to convert.

-> Char

The corresponding Character, for numbers outside the 0-9 range, the result is unspecified.

Construct a function that maps digits to characters with the given value for 0.

liftDigit

Arguments

:: Int

The given Unicode value used for 0.

-> Int

The given digit to convert to a number between 0 and 9.

-> Maybe Char

The corresponding Character wrapped in a Just if the number is between 0 and 9; Nothing otherwise.

Construct a function that maps digits to the character with the given value for 0.

liftDigit'

Arguments

:: Int

The given Unicode value used for 0.

-> Int

The given digit to convert, must be between 0 and 9.

-> Char

The corresponding Character, for numbers outside the 0-9 range, the result is unspecified.

Construct a function that maps digits to characters with the given value for 0.

liftUppercase

Arguments

:: Int

The given Unicode value for A.

-> Char

The given character to convert.

-> Maybe Char

The corresponding character wrapped in a Just if the given character is in the A-Z range; Nothing otherwise.

Construct a function that maps upper case alphabetic characters with the given value for A.

liftUppercase'

Arguments

:: Int

The given Unicode value for A.

-> Char

The given upper case alphabetic value to convert.

-> Char

The corresponding character, if the given value is outside the A-Z range, the result is unspecified.

Construct a function that maps upper case alphabetic characters with the given value for A.

liftLowercase

Arguments

:: Int

The given Unicode value for a.

-> Char

The given character to convert.

-> Maybe Char

The corresponding character wrapped in a Just if the given character is in the a-z range; Nothing otherwise.

Construct a function that maps lower case alphabetic characters with the given value for a.

liftLowercase'

Arguments

:: Int

The given Unicode value for a.

-> Char

The given upper case alphabetic value to convert.

-> Char

The corresponding character, if the given value is outside the a-z range, the result is unspecified.

Construct a function that maps lower case alphabetic characters with the given value for a.

liftUpperLowercase

Arguments

:: Int

The given Unicode value for A.

-> Int

The given Unicode value for a.

-> Char

The given character to convert.

-> Maybe Char

The corresponding character wrapped in a Just if the given character is in the A-Z,a-z range; Nothing otherwise.

Construct a function that maps lower case alphabetic characters with the given values for A and a.

liftUpperLowercase'

Arguments

:: Int

The given Unicode value for A.

-> Int

The given Unicode value for a.

-> Char

The given character to convert.

-> Char

The corresponding character if the given character is in the A-Z,a-z range; unspecified otherwise.

Construct a function that maps lower case alphabetic characters with the given values for A and a.

Convert objects from and to Unicode Characters

class UnicodeCharacter a where

A class from which objects can be derived that map to and from a single unicode character.

Minimal complete definition

toUnicodeChar, fromUnicodeChar

Methods

toUnicodeChar

Arguments

:: a

The given object to convert to a Character.

-> Char

The equivalent Unicode Character.

Convert the given object to a Unicode Character.

fromUnicodeChar

Arguments

:: Char

The given Character to convert to an element.

-> Maybe a

An element if the given Character maps to an element wrapped in a Just; Nothing otherwise.

Convert the given Character to an object wrapped in a Just data constructor if that exists; Nothing otherwise.

fromUnicodeChar'

Arguments

:: Char

The given Character to convert to an element.

-> a

The given element that is equivalent to the given Character.

Convert the given Character to an object. If the Character does not map on an element, the behavior is unspecified, it can for example result in an error.

Instances

UnicodeCharacter Char

Defined in Data.Char.Core

Methods

toUnicodeChar :: Char -> Char

fromUnicodeChar :: Char -> Maybe Char

fromUnicodeChar' :: Char -> Char

UnicodeCharacter CombiningCharacter

Defined in Data.Char.Combining

Methods

toUnicodeChar :: CombiningCharacter -> Char

fromUnicodeChar :: Char -> Maybe CombiningCharacter

fromUnicodeChar' :: Char -> CombiningCharacter

UnicodeCharacter CardSuit

Defined in Data.Char.Card

Methods

toUnicodeChar :: CardSuit -> Char

fromUnicodeChar :: Char -> Maybe CardSuit

fromUnicodeChar' :: Char -> CardSuit

UnicodeCharacter BallotBox

Defined in Data.Char.BallotBox

Methods

toUnicodeChar :: BallotBox -> Char

fromUnicodeChar :: Char -> Maybe BallotBox

fromUnicodeChar' :: Char -> BallotBox

UnicodeCharacter Currency

Defined in Data.Char.Currency

Methods

toUnicodeChar :: Currency -> Char

fromUnicodeChar :: Char -> Maybe Currency

fromUnicodeChar' :: Char -> Currency

UnicodeCharacter DieValue

Defined in Data.Char.Dice

Methods

toUnicodeChar :: DieValue -> Char

fromUnicodeChar :: Char -> Maybe DieValue

fromUnicodeChar' :: Char -> DieValue

UnicodeCharacter MoonPhase

Defined in Data.Char.Emoji

Methods

toUnicodeChar :: MoonPhase -> Char

fromUnicodeChar :: Char -> Maybe MoonPhase

fromUnicodeChar' :: Char -> MoonPhase

UnicodeCharacter Zodiac

Defined in Data.Char.Emoji

Methods

toUnicodeChar :: Zodiac -> Char

fromUnicodeChar :: Char -> Maybe Zodiac

fromUnicodeChar' :: Char -> Zodiac

UnicodeCharacter SkinColorModifier

Defined in Data.Char.Emoji

Methods

toUnicodeChar :: SkinColorModifier -> Char

fromUnicodeChar :: Char -> Maybe SkinColorModifier

fromUnicodeChar' :: Char -> SkinColorModifier

UnicodeCharacter Clock

Defined in Data.Char.Emoji

Methods

toUnicodeChar :: Clock -> Char

fromUnicodeChar :: Char -> Maybe Clock

fromUnicodeChar' :: Char -> Clock

UnicodeCharacter MayanLiteral

Defined in Data.Char.Number.Mayan

Methods

toUnicodeChar :: MayanLiteral -> Char

fromUnicodeChar :: Char -> Maybe MayanLiteral

fromUnicodeChar' :: Char -> MayanLiteral

UnicodeCharacter RomanLiteral

Defined in Data.Char.Number.Roman

Methods

toUnicodeChar :: RomanLiteral -> Char

fromUnicodeChar :: Char -> Maybe RomanLiteral

fromUnicodeChar' :: Char -> RomanLiteral

UnicodeCharacter Klingon

Defined in Data.Char.Private.Klingon

Methods

toUnicodeChar :: Klingon -> Char

fromUnicodeChar :: Char -> Maybe Klingon

fromUnicodeChar' :: Char -> Klingon

UnicodeCharacter (Oriented (Domino (Maybe DieValue)))

Defined in Data.Char.Domino

Methods

toUnicodeChar :: Oriented (Domino (Maybe DieValue)) -> Char

fromUnicodeChar :: Char -> Maybe (Oriented (Domino (Maybe DieValue)))

fromUnicodeChar' :: Char -> Oriented (Domino (Maybe DieValue))

UnicodeCharacter (Oriented (Domino DieValue))

Defined in Data.Char.Domino

Methods

toUnicodeChar :: Oriented (Domino DieValue) -> Char

fromUnicodeChar :: Char -> Maybe (Oriented (Domino DieValue))

fromUnicodeChar' :: Char -> Oriented (Domino DieValue)

UnicodeCharacter (Block Bool)

Defined in Data.Char.Block

Methods

toUnicodeChar :: Block Bool -> Char

fromUnicodeChar :: Char -> Maybe (Block Bool)

fromUnicodeChar' :: Char -> Block Bool

UnicodeCharacter (Braille Bool)

Defined in Data.Char.Braille

Methods

toUnicodeChar :: Braille Bool -> Char

fromUnicodeChar :: Char -> Maybe (Braille Bool)

fromUnicodeChar' :: Char -> Braille Bool

UnicodeCharacter (Braille6 Bool)

Defined in Data.Char.Braille

Methods

toUnicodeChar :: Braille6 Bool -> Char

fromUnicodeChar :: Char -> Maybe (Braille6 Bool)

fromUnicodeChar' :: Char -> Braille6 Bool

UnicodeCharacter (Parts Bool)

Defined in Data.Char.Frame

Methods

toUnicodeChar :: Parts Bool -> Char

fromUnicodeChar :: Char -> Maybe (Parts Bool)

fromUnicodeChar' :: Char -> Parts Bool

UnicodeCharacter (Parts Weight)

Defined in Data.Char.Frame

Methods

toUnicodeChar :: Parts Weight -> Char

fromUnicodeChar :: Char -> Maybe (Parts Weight)

fromUnicodeChar' :: Char -> Parts Weight

type UnicodeChar = UnicodeCharacter

An alias of the UnicodeCharacter type class.

class UnicodeText a where

A class from which boejcts can be derived that map to and from a sequence of unicode characters.

Minimal complete definition

Nothing

Methods

toUnicodeText

Arguments

:: a

The given object to convert to a Text object.

-> Text

A Text object that is the Unicode representation of the element.

Convert the given object to a Text object.

default toUnicodeText :: UnicodeCharacter a => a -> Text

fromUnicodeText

Arguments

:: Text

The given Text to convert to an object.

-> Maybe a

The equivalent object wrapped in a Just data constructor if it exists; Nothing otherwise.

Convert the given Text to an object wrapped in a Just data constructor if that exists; Nothing otherwise.

default fromUnicodeText :: UnicodeCharacter a => Text -> Maybe a

fromUnicodeText'

Arguments

:: Text

The given Text to convert to an object.

-> a

The given equivalent object. If there is no equivalent object, the behavior is unspecified.

Convert the given Text to an object. If the Text does not map on an element, the behavior is unspecified, it can for example result in an error.

Instances

UnicodeText Char

Defined in Data.Char.Core

Methods

toUnicodeText :: Char -> Text

fromUnicodeText :: Text -> Maybe Char

fromUnicodeText' :: Text -> Char

UnicodeText Text

Defined in Data.Char.Core

Methods

toUnicodeText :: Text -> Text

fromUnicodeText :: Text -> Maybe Text

fromUnicodeText' :: Text -> Text

UnicodeText CombiningCharacter

Defined in Data.Char.Combining

Methods

toUnicodeText :: CombiningCharacter -> Text

fromUnicodeText :: Text -> Maybe CombiningCharacter

fromUnicodeText' :: Text -> CombiningCharacter

UnicodeText CardSuit

Defined in Data.Char.Card

Methods

toUnicodeText :: CardSuit -> Text

fromUnicodeText :: Text -> Maybe CardSuit

fromUnicodeText' :: Text -> CardSuit

UnicodeText BallotBox

Defined in Data.Char.BallotBox

Methods

toUnicodeText :: BallotBox -> Text

fromUnicodeText :: Text -> Maybe BallotBox

fromUnicodeText' :: Text -> BallotBox

UnicodeText Currency

Defined in Data.Char.Currency

Methods

toUnicodeText :: Currency -> Text

fromUnicodeText :: Text -> Maybe Currency

fromUnicodeText' :: Text -> Currency

UnicodeText DieValue

Defined in Data.Char.Dice

Methods

toUnicodeText :: DieValue -> Text

fromUnicodeText :: Text -> Maybe DieValue

fromUnicodeText' :: Text -> DieValue

UnicodeText MoonPhase

Defined in Data.Char.Emoji

Methods

toUnicodeText :: MoonPhase -> Text

fromUnicodeText :: Text -> Maybe MoonPhase

fromUnicodeText' :: Text -> MoonPhase

UnicodeText Zodiac

Defined in Data.Char.Emoji

Methods

toUnicodeText :: Zodiac -> Text

fromUnicodeText :: Text -> Maybe Zodiac

fromUnicodeText' :: Text -> Zodiac

UnicodeText SkinColorModifier

Defined in Data.Char.Emoji

Methods

toUnicodeText :: SkinColorModifier -> Text

fromUnicodeText :: Text -> Maybe SkinColorModifier

fromUnicodeText' :: Text -> SkinColorModifier

UnicodeText Gender

Defined in Data.Char.Emoji

Methods

toUnicodeText :: Gender -> Text

fromUnicodeText :: Text -> Maybe Gender

fromUnicodeText' :: Text -> Gender

UnicodeText BloodType

Defined in Data.Char.Emoji

Methods

toUnicodeText :: BloodType -> Text

fromUnicodeText :: Text -> Maybe BloodType

fromUnicodeText' :: Text -> BloodType

UnicodeText Clock

Defined in Data.Char.Emoji

Methods

toUnicodeText :: Clock -> Text

fromUnicodeText :: Text -> Maybe Clock

fromUnicodeText' :: Text -> Clock

UnicodeText SubFlag

Defined in Data.Char.Emoji

Methods

toUnicodeText :: SubFlag -> Text

fromUnicodeText :: Text -> Maybe SubFlag

fromUnicodeText' :: Text -> SubFlag

UnicodeText Flag

Defined in Data.Char.Emoji

Methods

toUnicodeText :: Flag -> Text

fromUnicodeText :: Text -> Maybe Flag

fromUnicodeText' :: Text -> Flag

UnicodeText MayanLiteral

Defined in Data.Char.Number.Mayan

Methods

toUnicodeText :: MayanLiteral -> Text

fromUnicodeText :: Text -> Maybe MayanLiteral

fromUnicodeText' :: Text -> MayanLiteral

UnicodeText RomanLiteral

Defined in Data.Char.Number.Roman

Methods

toUnicodeText :: RomanLiteral -> Text

fromUnicodeText :: Text -> Maybe RomanLiteral

fromUnicodeText' :: Text -> RomanLiteral

UnicodeText Klingon

Defined in Data.Char.Private.Klingon

Methods

toUnicodeText :: Klingon -> Text

fromUnicodeText :: Text -> Maybe Klingon

fromUnicodeText' :: Text -> Klingon

UnicodeText [Char]

Defined in Data.Char.Core

Methods

toUnicodeText :: [Char] -> Text

fromUnicodeText :: Text -> Maybe [Char]

fromUnicodeText' :: Text -> [Char]

UnicodeText (Oriented (Domino (Maybe DieValue)))

Defined in Data.Char.Domino

Methods

toUnicodeText :: Oriented (Domino (Maybe DieValue)) -> Text

fromUnicodeText :: Text -> Maybe (Oriented (Domino (Maybe DieValue)))

fromUnicodeText' :: Text -> Oriented (Domino (Maybe DieValue))

UnicodeText (Oriented (Domino DieValue))

Defined in Data.Char.Domino

Methods

toUnicodeText :: Oriented (Domino DieValue) -> Text

fromUnicodeText :: Text -> Maybe (Oriented (Domino DieValue))

fromUnicodeText' :: Text -> Oriented (Domino DieValue)

UnicodeText (Block Bool)

Defined in Data.Char.Block

Methods

toUnicodeText :: Block Bool -> Text

fromUnicodeText :: Text -> Maybe (Block Bool)

fromUnicodeText' :: Text -> Block Bool

UnicodeText (Braille Bool)

Defined in Data.Char.Braille

Methods

toUnicodeText :: Braille Bool -> Text

fromUnicodeText :: Text -> Maybe (Braille Bool)

fromUnicodeText' :: Text -> Braille Bool

UnicodeText (Braille6 Bool)

Defined in Data.Char.Braille

Methods

toUnicodeText :: Braille6 Bool -> Text

fromUnicodeText :: Text -> Maybe (Braille6 Bool)

fromUnicodeText' :: Text -> Braille6 Bool

UnicodeText (Parts Bool)

Defined in Data.Char.Frame

Methods

toUnicodeText :: Parts Bool -> Text

fromUnicodeText :: Text -> Maybe (Parts Bool)

fromUnicodeText' :: Text -> Parts Bool

UnicodeText (Parts Weight)

Defined in Data.Char.Frame

Methods

toUnicodeText :: Parts Weight -> Text

fromUnicodeText :: Text -> Maybe (Parts Weight)

fromUnicodeText' :: Text -> Parts Weight

Mirroring items horizontally and/or vertically

class MirrorHorizontal a where

A type class that specifies that the items can be mirrored in the horizontal direction (such that up is now down).

Methods

mirrorHorizontal

Arguments

:: a

The given item to mirror horizontally.

-> a

The corresponding mirrored item.

Obtain the horizontally mirrored variant of the given item. Applying the same function twice should return the original object.

Instances

MirrorHorizontal (Block a)

Defined in Data.Char.Block

Methods

mirrorHorizontal :: Block a -> Block a

MirrorHorizontal (Braille a)

Defined in Data.Char.Braille

Methods

mirrorHorizontal :: Braille a -> Braille a

MirrorHorizontal (Braille6 a)

Defined in Data.Char.Braille

Methods

mirrorHorizontal :: Braille6 a -> Braille6 a

MirrorHorizontal (Parts a)

Defined in Data.Char.Frame

Methods

mirrorHorizontal :: Parts a -> Parts a

MirrorHorizontal (Vertical a)

Defined in Data.Char.Frame

Methods

mirrorHorizontal :: Vertical a -> Vertical a

class MirrorVertical a where

A type class that specifies that the items can be mirrored in the vertical direction (such that left is now right).

Methods

mirrorVertical

Arguments

:: a

The given item to mirror vertically.

-> a

The corresponding mirrored item.

Obtain the vertically mirrored variant of the given item. Applying the same function twice should return the original object.

Instances

MirrorVertical MoonPhase

Defined in Data.Char.Emoji

Methods

mirrorVertical :: MoonPhase -> MoonPhase

MirrorVertical (Block a)

Defined in Data.Char.Block

Methods

mirrorVertical :: Block a -> Block a

MirrorVertical (Row a)

Defined in Data.Char.Block

Methods

mirrorVertical :: Row a -> Row a

MirrorVertical (Braille a)

Defined in Data.Char.Braille

Methods

mirrorVertical :: Braille a -> Braille a

MirrorVertical (Braille6 a)

Defined in Data.Char.Braille

Methods

mirrorVertical :: Braille6 a -> Braille6 a

MirrorVertical (Parts a)

Defined in Data.Char.Frame

Methods

mirrorVertical :: Parts a -> Parts a

MirrorVertical (Horizontal a)

Defined in Data.Char.Frame

Methods

mirrorVertical :: Horizontal a -> Horizontal a

Ways to display numbers

data PlusStyle

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

Defined in Data.Char.Core

Methods

minBound :: PlusStyle

maxBound :: PlusStyle

Enum PlusStyle

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

Defined in Data.Char.Core

Methods

(==) :: PlusStyle -> PlusStyle -> Bool

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

Data PlusStyle

Defined in Data.Char.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PlusStyle -> c PlusStyle

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PlusStyle

toConstr :: PlusStyle -> Constr

dataTypeOf :: PlusStyle -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PlusStyle)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PlusStyle)

gmapT :: (forall b. Data b => b -> b) -> PlusStyle -> PlusStyle

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PlusStyle -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PlusStyle -> r

gmapQ :: (forall d. Data d => d -> u) -> PlusStyle -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PlusStyle -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PlusStyle -> m PlusStyle

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PlusStyle -> m PlusStyle

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PlusStyle -> m PlusStyle

Ord PlusStyle

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

Defined in Data.Char.Core

Methods

readsPrec :: Int -> ReadS PlusStyle

readList :: ReadS [PlusStyle]

readPrec :: ReadPrec PlusStyle

readListPrec :: ReadPrec [PlusStyle]

Show PlusStyle

Defined in Data.Char.Core

Methods

showsPrec :: Int -> PlusStyle -> ShowS

show :: PlusStyle -> String

showList :: [PlusStyle] -> ShowS

Generic PlusStyle

Defined in Data.Char.Core

Associated Types

type Rep PlusStyle :: Type -> Type

Methods

from :: PlusStyle -> Rep PlusStyle x

to :: Rep PlusStyle x -> PlusStyle

Arbitrary PlusStyle

Defined in Data.Char.Core

Methods

arbitrary :: Gen PlusStyle

shrink :: PlusStyle -> [PlusStyle]

Default PlusStyle

Defined in Data.Char.Core

Methods

def :: PlusStyle

NFData PlusStyle

Defined in Data.Char.Core

Methods

rnf :: PlusStyle -> ()

Hashable PlusStyle

Defined in Data.Char.Core

Methods

hashWithSalt :: Int -> PlusStyle -> Int

hash :: PlusStyle -> Int

type Rep PlusStyle

Defined in Data.Char.Core

type Rep PlusStyle = D1 ('MetaData "PlusStyle" "Data.Char.Core" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "WithoutPlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WithPlus" 'PrefixI 'False) (U1 :: Type -> Type))

splitPlusStyle

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

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

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

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

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.