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

Safe HaskellNone
LanguageHaskell98

HTk.Toolkit.MarkupText

Description

A simple markup language for convenient writing into an editor widget.

Synopsis

Documentation

data MarkupText Source #

The MarkupText datatype.

prose :: String -> MarkupText Source #

The markup prose combinator.

font :: FontDesignator f => f -> [MarkupText] -> MarkupText Source #

The markup font combinator.

newline :: MarkupText Source #

The markup newline combinator.

bold :: [MarkupText] -> MarkupText Source #

The markup bold combinator.

underline :: [MarkupText] -> MarkupText Source #

The markup underline combinator.

italics :: [MarkupText] -> MarkupText Source #

The markup italics combinator.

spaces :: Int -> MarkupText Source #

The markup space combinator (a number of space characters).

offset :: Int -> [MarkupText] -> MarkupText Source #

The markup baseline offset combinator.

colour :: ColourDesignator c => c -> [MarkupText] -> MarkupText Source #

The markup foreground colour combinator.

bgcolour :: ColourDesignator c => c -> [MarkupText] -> MarkupText Source #

The markup background colour combinator.

flipcolour :: ColourDesignator c => c -> c -> [MarkupText] -> MarkupText Source #

The markup flipcolour combinator (flips the colour when the mouse is over this text segment).

flipunderline :: [MarkupText] -> MarkupText Source #

The markup flipunderline combinator (underlines this text segment when the mouse is over this segment).

action :: IO () -> [MarkupText] -> MarkupText Source #

The markup action combinator (binds an action for mouse clicks on this text segment).

rangeaction :: Maybe (IO ()) -> Maybe (IO ()) -> [MarkupText] -> MarkupText Source #

The markup range action combinator (binds actions for entering and/or leaving this text segment with the mouse cursor).

clipup :: [MarkupText] -> [MarkupText] -> MarkupText Source #

The markup clipup combinator (clips up a text segment on a mouse click).

leftmargin :: Int -> [MarkupText] -> MarkupText Source #

The markup left margin combinator (normal left intend for a line).

wrapmargin :: Int -> [MarkupText] -> MarkupText Source #

The markup wrap margin combinator (intend for a part of a line that gets wrapped).

rightmargin :: Int -> [MarkupText] -> MarkupText Source #

The markup right margin combinator.

centered :: [MarkupText] -> MarkupText Source #

Center this part of the text

flushleft :: [MarkupText] -> MarkupText Source #

Flush this part of the against the left margin

href :: [MarkupText] -> [MarkupText] -> MarkupText Source #

The markup href combinator (a link to another markup text).

window :: Widget w => IO (w, IO ()) -> MarkupText Source #

window1 :: Widget w => (Editor -> IO (w, IO ())) -> MarkupText Source #

The markup window combinator (a widget container inside the editor widget).

alpha :: MarkupText Source #

Special character.

beta :: MarkupText Source #

Special character.

chi :: MarkupText Source #

Special character.

delta :: MarkupText Source #

Special character.

epsilon :: MarkupText Source #

Special character.

phi :: MarkupText Source #

Special character.

gamma :: MarkupText Source #

Special character.

eta :: MarkupText Source #

Special character.

varphi :: MarkupText Source #

Special character.

iota :: MarkupText Source #

Special character.

kappa :: MarkupText Source #

Special character.

lambda :: MarkupText Source #

Special character.

mu :: MarkupText Source #

Special character.

nu :: MarkupText Source #

Special character.

omikron :: MarkupText Source #

Special character.

pi :: MarkupText Source #

Special character.

theta :: MarkupText Source #

Special character.

vartheta :: MarkupText Source #

Special character.

rho :: MarkupText Source #

Special character.

sigma :: MarkupText Source #

Special character.

varsigma :: MarkupText Source #

Special character.

tau :: MarkupText Source #

Special character.

upsilon :: MarkupText Source #

Special character.

varpi :: MarkupText Source #

Special character.

omega :: MarkupText Source #

Special character.

xi :: MarkupText Source #

Special character.

psi :: MarkupText Source #

Special character.

zeta :: MarkupText Source #

Special character.

aalpha :: MarkupText Source #

Special character (uppercase).

bbeta :: MarkupText Source #

Special character (uppercase).

cchi :: MarkupText Source #

Special character (uppercase).

ddelta :: MarkupText Source #

Special character (uppercase).

eeps :: MarkupText Source #

Special character (uppercase).

pphi :: MarkupText Source #

Special character (uppercase).

ggamma :: MarkupText Source #

Special character (uppercase).

eeta :: MarkupText Source #

Special character (uppercase).

iiota :: MarkupText Source #

Special character (uppercase).

kkappa :: MarkupText Source #

Special character (uppercase).

llambda :: MarkupText Source #

Special character (uppercase).

mmu :: MarkupText Source #

Special character (uppercase).

nnu :: MarkupText Source #

Special character (uppercase).

oomikron :: MarkupText Source #

Special character (uppercase).

ppi :: MarkupText Source #

Special character (uppercase).

ttheta :: MarkupText Source #

Special character (uppercase).

rrho :: MarkupText Source #

Special character (uppercase).

ssigma :: MarkupText Source #

Special character (uppercase).

ttau :: MarkupText Source #

Special character (uppercase).

uupsilon :: MarkupText Source #

Special character (uppercase).

oomega :: MarkupText Source #

Special character (uppercase).

xxi :: MarkupText Source #

Special character (uppercase).

ppsi :: MarkupText Source #

Special character (uppercase).

zzeta :: MarkupText Source #

Special character (uppercase).

forallsmall :: MarkupText Source #

Special character.

exists :: MarkupText Source #

Special character.

forallbig :: MarkupText Source #

Special character.

eexists :: MarkupText Source #

Special character.

existsone :: MarkupText Source #

Special character.

not :: MarkupText Source #

Special character.

and :: MarkupText Source #

Special character.

bigand :: MarkupText Source #

Special character.

or :: MarkupText Source #

Special character.

times :: MarkupText Source #

Special character.

sum :: MarkupText Source #

Special character.

prod :: MarkupText Source #

Special character.

comp :: MarkupText Source #

Special character.

bullet :: MarkupText Source #

Special character.

tensor :: MarkupText Source #

Special character.

otimes :: MarkupText Source #

Special character.

oplus :: MarkupText Source #

Special character.

bot :: MarkupText Source #

Special character.

rightarrow :: MarkupText Source #

Special character.

rrightarrow :: MarkupText Source #

Special character.

longrightarrow :: MarkupText Source #

Special character.

llongrightarrow :: MarkupText Source #

Special character.

leftrightarrow :: MarkupText Source #

Special character.

lleftrightarrow :: MarkupText Source #

Special character.

ddownarrow :: MarkupText Source #

Special character.

uuparrow :: MarkupText Source #

Special character.

vline :: MarkupText Source #

Special character.

hline :: MarkupText Source #

Special character.

rbrace1 :: MarkupText Source #

Special character.

rbrace2 :: MarkupText Source #

Special character.

rbrace3 :: MarkupText Source #

Special character.

emptyset :: MarkupText Source #

Special character.

inset :: MarkupText Source #

Special character.

notin :: MarkupText Source #

Special character.

intersect :: MarkupText Source #

Special character.

union :: MarkupText Source #

Special character.

subset :: MarkupText Source #

Special character.

subseteq :: MarkupText Source #

Special character.

setminus :: MarkupText Source #

Special character.

powerset :: MarkupText Source #

Special character.

inf :: MarkupText Source #

Special character.

iintersect :: MarkupText Source #

Special character.

uunion :: MarkupText Source #

Special character.

equiv :: MarkupText Source #

Special character.

neq :: MarkupText Source #

Special character.

leq :: MarkupText Source #

Special character.

grteq :: MarkupText Source #

Special character.

lsem :: MarkupText Source #

Special character.

rsem :: MarkupText Source #

Special character.

dots :: MarkupText Source #

Special character.

copyright :: MarkupText Source #

Special character.

class HasMarkupText w where Source #

Widgets that can contain markup text instantiate the class HasMarkupText.

Minimal complete definition

new, insertAt, clear

Instances

HasMarkupText Editor Source #

An editor widget is a container for markup text.

HasMarkupText (Dialog a) Source #

The programm message is displayed as MarkupText