Safe Haskell	Safe-Inferred
Language	Haskell98

Data.Char.Block

Documentation

data Row a Source #

Constructors

Row
Fields left, right :: a

Instances

Instances details

Functor Row Source #
Instance details Defined in Data.Char.Block Methods fmap :: (a -> b) -> Row a -> Row b # (<$) :: a -> Row b -> Row a #
Applicative Row Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Data.Char.Block Methods (==) :: Row a -> Row a -> Bool # (/=) :: Row a -> Row a -> Bool #
Show a => Show (Row a) Source #
Instance details Defined in Data.Char.Block Methods showsPrec :: Int -> Row a -> ShowS # show :: Row a -> String # showList :: [Row a] -> ShowS #

data Block a Source #

Constructors

Block
Fields upper, lower :: Row a

Instances

Instances details

Functor Block Source #
Instance details Defined in Data.Char.Block Methods fmap :: (a -> b) -> Block a -> Block b # (<$) :: a -> Block b -> Block a #
Applicative Block Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Data.Char.Block Methods (==) :: Block a -> Block a -> Bool # (/=) :: Block a -> Block a -> Bool #
Show a => Show (Block a) Source #
Instance details Defined in Data.Char.Block Methods showsPrec :: Int -> Block a -> ShowS # show :: Block a -> String # showList :: [Block a] -> ShowS #

filled :: Block Bool -> Char Source #