| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
HTk.Toolkit.MarkupText
Description
A simple markup language for convenient writing into an editor widget.
- data MarkupText
- prose :: String -> MarkupText
- font :: FontDesignator f => f -> [MarkupText] -> MarkupText
- newline :: MarkupText
- bold :: [MarkupText] -> MarkupText
- underline :: [MarkupText] -> MarkupText
- italics :: [MarkupText] -> MarkupText
- spaces :: Int -> MarkupText
- offset :: Int -> [MarkupText] -> MarkupText
- colour :: ColourDesignator c => c -> [MarkupText] -> MarkupText
- bgcolour :: ColourDesignator c => c -> [MarkupText] -> MarkupText
- flipcolour :: ColourDesignator c => c -> c -> [MarkupText] -> MarkupText
- flipunderline :: [MarkupText] -> MarkupText
- action :: IO () -> [MarkupText] -> MarkupText
- rangeaction :: Maybe (IO ()) -> Maybe (IO ()) -> [MarkupText] -> MarkupText
- clipup :: [MarkupText] -> [MarkupText] -> MarkupText
- leftmargin :: Int -> [MarkupText] -> MarkupText
- wrapmargin :: Int -> [MarkupText] -> MarkupText
- rightmargin :: Int -> [MarkupText] -> MarkupText
- centered :: [MarkupText] -> MarkupText
- flushright :: [MarkupText] -> MarkupText
- flushleft :: [MarkupText] -> MarkupText
- href :: [MarkupText] -> [MarkupText] -> MarkupText
- window :: Widget w => IO (w, IO ()) -> MarkupText
- window1 :: Widget w => (Editor -> IO (w, IO ())) -> MarkupText
- alpha :: MarkupText
- beta :: MarkupText
- chi :: MarkupText
- delta :: MarkupText
- epsilon :: MarkupText
- phi :: MarkupText
- gamma :: MarkupText
- eta :: MarkupText
- varphi :: MarkupText
- iota :: MarkupText
- kappa :: MarkupText
- lambda :: MarkupText
- mu :: MarkupText
- nu :: MarkupText
- omikron :: MarkupText
- pi :: MarkupText
- theta :: MarkupText
- vartheta :: MarkupText
- rho :: MarkupText
- sigma :: MarkupText
- varsigma :: MarkupText
- tau :: MarkupText
- upsilon :: MarkupText
- varpi :: MarkupText
- omega :: MarkupText
- xi :: MarkupText
- psi :: MarkupText
- zeta :: MarkupText
- aalpha :: MarkupText
- bbeta :: MarkupText
- cchi :: MarkupText
- ddelta :: MarkupText
- eeps :: MarkupText
- pphi :: MarkupText
- ggamma :: MarkupText
- eeta :: MarkupText
- iiota :: MarkupText
- kkappa :: MarkupText
- llambda :: MarkupText
- mmu :: MarkupText
- nnu :: MarkupText
- oomikron :: MarkupText
- ppi :: MarkupText
- ttheta :: MarkupText
- rrho :: MarkupText
- ssigma :: MarkupText
- ttau :: MarkupText
- uupsilon :: MarkupText
- oomega :: MarkupText
- xxi :: MarkupText
- ppsi :: MarkupText
- zzeta :: MarkupText
- forallsmall :: MarkupText
- exists :: MarkupText
- forallbig :: MarkupText
- eexists :: MarkupText
- existsone :: MarkupText
- not :: MarkupText
- and :: MarkupText
- bigand :: MarkupText
- or :: MarkupText
- times :: MarkupText
- sum :: MarkupText
- prod :: MarkupText
- comp :: MarkupText
- bullet :: MarkupText
- tensor :: MarkupText
- otimes :: MarkupText
- oplus :: MarkupText
- bot :: MarkupText
- rightarrow :: MarkupText
- rrightarrow :: MarkupText
- longrightarrow :: MarkupText
- llongrightarrow :: MarkupText
- leftrightarrow :: MarkupText
- lleftrightarrow :: MarkupText
- ddownarrow :: MarkupText
- uuparrow :: MarkupText
- vline :: MarkupText
- hline :: MarkupText
- rbrace1 :: MarkupText
- rbrace2 :: MarkupText
- rbrace3 :: MarkupText
- emptyset :: MarkupText
- inset :: MarkupText
- notin :: MarkupText
- intersect :: MarkupText
- union :: MarkupText
- subset :: MarkupText
- subseteq :: MarkupText
- setminus :: MarkupText
- powerset :: MarkupText
- inf :: MarkupText
- iintersect :: MarkupText
- uunion :: MarkupText
- equiv :: MarkupText
- neq :: MarkupText
- leq :: MarkupText
- grteq :: MarkupText
- lsem :: MarkupText
- rsem :: MarkupText
- dots :: MarkupText
- copyright :: MarkupText
- class HasMarkupText w where
- new :: [MarkupText] -> w -> IO w
- insertAt :: [MarkupText] -> Position -> Config w
- clear :: Config w
- scrollMarkupText :: Size -> [MarkupText] -> MarkupText
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.
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
flushright :: [MarkupText] -> MarkupText Source
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).
window1 :: Widget w => (Editor -> IO (w, IO ())) -> MarkupText Source
The markup window combinator (a widget container inside the editor widget).
Special character.
beta :: MarkupText Source
Special character.
chi :: MarkupText Source
Special character.
Special character.
Special character.
phi :: MarkupText Source
Special character.
Special character.
eta :: MarkupText Source
Special character.
Special character.
iota :: MarkupText Source
Special character.
Special character.
Special character.
mu :: MarkupText Source
Special character.
nu :: MarkupText Source
Special character.
Special character.
pi :: MarkupText Source
Special character.
Special character.
Special character.
rho :: MarkupText Source
Special character.
Special character.
Special character.
tau :: MarkupText Source
Special character.
Special character.
Special character.
Special character.
xi :: MarkupText Source
Special character.
psi :: MarkupText Source
Special character.
zeta :: MarkupText Source
Special character.
Special character (uppercase).
Special character (uppercase).
cchi :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
eeps :: MarkupText Source
Special character (uppercase).
pphi :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
eeta :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
mmu :: MarkupText Source
Special character (uppercase).
nnu :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
ppi :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
rrho :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
ttau :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
xxi :: MarkupText Source
Special character (uppercase).
ppsi :: MarkupText Source
Special character (uppercase).
Special character (uppercase).
forallsmall :: MarkupText Source
Special character.
Special character.
forallbig :: MarkupText Source
Special character.
Special character.
existsone :: MarkupText Source
Special character.
not :: MarkupText Source
Special character.
and :: MarkupText Source
Special character.
Special character.
or :: MarkupText Source
Special character.
Special character.
sum :: MarkupText Source
Special character.
prod :: MarkupText Source
Special character.
comp :: MarkupText Source
Special character.
Special character.
Special character.
Special character.
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.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
intersect :: MarkupText Source
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
inf :: MarkupText Source
Special character.
iintersect :: MarkupText Source
Special character.
Special character.
Special character.
neq :: MarkupText Source
Special character.
leq :: MarkupText Source
Special character.
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.
Methods
new :: [MarkupText] -> w -> IO w Source
insertAt :: [MarkupText] -> Position -> Config w Source
Instances
| HasMarkupText Editor | An editor widget is a container for markup text. |
| HasMarkupText (Dialog a) | The programm message is displayed as |
scrollMarkupText :: Size -> [MarkupText] -> MarkupText Source