Data.Char.Block

Documentation

data Row a

Constructors

Row

Fields

• left, right :: a

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

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)

Eq a => Eq (Row a)

Defined in Data.Char.Block

Methods

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

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

Show a => Show (Row a)

Defined in Data.Char.Block

Methods

showsPrec :: Int -> Row a -> ShowS

show :: Row a -> String

showList :: [Row a] -> ShowS

data Block a

Constructors

Block

Fields

• upper, lower :: Row a

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

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)

Eq a => Eq (Block a)

Defined in Data.Char.Block

Methods

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

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

Show a => Show (Block a)

Defined in Data.Char.Block

Methods

showsPrec :: Int -> Block a -> ShowS

show :: Block a -> String

showList :: [Block a] -> ShowS

filled :: Block Bool -> Char