Graphics.Vty.Widgets.Padding

This module provides a ''padding'' mechanism for adding padding to a widget on one or more sides.

Documentation

data Padded

Instances

Show Padded

data Padding

The type of padding on widgets.

Instances

Show Padding

Monoid Padding

Paddable Padding

class Paddable a where

The class of types to which we can add padding.

Methods

pad :: a -> Padding -> a

Instances

Paddable Padding

Paddable ColumnSpec

Paddable TableCell

(+++) :: Monoid a => a -> a -> a

padded :: (MonadIO m, Show a) => Widget a -> Padding -> m (Widget Padded)

Create a Padded wrapper to add padding.

withPadding :: (MonadIO m, Show a) => Padding -> Widget a -> m (Widget Padded)

Monadic combinator to construct a Padded wrapper.

padNone :: Padding

Padding constructor with no padding.

padLeft :: Int -> Padding

Padding constructor with left padding in columns.

padRight :: Int -> Padding

Padding constructor with right padding in columns.

padTop :: Int -> Padding

Padding constructor with top padding in rows.

padBottom :: Int -> Padding

Padding constructor with bottom padding in rows.

padLeftRight :: Int -> Padding

Padding constructor with padding on left and right in columns.

padTopBottom :: Int -> Padding

Padding constructor with padding on top and bottom in rows.

padAll :: Int -> Padding

Padding constructor with padding on all sides in rows and columns.