This module provides visual borders to be placed between and
around widgets. Border widgets in this module use the active
Skin
in the RenderContext
.
- class HasBorderAttr a where
- setBorderAttribute :: MonadIO m => a -> Attr -> m ()
- data Bordered a
- data HBorder
- data VBorder
- vBorder :: MonadIO m => m (Widget VBorder)
- hBorder :: MonadIO m => m (Widget HBorder)
- bordered :: (MonadIO m, Show a) => Widget a -> m (Widget (Bordered a))
- withBorderAttribute :: (MonadIO m, HasBorderAttr a) => Attr -> a -> m a
- withHBorderLabel :: MonadIO m => String -> Widget HBorder -> m (Widget HBorder)
- withBorderedLabel :: MonadIO m => String -> Widget (Bordered a) -> m (Widget (Bordered a))
- setHBorderLabel :: MonadIO m => Widget HBorder -> String -> m ()
- setBorderedLabel :: MonadIO m => Widget (Bordered a) -> String -> m ()
Documentation
class HasBorderAttr a whereSource
The class of types with a border attribute, which differs from the |normal and focused attributes.
setBorderAttribute :: MonadIO m => a -> Attr -> m ()Source
Border Widget Constructors
vBorder :: MonadIO m => m (Widget VBorder)Source
Create a single-column vertical border using the specified attribute and character.
hBorder :: MonadIO m => m (Widget HBorder)Source
Create a single-row horizontal border using the specified attribute and character.
bordered :: (MonadIO m, Show a) => Widget a -> m (Widget (Bordered a))Source
Wrap a widget in a bordering box.
Setting Attributes and Labels
withBorderAttribute :: (MonadIO m, HasBorderAttr a) => Attr -> a -> m aSource