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

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

Arbitrary Orientation

Defined in Data.Char.Core

Methods

arbitrary :: Gen Orientation

shrink :: Orientation -> [Orientation]

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

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

Arbitrary Rotate90

Defined in Data.Char.Core

Methods

arbitrary :: Gen Rotate90

shrink :: Rotate90 -> [Rotate90]

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

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]

Eq a => Eq (Oriented a)

Defined in Data.Char.Core

Methods

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

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

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

Arbitrary a => Arbitrary (Oriented a)

Defined in Data.Char.Core

Methods

arbitrary :: Gen (Oriented a)

shrink :: Oriented a -> [Oriented a]

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.

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

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

Arbitrary Ligate

Defined in Data.Char.Core

Methods

arbitrary :: Gen Ligate

shrink :: Ligate -> [Ligate]

Default Ligate

Defined in Data.Char.Core

Methods

def :: 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.