This module provides a ''padding'' mechanism for adding padding to a widget on one or more sides.
- data Padded
- data Padding
- class Paddable a where
- (+++) :: Monoid a => a -> a -> a
- padded :: (MonadIO m, Show a) => Widget a -> Padding -> m (Widget Padded)
- withPadding :: (MonadIO m, Show a) => Padding -> Widget a -> m (Widget Padded)
- padNone :: Padding
- padLeft :: Int -> Padding
- padRight :: Int -> Padding
- padTop :: Int -> Padding
- padBottom :: Int -> Padding
- padLeftRight :: Int -> Padding
- padTopBottom :: Int -> Padding
- padAll :: Int -> Padding
Documentation
The class of types to which we can add padding.
padded :: (MonadIO m, Show a) => Widget a -> Padding -> m (Widget Padded)Source
Create a Padded
wrapper to add padding.
withPadding :: (MonadIO m, Show a) => Padding -> Widget a -> m (Widget Padded)Source
Monadic combinator to construct a Padded
wrapper.
padLeftRight :: Int -> PaddingSource
Padding constructor with padding on left and right in columns.
padTopBottom :: Int -> PaddingSource
Padding constructor with padding on top and bottom in rows.