Safe Haskell | None |
---|---|
Language | Haskell98 |
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 Source # | |
Read EndOfText Source # | Internal. |
Show EndOfText Source # | Internal. |
GUIValue EndOfText Source # | Internal. |
HasIndex Editor EndOfText BaseIndex Source # | The |
HasIndex (ListBox a) EndOfText Int Source # | The |
HasIndex (Entry a) EndOfText BaseIndex Source # | The |
class HasIndex w i b where Source #
Internal.
getBaseIndex :: w -> i -> IO b Source #
HasIndex Editor BaseIndex BaseIndex Source # | A base index is a valid index for an editor widget. |
HasIndex Editor Pixels BaseIndex Source # | A position in pixels is a valid index for an editor widget. |
HasIndex Editor EndOfText BaseIndex Source # | The |
HasIndex Editor EmbeddedTextWin BaseIndex Source # | Internal. |
HasIndex Editor Mark BaseIndex Source # | Internal. |
HasIndex Editor i BaseIndex => HasIndex Editor i (Distance, Distance) Source # | Internal. |
HasIndex Editor i BaseIndex => HasIndex Editor (i, IndexModifier) BaseIndex Source # | 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 Source # | 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 Source # | A pair of line and character is a valid index for an editor widget. |
HasIndex Editor (TextTag, Last) BaseIndex Source # | Internal. |
HasIndex Editor (TextTag, First) BaseIndex Source # | Internal. |
HasIndex (ListBox a) Pixels Int Source # | A position in pixels is a valid index position inside an editor widget. |
HasIndex (ListBox a) EndOfText Int Source # | The |
HasIndex (ListBox a) Int Int Source # | An integer value is a valid index position inside a listbox widget. |
HasIndex (Entry a) i BaseIndex => HasIndex (Entry a) i Int Source # | Internal. |
HasIndex (Entry a) XCoord BaseIndex Source # | An |
HasIndex (Entry a) EndOfText BaseIndex Source # | The |
HasIndex (Entry a) BaseIndex BaseIndex Source # | A base index is a valid index position for an entry widget. |
HasIndex (Entry a) Int BaseIndex Source # | An integer value is a valid index position for an entry widget. |
(Eq a, GUIValue a, GUIValue [a]) => HasIndex (ListBox a) Int (ListBoxElem a) Source # | Internal. |
(Eq a, GUIValue a) => HasIndex (ListBox [a]) (ListBoxElem a) Int Source # | A listbox element is a valid index position inside an editor widget. |
HasIndex (Entry a) (ICursor (Entry a)) BaseIndex Source # | The entries insertion cursor is a valid index for an entry widget. |
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex Source # | The selection end is a valid index position for an entry widget. |
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex Source # | 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 Source # | Internal. |
Show BaseIndex Source # | Internal. |
GUIValue BaseIndex Source # | Internal. |
HasIndex Editor BaseIndex BaseIndex Source # | A base index is a valid index for an editor widget. |
HasIndex Editor Pixels BaseIndex Source # | A position in pixels is a valid index for an editor widget. |
HasIndex Editor EndOfText BaseIndex Source # | The |
HasIndex Editor EmbeddedTextWin BaseIndex Source # | Internal. |
HasIndex Editor Mark BaseIndex Source # | Internal. |
HasIndex Editor i BaseIndex => HasIndex Editor (i, IndexModifier) BaseIndex Source # | 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 Source # | 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 Source # | A pair of line and character is a valid index for an editor widget. |
HasIndex Editor (TextTag, Last) BaseIndex Source # | Internal. |
HasIndex Editor (TextTag, First) BaseIndex Source # | Internal. |
HasIndex (Entry a) XCoord BaseIndex Source # | An |
HasIndex (Entry a) EndOfText BaseIndex Source # | The |
HasIndex (Entry a) BaseIndex BaseIndex Source # | A base index is a valid index position for an entry widget. |
HasIndex (Entry a) Int BaseIndex Source # | An integer value is a valid index position for an entry widget. |
HasIndex (Entry a) (ICursor (Entry a)) BaseIndex Source # | The entries insertion cursor is a valid index for an entry widget. |
HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex Source # | The selection end is a valid index position for an entry widget. |
HasIndex (Entry a) (Selection (Entry a), First) BaseIndex Source # | 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.
The Last
datatype - a handle indexing the last entry
e.g. inside a listbox.