Brick.AttrMap

This module provides types and functions for managing an attribute map which maps attribute names (AttrName) to attributes (Attr). This module is designed to be used with the OverloadedStrings language extension to permit easy construction of AttrName values and you should also use mappend (<>) to combine names.

Attribute maps work by mapping hierarchical attribute names to attributes and inheriting parent names' attributes when child names specify partial attributes. Hierarchical names are created with mappend:

let n = attrName "parent" <> attrName "child"

Attribute names are mapped to attributes, but some attributes may be partial (specify only a foreground or background color). When attribute name lookups occur, the attribute corresponding to a more specific name ('parent <> child' as above) is sucessively merged with the parent attribute (parent as above) all the way to the "root" of the attribute map, the map's default attribute. In this way, more specific attributes inherit what they don't specify from more general attributes in the same hierarchy. This allows more modularity and less repetition in specifying how elements of your user interface take on different attributes.

Documentation

data AttrMap

An attribute map which maps AttrName values to Attr values.

Instances

Show AttrMap

Defined in Brick.AttrMap

Methods

showsPrec :: Int -> AttrMap -> ShowS

show :: AttrMap -> String

showList :: [AttrMap] -> ShowS

Generic AttrMap

Defined in Brick.AttrMap

Associated Types

type Rep AttrMap :: Type -> Type

Methods

from :: AttrMap -> Rep AttrMap x

to :: Rep AttrMap x -> AttrMap

NFData AttrMap

Defined in Brick.AttrMap

Methods

rnf :: AttrMap -> ()

type Rep AttrMap

Defined in Brick.AttrMap

type Rep AttrMap = D1 (MetaData "AttrMap" "Brick.AttrMap" "brick-0.55-KRDJiN19DmfljlWWqaHz9" False) (C1 (MetaCons "AttrMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map AttrName Attr))) :+: C1 (MetaCons "ForceAttr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)))

data AttrName

An attribute name. Attribute names are hierarchical; use mappend (<>) to assemble them. Hierarchy in an attribute name is used to represent increasing levels of specificity in referring to the attribute you want to use for a visual element, with names to the left being general and names to the right being more specific. For example:

"window" <> "border"
"window" <> "title"
"header" <> "clock" <> "seconds"

Instances

Eq AttrName

Defined in Brick.AttrMap

Methods

(==) :: AttrName -> AttrName -> Bool

(/=) :: AttrName -> AttrName -> Bool

Ord AttrName

Defined in Brick.AttrMap

Methods

compare :: AttrName -> AttrName -> Ordering

(<) :: AttrName -> AttrName -> Bool

(<=) :: AttrName -> AttrName -> Bool

(>) :: AttrName -> AttrName -> Bool

(>=) :: AttrName -> AttrName -> Bool

max :: AttrName -> AttrName -> AttrName

min :: AttrName -> AttrName -> AttrName

Read AttrName

Defined in Brick.AttrMap

Methods

readsPrec :: Int -> ReadS AttrName

readList :: ReadS [AttrName]

readPrec :: ReadPrec AttrName

readListPrec :: ReadPrec [AttrName]

Show AttrName

Defined in Brick.AttrMap

Methods

showsPrec :: Int -> AttrName -> ShowS

show :: AttrName -> String

showList :: [AttrName] -> ShowS

IsString AttrName

Defined in Brick.AttrMap

Methods

fromString :: String -> AttrName

Generic AttrName

Defined in Brick.AttrMap

Associated Types

type Rep AttrName :: Type -> Type

Methods

from :: AttrName -> Rep AttrName x

to :: Rep AttrName x -> AttrName

Semigroup AttrName

Defined in Brick.AttrMap

Methods

(<>) :: AttrName -> AttrName -> AttrName

sconcat :: NonEmpty AttrName -> AttrName

stimes :: Integral b => b -> AttrName -> AttrName

Monoid AttrName

Defined in Brick.AttrMap

Methods

mempty :: AttrName

mappend :: AttrName -> AttrName -> AttrName

mconcat :: [AttrName] -> AttrName

NFData AttrName

Defined in Brick.AttrMap

Methods

rnf :: AttrName -> ()

GetAttr AttrName

Defined in Brick.Markup

Methods

getAttr :: AttrName -> RenderM n Attr

type Rep AttrName

Defined in Brick.AttrMap

type Rep AttrName = D1 (MetaData "AttrName" "Brick.AttrMap" "brick-0.55-KRDJiN19DmfljlWWqaHz9" False) (C1 (MetaCons "AttrName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])))

Construction

attrMap

Arguments

:: Attr

The map's default attribute to be returned when a name lookup fails, and the attribute that will be merged with successful lookups.

-> [(AttrName, Attr)]

The map's initial contents.

-> AttrMap

Create an attribute map.

forceAttrMap :: Attr -> AttrMap

Create an attribute map in which all lookups map to the same attribute.

attrName :: String -> AttrName

Create an attribute name from a string.

Inspection

attrNameComponents :: AttrName -> [String]

Get the components of an attribute name.

Finding attributes from names

attrMapLookup :: AttrName -> AttrMap -> Attr

Look up the specified attribute name in the map. Map lookups proceed as follows. If the attribute map is forcing all lookups to a specific attribute, that attribute is returned along with its style settings. If the attribute name is empty, the map's default attribute is returned. If the attribute name is non-empty, every subsequence of names from the specified name are used to perform a lookup and the results are combined as in mergeWithDefault, with more specific results taking precedence over less specific ones. As attributes are merged, styles are also merged. If a more specific attribute name introduces a style (underline, say) and a less specific attribute name introduces an additional style (bold, say) then the final result will include both styles.

For example:

attrMapLookup ("foo" <> "bar") (attrMap a []) == a
attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo" <> "bar", fg red)]) == red `on` blue
attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo" <> "bar", red on cyan)]) == red `on` cyan
attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo" <> "bar", fg red), ("foo", bg cyan)]) == red `on` cyan
attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo", fg red)]) == red `on` blue

Manipulating attribute maps

setDefaultAttr :: Attr -> AttrMap -> AttrMap

Set the default attribute value in an attribute map.

getDefaultAttr :: AttrMap -> Attr

Get the default attribute value in an attribute map.

applyAttrMappings :: [(AttrName, Attr)] -> AttrMap -> AttrMap

Insert a set of attribute mappings to an attribute map.

mergeWithDefault :: Attr -> AttrMap -> Attr

Given an attribute and a map, merge the attribute with the map's default attribute. If the map is forcing all lookups to a specific attribute, the forced attribute is returned without merging it with the one specified here. Otherwise the attribute given here is merged with the attribute map's default attribute in that any aspect of the specified attribute that is not provided falls back to the map default. For example,

mergeWithDefault (fg blue) $ attrMap (bg red) []

returns

blue `on` red

mapAttrName :: AttrName -> AttrName -> AttrMap -> AttrMap

Update an attribute map such that a lookup of ontoName returns the attribute value specified by fromName. This is useful for composite widgets with specific attribute names mapping those names to the sub-widget's expected name when calling that sub-widget's rendering function. See the ProgressBarDemo for an example usage, and overrideAttr for an alternate syntax.

mapAttrNames :: [(AttrName, AttrName)] -> AttrMap -> AttrMap

Map several attributes to return the value associated with an alternate name. Applies mapAttrName across a list of mappings.