uni-htk-2.2.1.1: Graphical User Interface for Haskell Programs

HTk.Components.Index

Description

This module exports basic types and classes on index positions, e.g. inside an editor or entry widget.

Synopsis

Documentation

data EndOfText Source

The EndOfText datatype - a handle indexing the last position inside the concerned widget.

Constructors

EndOfText 

Instances

Eq EndOfText 
Read EndOfText

Internal.

Show EndOfText

Internal.

GUIValue EndOfText

Internal.

HasIndex Editor EndOfText BaseIndex

The EndOfText index is a valid index for an editor widget.

HasIndex (Entry a) EndOfText BaseIndex

The EndOfText index is a valid index position for an entry widget.

HasIndex (ListBox a) EndOfText Int

The EndOfText index is a valid index position inside a listbox widget.

class HasIndex w i b whereSource

Internal.

Methods

getBaseIndex :: w -> i -> IO bSource

Instances

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 EndOfText index is a valid index for an editor widget.

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 XCoord is a valid index for an entry widget.

HasIndex (Entry a) EndOfText BaseIndex

The EndOfText index is a valid index position for an entry widget.

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 EndOfText index is a valid index position inside a listbox widget.

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.

data BaseIndex Source

The BaseIndex datatype - an index handle specified by an index number, an index position (line, char) or an index text (see text marks).

Constructors

IndexNo Int

entries, listboxes

IndexPos Position

text widgets

IndexText String

listboxes, end etc.

Instances

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 EndOfText index is a valid index for an editor widget.

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 XCoord is a valid index for an entry widget.

HasIndex (Entry a) EndOfText BaseIndex

The EndOfText index is a valid index position for an entry widget.

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.

data Pixels Source

The Pixels datatype - a handle indexing a position inside a widget with its coordinates.

Constructors

Pixels Distance Distance 

Instances

Show Pixels

Internal.

HasIndex Editor Pixels BaseIndex

A position in pixels is a valid index for an editor widget.

HasIndex (ListBox a) Pixels Int

A position in pixels is a valid index position inside an editor widget.

data First Source

The First datatype - a handle indexing the first entry e.g. inside a listbox.

Constructors

First 

Instances

Show First

Internal.

HasIndex Editor (TextTag, First) BaseIndex

Internal.

HasIndex (Entry a) (Selection (Entry a), First) BaseIndex

The selection start is a valid index position for an entry widget.

data Last Source

The Last datatype - a handle indexing the last entry e.g. inside a listbox.

Constructors

Last 

Instances

Show Last

Internal.

HasIndex Editor (TextTag, Last) BaseIndex

Internal.

HasIndex (Entry a) (Selection (Entry a), Last) BaseIndex

The selection end is a valid index position for an entry widget.