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 -> MarkupTextSource
The markup prose combinator.
font :: FontDesignator f => f -> [MarkupText] -> MarkupTextSource
The markup font combinator.
The markup newline combinator.
bold :: [MarkupText] -> MarkupTextSource
The markup bold combinator.
underline :: [MarkupText] -> MarkupTextSource
The markup underline combinator.
italics :: [MarkupText] -> MarkupTextSource
The markup italics combinator.
spaces :: Int -> MarkupTextSource
The markup space combinator (a number of space characters).
offset :: Int -> [MarkupText] -> MarkupTextSource
The markup baseline offset combinator.
colour :: ColourDesignator c => c -> [MarkupText] -> MarkupTextSource
The markup foreground colour combinator.
bgcolour :: ColourDesignator c => c -> [MarkupText] -> MarkupTextSource
The markup background colour combinator.
flipcolour :: ColourDesignator c => c -> c -> [MarkupText] -> MarkupTextSource
The markup flipcolour combinator (flips the colour when the mouse is over this text segment).
flipunderline :: [MarkupText] -> MarkupTextSource
The markup flipunderline combinator (underlines this text segment when the mouse is over this segment).
action :: IO () -> [MarkupText] -> MarkupTextSource
The markup action combinator (binds an action for mouse clicks on this text segment).
rangeaction :: Maybe (IO ()) -> Maybe (IO ()) -> [MarkupText] -> MarkupTextSource
The markup range action combinator (binds actions for entering and/or leaving this text segment with the mouse cursor).
clipup :: [MarkupText] -> [MarkupText] -> MarkupTextSource
The markup clipup combinator (clips up a text segment on a mouse click).
leftmargin :: Int -> [MarkupText] -> MarkupTextSource
The markup left margin combinator (normal left intend for a line).
wrapmargin :: Int -> [MarkupText] -> MarkupTextSource
The markup wrap margin combinator (intend for a part of a line that gets wrapped).
rightmargin :: Int -> [MarkupText] -> MarkupTextSource
The markup right margin combinator.
centered :: [MarkupText] -> MarkupTextSource
Center this part of the text
flushright :: [MarkupText] -> MarkupTextSource
flushleft :: [MarkupText] -> MarkupTextSource
Flush this part of the against the left margin
href :: [MarkupText] -> [MarkupText] -> MarkupTextSource
The markup href combinator (a link to another markup text).
window1 :: Widget w => (Editor -> IO (w, IO ())) -> MarkupTextSource
The markup window combinator (a widget container inside the editor widget).
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
Special character (uppercase).
forallsmall :: MarkupTextSource
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
rightarrow :: MarkupTextSource
Special character.
rrightarrow :: MarkupTextSource
Special character.
longrightarrow :: MarkupTextSource
Special character.
llongrightarrow :: MarkupTextSource
Special character.
leftrightarrow :: MarkupTextSource
Special character.
lleftrightarrow :: MarkupTextSource
Special character.
ddownarrow :: MarkupTextSource
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
iintersect :: MarkupTextSource
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
Special character.
class HasMarkupText w whereSource
Widgets that can contain markup text instantiate the
class HasMarkupText.
Instances
| HasMarkupText Editor | An editor widget is a container for markup text. |
| HasMarkupText (Dialog a) | The programm message is displayed as |
scrollMarkupText :: Size -> [MarkupText] -> MarkupTextSource