Vgrep.Environment.Config

Types

data Config

Constructors

Config

Fields

• _colors :: Colors

  Color configuration

• _tabstop :: Int

  Tabstop width (default: 8)

• _editor :: String

  Executable for e key (default: environment variable $EDITOR, or vi if $EDITOR is not set)

Instances

Eq Config

Methods

(==) :: Config -> Config -> Bool

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

Show Config

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

data Colors

Constructors

Colors

Fields

• _lineNumbers :: Attr

  Line numbers (default: blue)

• _lineNumbersHl :: Attr

  Highlighted line numbers (default: bold blue)

• _normal :: Attr

  Normal text (default: terminal default)

• _normalHl :: Attr

  Highlighted text (default: bold)

• _fileHeaders :: Attr

  File names in results view (default: terminal default color on green background)

• _selected :: Attr

  Selected entry (default: terminal default, inverted)

Instances

Eq Colors

Methods

(==) :: Colors -> Colors -> Bool

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

Show Colors

Methods

showsPrec :: Int -> Colors -> ShowS

show :: Colors -> String

showList :: [Colors] -> ShowS

Auto-generated Lenses

tabstop :: Lens' Config Int

editor :: Lens' Config String

colors :: Lens' Config Colors

selected :: Lens' Colors Attr

normalHl :: Lens' Colors Attr

normal :: Lens' Colors Attr

lineNumbersHl :: Lens' Colors Attr

lineNumbers :: Lens' Colors Attr

fileHeaders :: Lens' Colors Attr

Default Config

defaultConfig :: Config

withConfiguredEditor :: Config -> IO Config