Safe Haskell | None |
---|---|
Language | Haskell98 |
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
- 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.
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
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).
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
.
HasMarkupText Editor Source # | An editor widget is a container for markup text. |
HasMarkupText (Dialog a) Source # | The programm message is displayed as |
scrollMarkupText :: Size -> [MarkupText] -> MarkupText Source #