This module exports basic types and classes on index positions, e.g. inside an editor or entry widget.
Documentation
The EndOfText
datatype - a handle indexing the last
position inside the concerned widget.
Eq EndOfText | |
Read EndOfText | Internal. |
Show EndOfText | Internal. |
GUIValue EndOfText | Internal. |
HasIndex Editor EndOfText BaseIndex | The |
HasIndex (Entry a) EndOfText BaseIndex | The |
HasIndex (ListBox a) EndOfText Int | The |
class HasIndex w i b whereSource
Internal.
getBaseIndex :: w -> i -> IO bSource
HasIndex Editor BaseIndex BaseIndex | A base index is a valid index for an editor widget. |
HasIndex Editor Pixels BaseIndex | A position in pixels is a valid index for an editor widget. |
HasIndex Editor EndOfText BaseIndex | The |
HasIndex Editor MousePosition BaseIndex | Internal. |
HasIndex Editor Mark BaseIndex | Internal. |
HasIndex Editor EmbeddedTextWin BaseIndex | Internal. |
HasIndex Editor i BaseIndex => HasIndex Editor i (Distance, Distance) | Internal. |
HasIndex Editor (ICursor Editor) BaseIndex | Internal. |
HasIndex Editor (Selection Editor) BaseIndex | Internal. |
HasIndex Editor i BaseIndex => HasIndex Editor (i, IndexModifier) BaseIndex | A pair of a valid index and an index modifier is a valid index for an editor widget. |
HasIndex Editor i BaseIndex => HasIndex Editor (i, [IndexModifier]) BaseIndex | A pair of a valid index and a list of index modifiers is a valid index for an editor widget. |
HasIndex Editor (Distance, Distance) BaseIndex | A pair of line and character is a valid index for an editor widget. |
HasIndex Editor (TextTag, Last) BaseIndex | Internal. |
HasIndex Editor (TextTag, First) BaseIndex | Internal. |
HasIndex (Entry a) i BaseIndex => HasIndex (Entry a) i Int | Internal. |
HasIndex (Entry a) XCoord BaseIndex | An |
HasIndex (Entry a) EndOfText BaseIndex | The |
HasIndex (Entry a) BaseIndex BaseIndex | A base index is a valid index position for an entry widget. |
HasIndex (Entry a) Int BaseIndex | An integer value is a valid index position for an entry widget. |
HasIndex (ListBox a) Pixels Int | A position in pixels is a valid index position inside an editor widget. |
HasIndex (ListBox a) EndOfText Int | The |
HasIndex (ListBox a) Int Int | An integer value is a valid index position inside a listbox widget. |
(Eq a, GUIValue a, GUIValue [a]) => HasIndex (ListBox a) Int (ListBoxElem a) | Internal. |
HasIndex (Entry a) (ICursor (Entry a)) BaseIndex | The entries insertion cursor is a valid index for an entry widget. |
(Eq a, GUIValue a) => HasIndex (ListBox [a]) (ListBoxElem a) Int | A listbox element is a valid index position inside an editor widget. |
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex | The selection end is a valid index position for an entry widget. |
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex | The selection start is a valid index position for an entry widget. |
The BaseIndex
datatype - an index handle specified by
an index number, an index position (line, char) or an index text (see
text marks).
Read BaseIndex | Internal. |
Show BaseIndex | Internal. |
GUIValue BaseIndex | Internal. |
HasIndex Editor BaseIndex BaseIndex | A base index is a valid index for an editor widget. |
HasIndex Editor Pixels BaseIndex | A position in pixels is a valid index for an editor widget. |
HasIndex Editor EndOfText BaseIndex | The |
HasIndex Editor MousePosition BaseIndex | Internal. |
HasIndex Editor Mark BaseIndex | Internal. |
HasIndex Editor EmbeddedTextWin BaseIndex | Internal. |
HasIndex Editor (ICursor Editor) BaseIndex | Internal. |
HasIndex Editor (Selection Editor) BaseIndex | Internal. |
HasIndex Editor i BaseIndex => HasIndex Editor (i, IndexModifier) BaseIndex | A pair of a valid index and an index modifier is a valid index for an editor widget. |
HasIndex Editor i BaseIndex => HasIndex Editor (i, [IndexModifier]) BaseIndex | A pair of a valid index and a list of index modifiers is a valid index for an editor widget. |
HasIndex Editor (Distance, Distance) BaseIndex | A pair of line and character is a valid index for an editor widget. |
HasIndex Editor (TextTag, Last) BaseIndex | Internal. |
HasIndex Editor (TextTag, First) BaseIndex | Internal. |
HasIndex (Entry a) XCoord BaseIndex | An |
HasIndex (Entry a) EndOfText BaseIndex | The |
HasIndex (Entry a) BaseIndex BaseIndex | A base index is a valid index position for an entry widget. |
HasIndex (Entry a) Int BaseIndex | An integer value is a valid index position for an entry widget. |
HasIndex (Entry a) (ICursor (Entry a)) BaseIndex | The entries insertion cursor is a valid index for an entry widget. |
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex | The selection end is a valid index position for an entry widget. |
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex | The selection start is a valid index position for an entry widget. |
The Pixels
datatype - a handle indexing a position inside
a widget with its coordinates.
The First
datatype - a handle indexing the first entry
e.g. inside a listbox.