NCurses.Core.Attribute

Definitions

data Attribute : Type

  Attributes that can be given to text within an ncurses window.

Totality: total
Visibility: public export
Constructors:

Normal : Attribute

Underline : Attribute

Standout : Attribute

Reverse : Attribute

Blink : Attribute

Dim : Attribute

Bold : Attribute

Protected : Attribute

Invisible : Attribute

CP : ColorPair -> Attribute

Hints:

Eq Attribute

Show Attribute

nSetAttr : HasIO io => Attribute -> io ()

  Set an attribute to be applied in the standard window
  until it is cleared or overwritten.
  
  In ncurses terminology, "attrset"
  
  See @nSetAttr'@ for a version that works on
  any given window.

Totality: total
Visibility: export

nSetAttr' : HasIO io => Window -> Attribute -> io ()

  Set an attribute to be applied in the given window
  until it is cleared or overwritten.
  
  In ncurses terminology, "wattrset"

Totality: total
Visibility: export

nEnableAttr : HasIO io => Attribute -> io ()

  Set the given attribute in the standard window
  until it is set again. This has no impact
  on any other attributes that are set.
  
  In ncurses terminology, "attron"
  
  See @nEnableAttr'@ for a version that works on
  any given window.

Totality: total
Visibility: export

nEnableAttr' : HasIO io => Window -> Attribute -> io ()

  Set the given attribute in the given window
  until it is set again. This has no impact
  on any other attributes that are set.
  
  In ncurses terminology, "wattron"

Totality: total
Visibility: export

nDisableAttr : HasIO io => Attribute -> io ()

  Unset the given attribute in the standard window
  until it is set again. This has no impact
  on any other attributes that are set.
  
  In ncurses terminology, "attroff"
  
  See @nDisableAttr'@ for a version that works on
  any given window.

Totality: total
Visibility: export

nDisableAttr' : HasIO io => Window -> Attribute -> io ()

  Unset the given attribute in the given window
  until it is set again. This has no impact
  on any other attributes that are set.
  
  In ncurses terminology, "wattroff"

Totality: total
Visibility: export

nChangeAttrAt : HasIO io => Nat -> Nat -> Maybe Nat -> Attribute -> ColorPair -> io ()

  Change the attributes at the given position in the standard window.
  A len of Nothing means "the whole line."
  A color pair of @defaultColorPair@ offers a sane default.
  
  See @nChangeAttr'@ to change attributes in another window.

Totality: total
Visibility: export

nChangeAttr' : HasIO io => Window -> Maybe Nat -> Attribute -> ColorPair -> io ()

  Change the attributes in the given window for the next @len@ characters.
  A len of Nothing means "the whole line."
  A color pair of @defaultColorPair@ offers a sane default.

Totality: total
Visibility: export

nChangeAttrAt' : HasIO io => Window -> Nat -> Nat -> Maybe Nat -> Attribute -> ColorPair -> io ()

  Change the attributes at the given position in the given window.
  A len of Nothing means "the whole line."
  A color pair of @defaultColorPair@ offers a sane default.

Totality: total
Visibility: export

setBackground : HasIO io => ColorPair -> io ()

  Set the background color of the standard window.

Totality: total
Visibility: export

setBackground' : HasIO io => Window -> ColorPair -> io ()

  Set the background color of the given window.

Totality: total
Visibility: export