Safe Haskell	None
Language	Haskell2010

Brick.Themes

Description

Support for representing attribute themes and loading and saving theme customizations in INI-style files.

The file format is as follows: * Customization files are INI-style files with two sections, both optional: "default" and "other". * The "default" section specifies three optional fields: * "default.fg" - a color specification * "default.bg" - a color specification * "default.style" - a style specification * A color specification can be any of the values (no quotes) "black", "red", "green", "yellow", "blue", "magenta", "cyan", "white", "brightBlack", "brightRed", "brightGreen", "brightYellow", "brightBlue", "brightMagenta", "brightCyan", or "brightWhite". * A style specification can be either one of the following values (without quotes) or a comma-delimited list of one or more of the following values (e.g. "[bold,underline]") indicating that all of the specified styles be used. * "standout" * "underline" * "reverseVideo" * "blink" * "dim" * "bold" * The "other" section specifies for each attribute name in the theme the same "fg", "bg", and "style" settings as for the default attribute. Furthermore, if an attribute name has multiple components, the fields in the INI file should use periods as delimiters. For example, if a theme has an attribute name ("foo" <> "bar"), then the file may specify three fields: * "foo.bar.fg" - a color specification * "foo.bar.bg" - a color specification * "foo.bar.style" - a style specification

Any color or style specifications omitted from the file mean that those attribute or style settings will use the theme's default value instead.

Attribute names with multiple components (e.g. attr1 <> attr2) can be referenced in customization files by separating the names with a dot. For example, the attribute name "list" <> "selected" can be referenced by using the string "list.selected".

Synopsis

Documentation

data CustomAttr Source #

An attribute customization can specify which aspects of an attribute to customize.

Constructors

CustomAttr
Fields customFg :: Maybe (MaybeDefault Color) The customized foreground, if any. customBg :: Maybe (MaybeDefault Color) The customized background, if any. customStyle :: Maybe Style The customized style, if any.

Instances

Eq CustomAttr Source #
Methods (==) :: CustomAttr -> CustomAttr -> Bool # (/=) :: CustomAttr -> CustomAttr -> Bool #
Read CustomAttr Source #
Methods readsPrec :: Int -> ReadS CustomAttr # readList :: ReadS [CustomAttr] # readPrec :: ReadPrec CustomAttr # readListPrec :: ReadPrec [CustomAttr] #
Show CustomAttr Source #
Methods showsPrec :: Int -> CustomAttr -> ShowS # show :: CustomAttr -> String # showList :: [CustomAttr] -> ShowS #
Generic CustomAttr Source #
Associated Types type Rep CustomAttr :: * -> * # Methods from :: CustomAttr -> Rep CustomAttr x # to :: Rep CustomAttr x -> CustomAttr #
Monoid CustomAttr Source #
Methods mempty :: CustomAttr # mappend :: CustomAttr -> CustomAttr -> CustomAttr # mconcat :: [CustomAttr] -> CustomAttr #
type Rep CustomAttr Source #
type Rep CustomAttr = D1 (MetaData "CustomAttr" "Brick.Themes" "brick-0.29.1-75AWHe6WPvoHnduD72sGgP" False) (C1 (MetaCons "CustomAttr" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "customFg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MaybeDefault Color)))) ((::) (S1 (MetaSel (Just Symbol "customBg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (MaybeDefault Color)))) (S1 (MetaSel (Just Symbol "customStyle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Style))))))

customFgL :: Lens' CustomAttr (Maybe (MaybeDefault Color)) Source #

customBgL :: Lens' CustomAttr (Maybe (MaybeDefault Color)) Source #

customStyleL :: Lens' CustomAttr (Maybe Style) Source #

data Theme Source #

A theme provides a set of default attribute mappings, a default attribute, and a set of customizations for the default mapping and default attribute. The idea here is that the application will always need to provide a complete specification of its attribute mapping, but if the user wants to customize any aspect of that default mapping, it can be contained here and then built into an AttrMap (see themeToAttrMap). We keep the defaults separate from customizations to permit users to serialize themes and their customizations to, say, disk files.

Constructors

Theme

Fields

themeDefaultAttr :: Attr
The default attribute to use.
themeDefaultMapping :: Map AttrName Attr
The default attribute mapping to use.
themeCustomDefaultAttr :: Maybe CustomAttr
Customization for the theme's default attribute.
themeCustomMapping :: Map AttrName CustomAttr
Customizations for individual entries of the default mapping. Note that this will only affect entries in the default mapping; any attributes named here that are not present in the default mapping will not be considered.

Instances

Eq Theme Source #
Methods (==) :: Theme -> Theme -> Bool # (/=) :: Theme -> Theme -> Bool #
Read Theme Source #
Methods readsPrec :: Int -> ReadS Theme # readList :: ReadS [Theme] # readPrec :: ReadPrec Theme # readListPrec :: ReadPrec [Theme] #
Show Theme Source #
Methods showsPrec :: Int -> Theme -> ShowS # show :: Theme -> String # showList :: [Theme] -> ShowS #
Generic Theme Source #
Associated Types type Rep Theme :: * -> * # Methods from :: Theme -> Rep Theme x # to :: Rep Theme x -> Theme #
type Rep Theme Source #
type Rep Theme = D1 (MetaData "Theme" "Brick.Themes" "brick-0.29.1-75AWHe6WPvoHnduD72sGgP" False) (C1 (MetaCons "Theme" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "themeDefaultAttr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Just Symbol "themeDefaultMapping") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map AttrName Attr)))) ((:*:) (S1 (MetaSel (Just Symbol "themeCustomDefaultAttr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe CustomAttr))) (S1 (MetaSel (Just Symbol "themeCustomMapping") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map AttrName CustomAttr))))))

newTheme :: Attr -> [(AttrName, Attr)] -> Theme Source #

Create a new theme with the specified default attribute and attribute mapping. The theme will have no customizations.

themeDefaultAttrL :: Lens' Theme Attr Source #

themeDefaultMappingL :: Lens' Theme (Map AttrName Attr) Source #

themeCustomMappingL :: Lens' Theme (Map AttrName CustomAttr) Source #

themeCustomDefaultAttrL :: Lens' Theme (Maybe CustomAttr) Source #

data ThemeDocumentation Source #

Documentation for a theme's attributes.

Constructors

ThemeDocumentation
Fields themeDescriptions :: Map AttrName Text The per-attribute documentation for a theme so e.g. documentation for theme customization can be generated mechanically.

Instances

Eq ThemeDocumentation Source #
Methods (==) :: ThemeDocumentation -> ThemeDocumentation -> Bool # (/=) :: ThemeDocumentation -> ThemeDocumentation -> Bool #
Read ThemeDocumentation Source #
Methods readsPrec :: Int -> ReadS ThemeDocumentation # readList :: ReadS [ThemeDocumentation] # readPrec :: ReadPrec ThemeDocumentation # readListPrec :: ReadPrec [ThemeDocumentation] #
Show ThemeDocumentation Source #
Methods showsPrec :: Int -> ThemeDocumentation -> ShowS # show :: ThemeDocumentation -> String # showList :: [ThemeDocumentation] -> ShowS #
Generic ThemeDocumentation Source #
Associated Types type Rep ThemeDocumentation :: * -> * # Methods from :: ThemeDocumentation -> Rep ThemeDocumentation x # to :: Rep ThemeDocumentation x -> ThemeDocumentation #
type Rep ThemeDocumentation Source #
type Rep ThemeDocumentation = D1 (MetaData "ThemeDocumentation" "Brick.Themes" "brick-0.29.1-75AWHe6WPvoHnduD72sGgP" False) (C1 (MetaCons "ThemeDocumentation" PrefixI True) (S1 (MetaSel (Just Symbol "themeDescriptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map AttrName Text))))

themeDescriptionsL :: Lens' ThemeDocumentation (Map AttrName Text) Source #

themeToAttrMap :: Theme -> AttrMap Source #

Build an AttrMap from a Theme. This applies all customizations in the returned AttrMap.

applyCustomizations Source #

Arguments

:: Maybe CustomAttr	An optional customization for the theme's default attribute.
-> (AttrName -> Maybe CustomAttr)	A function to obtain a customization for the specified attribute.
-> Theme	The theme to customize.
-> Theme

Apply customizations using a custom lookup function. Customizations are obtained for each attribute name in the theme. Any customizations already set are lost.

loadCustomizations :: FilePath -> Theme -> IO (Either String Theme) Source #

Load an INI file containing theme customizations. Use the specified theme to determine which customizations to load. Return the specified theme with customizations set. See the module documentation for the theme file format.

saveCustomizations :: FilePath -> Theme -> IO () Source #

Save an INI file containing theme customizations. Use the specified theme to determine which customizations to save. See the module documentation for the theme file format.

saveTheme :: FilePath -> Theme -> IO () Source #

Save an INI file containing all attributes from the specified theme. Customized attributes are saved, but if an attribute is not customized, its default is saved instead. The file can later be re-loaded as a customization file.