Data.Char.Block

Unicode has 2-by-2 blocks, this module aims to make it more convenient to render such blocks.

Datastructures to store the state of the frame.

data Row a

A data type that determines the state of the row in a block. it determines the left and the right part of the row of the block.

Constructors

Row

Fields

• left :: a

  The left part of a row of the block.

• right :: a

  The right part of the row of the block.

Instances

Functor Row

Defined in Data.Char.Block

Methods

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

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

Applicative Row

Defined in Data.Char.Block

Methods

pure :: a -> Row a

(<*>) :: Row (a -> b) -> Row a -> Row b

liftA2 :: (a -> b -> c) -> Row a -> Row b -> Row c

(*>) :: Row a -> Row b -> Row b

(<*) :: Row a -> Row b -> Row a

Foldable Row

Defined in Data.Char.Block

Methods

fold :: Monoid m => Row m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Row a -> a

foldl1 :: (a -> a -> a) -> Row a -> a

toList :: Row a -> [a]

null :: Row a -> Bool

length :: Row a -> Int

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

maximum :: Ord a => Row a -> a

minimum :: Ord a => Row a -> a

sum :: Num a => Row a -> a

product :: Num a => Row a -> a

Traversable Row

Defined in Data.Char.Block

Methods

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

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

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

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

Arbitrary1 Row

Defined in Data.Char.Block

Methods

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

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

Eq1 Row

Defined in Data.Char.Block

Methods

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

Ord1 Row

Defined in Data.Char.Block

Methods

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

NFData1 Row

Defined in Data.Char.Block

Methods

liftRnf :: (a -> ()) -> Row a -> ()

Hashable1 Row

Defined in Data.Char.Block

Methods

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

Bounded a => Bounded (Row a)

Defined in Data.Char.Block

Methods

minBound :: Row a

maxBound :: Row a

Eq a => Eq (Row a)

Defined in Data.Char.Block

Methods

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

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

Data a => Data (Row a)

Defined in Data.Char.Block

Methods

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

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

toConstr :: Row a -> Constr

dataTypeOf :: Row a -> DataType

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

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

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

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

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

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

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

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

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

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

Ord a => Ord (Row a)

Defined in Data.Char.Block

Methods

compare :: Row a -> Row a -> Ordering

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

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

(>) :: Row a -> Row a -> Bool

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

max :: Row a -> Row a -> Row a

min :: Row a -> Row a -> Row a

Read a => Read (Row a)

Defined in Data.Char.Block

Methods

readsPrec :: Int -> ReadS (Row a)

readList :: ReadS [Row a]

readPrec :: ReadPrec (Row a)

readListPrec :: ReadPrec [Row a]

Show a => Show (Row a)

Defined in Data.Char.Block

Methods

showsPrec :: Int -> Row a -> ShowS

show :: Row a -> String

showList :: [Row a] -> ShowS

Generic (Row a)

Defined in Data.Char.Block

Associated Types

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

Methods

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

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

Arbitrary a => Arbitrary (Row a)

Defined in Data.Char.Block

Methods

arbitrary :: Gen (Row a)

shrink :: Row a -> [Row a]

NFData a => NFData (Row a)

Defined in Data.Char.Block

Methods

rnf :: Row a -> ()

Hashable a => Hashable (Row a)

Defined in Data.Char.Block

Methods

hashWithSalt :: Int -> Row a -> Int

hash :: Row a -> Int

MirrorVertical (Row a)

Defined in Data.Char.Block

Methods

mirrorVertical :: Row a -> Row a

Generic1 Row

Defined in Data.Char.Block

Associated Types

type Rep1 Row :: k -> Type

Methods

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

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

type Rep (Row a)

Defined in Data.Char.Block

type Rep (Row a) = D1 ('MetaData "Row" "Data.Char.Block" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Row" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type Rep1 Row

Defined in Data.Char.Block

type Rep1 Row = D1 ('MetaData "Row" "Data.Char.Block" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Row" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

data Block a

A data type that determines the state of the four subparts of the block.

Constructors

Block

Fields

• upper :: Row a

  The upper part of the block.

• lower :: Row a

  The lower part of the block.

Instances

Functor Block

Defined in Data.Char.Block

Methods

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

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

Applicative Block

Defined in Data.Char.Block

Methods

pure :: a -> Block a

(<*>) :: Block (a -> b) -> Block a -> Block b

liftA2 :: (a -> b -> c) -> Block a -> Block b -> Block c

(*>) :: Block a -> Block b -> Block b

(<*) :: Block a -> Block b -> Block a

Foldable Block

Defined in Data.Char.Block

Methods

fold :: Monoid m => Block m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Block a -> a

foldl1 :: (a -> a -> a) -> Block a -> a

toList :: Block a -> [a]

null :: Block a -> Bool

length :: Block a -> Int

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

maximum :: Ord a => Block a -> a

minimum :: Ord a => Block a -> a

sum :: Num a => Block a -> a

product :: Num a => Block a -> a

Traversable Block

Defined in Data.Char.Block

Methods

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

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

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

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

Arbitrary1 Block

Defined in Data.Char.Block

Methods

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

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

Eq1 Block

Defined in Data.Char.Block

Methods

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

Ord1 Block

Defined in Data.Char.Block

Methods

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

NFData1 Block

Defined in Data.Char.Block

Methods

liftRnf :: (a -> ()) -> Block a -> ()

Hashable1 Block

Defined in Data.Char.Block

Methods

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

Bounded a => Bounded (Block a)

Defined in Data.Char.Block

Methods

minBound :: Block a

maxBound :: Block a

Eq a => Eq (Block a)

Defined in Data.Char.Block

Methods

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

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

Data a => Data (Block a)

Defined in Data.Char.Block

Methods

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

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

toConstr :: Block a -> Constr

dataTypeOf :: Block a -> DataType

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

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

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

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

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

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

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

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

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

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

Ord a => Ord (Block a)

Defined in Data.Char.Block

Methods

compare :: Block a -> Block a -> Ordering

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

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

(>) :: Block a -> Block a -> Bool

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

max :: Block a -> Block a -> Block a

min :: Block a -> Block a -> Block a

Read a => Read (Block a)

Defined in Data.Char.Block

Methods

readsPrec :: Int -> ReadS (Block a)

readList :: ReadS [Block a]

readPrec :: ReadPrec (Block a)

readListPrec :: ReadPrec [Block a]

Show a => Show (Block a)

Defined in Data.Char.Block

Methods

showsPrec :: Int -> Block a -> ShowS

show :: Block a -> String

showList :: [Block a] -> ShowS

Generic (Block a)

Defined in Data.Char.Block

Associated Types

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

Methods

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

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

Arbitrary a => Arbitrary (Block a)

Defined in Data.Char.Block

Methods

arbitrary :: Gen (Block a)

shrink :: Block a -> [Block a]

NFData a => NFData (Block a)

Defined in Data.Char.Block

Methods

rnf :: Block a -> ()

Hashable a => Hashable (Block a)

Defined in Data.Char.Block

Methods

hashWithSalt :: Int -> Block a -> Int

hash :: Block a -> Int

MirrorVertical (Block a)

Defined in Data.Char.Block

Methods

mirrorVertical :: Block a -> Block a

MirrorHorizontal (Block a)

Defined in Data.Char.Block

Methods

mirrorHorizontal :: Block a -> Block a

UnicodeText (Block Bool)

Defined in Data.Char.Block

Methods

toUnicodeText :: Block Bool -> Text

fromUnicodeText :: Text -> Maybe (Block Bool)

fromUnicodeText' :: Text -> Block Bool

UnicodeCharacter (Block Bool)

Defined in Data.Char.Block

Methods

toUnicodeChar :: Block Bool -> Char

fromUnicodeChar :: Char -> Maybe (Block Bool)

fromUnicodeChar' :: Char -> Block Bool

Generic1 Block

Defined in Data.Char.Block

Associated Types

type Rep1 Block :: k -> Type

Methods

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

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

type Rep (Block a)

Defined in Data.Char.Block

type Rep (Block a) = D1 ('MetaData "Block" "Data.Char.Block" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "upper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Row a)) :*: S1 ('MetaSel ('Just "lower") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Row a))))

type Rep1 Block

Defined in Data.Char.Block

type Rep1 Block = D1 ('MetaData "Block" "Data.Char.Block" "unicode-tricks-0.11.0.0-C7NrNgm5l6sAip6k96QRri" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "upper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Row) :*: S1 ('MetaSel ('Just "lower") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Row)))

A unicode character that is (partially) filled block.

filled

Arguments

:: Block Bool

The given Block of Bools to convert to a Character.

-> Char

The equivalent Unicode Character for the given Block of Bools.

Convert the given Block value to a block character in unicode. True means that part is filled, and False means the part is not filled.

Convert a Character to a (partially) filled block.

fromBlock

Arguments

:: Char

The given Character to convert to a Block of Bools.

-> Maybe (Block Bool)

Convert the given Character to a Block of Bools wrapped in a Just if it exists; Nothing otherwise.

fromBlock'

Arguments

:: Char

The given Character to convert to a Block of Bools.

-> Block Bool

The equivalent Block of Bools.

Convert the given Character to a Block of Bools if it exists; unspecified result otherwise.