Source codeContentsIndex
MarkupText
Description
A simple markup language for convenient writing into an editor widget.
Synopsis
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
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
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
Documentation
data MarkupText
The MarkupText datatype.
prose :: String -> MarkupText
The markup prose combinator.
font :: (FontDesignator f) => f -> [MarkupText] -> MarkupText
The markup font combinator.
newline :: MarkupText
The markup newline combinator.
bold :: [MarkupText] -> MarkupText
The markup bold combinator.
underline :: [MarkupText] -> MarkupText
The markup underline combinator.
italics :: [MarkupText] -> MarkupText
The markup italics combinator.
spaces :: Int -> MarkupText
The markup space combinator (a number of space characters).
offset :: Int -> [MarkupText] -> MarkupText
The markup baseline offset combinator.
colour :: (ColourDesignator c) => c -> [MarkupText] -> MarkupText
The markup foreground colour combinator.
bgcolour :: (ColourDesignator c) => c -> [MarkupText] -> MarkupText
The markup background colour combinator.
flipcolour :: (ColourDesignator c) => c -> c -> [MarkupText] -> MarkupText
The markup flipcolour combinator (flips the colour when the mouse is over this text segment).
flipunderline :: [MarkupText] -> MarkupText
The markup flipunderline combinator (underlines this text segment when the mouse is over this segment).
action :: IO () -> [MarkupText] -> MarkupText
The markup action combinator (binds an action for mouse clicks on this text segment).
rangeaction :: Maybe (IO ()) -> Maybe (IO ()) -> [MarkupText] -> MarkupText
The markup range action combinator (binds actions for entering and/or leaving this text segment with the mouse cursor).
clipup :: [MarkupText] -> [MarkupText] -> MarkupText
The markup clipup combinator (clips up a text segment on a mouse click).
leftmargin :: Int -> [MarkupText] -> MarkupText
The markup left margin combinator (normal left intend for a line).
wrapmargin :: Int -> [MarkupText] -> MarkupText
The markup wrap margin combinator (intend for a part of a line that gets wrapped).
rightmargin :: Int -> [MarkupText] -> MarkupText
The markup right margin combinator.
centered :: [MarkupText] -> MarkupText
Center this part of the text
flushright :: [MarkupText] -> MarkupText
flushleft :: [MarkupText] -> MarkupText
Flush this part of the against the left margin
href :: [MarkupText] -> [MarkupText] -> MarkupText
The markup href combinator (a link to another markup text).
window :: (Widget w) => IO (w, IO ()) -> MarkupText
The markup window combinator (a widget container inside the editor widget).
alpha :: MarkupText
Special character.
beta :: MarkupText
Special character.
chi :: MarkupText
Special character.
delta :: MarkupText
Special character.
epsilon :: MarkupText
Special character.
phi :: MarkupText
Special character.
gamma :: MarkupText
Special character.
eta :: MarkupText
Special character.
varphi :: MarkupText
Special character.
iota :: MarkupText
Special character.
kappa :: MarkupText
Special character.
lambda :: MarkupText
Special character.
mu :: MarkupText
Special character.
nu :: MarkupText
Special character.
omikron :: MarkupText
Special character.
pi :: MarkupText
Special character.
theta :: MarkupText
Special character.
vartheta :: MarkupText
Special character.
rho :: MarkupText
Special character.
sigma :: MarkupText
Special character.
varsigma :: MarkupText
Special character.
tau :: MarkupText
Special character.
upsilon :: MarkupText
Special character.
varpi :: MarkupText
Special character.
omega :: MarkupText
Special character.
xi :: MarkupText
Special character.
psi :: MarkupText
Special character.
zeta :: MarkupText
Special character.
aalpha :: MarkupText
Special character (uppercase).
bbeta :: MarkupText
Special character (uppercase).
cchi :: MarkupText
Special character (uppercase).
ddelta :: MarkupText
Special character (uppercase).
eeps :: MarkupText
Special character (uppercase).
pphi :: MarkupText
Special character (uppercase).
ggamma :: MarkupText
Special character (uppercase).
eeta :: MarkupText
Special character (uppercase).
iiota :: MarkupText
Special character (uppercase).
kkappa :: MarkupText
Special character (uppercase).
llambda :: MarkupText
Special character (uppercase).
mmu :: MarkupText
Special character (uppercase).
nnu :: MarkupText
Special character (uppercase).
oomikron :: MarkupText
Special character (uppercase).
ppi :: MarkupText
Special character (uppercase).
ttheta :: MarkupText
Special character (uppercase).
rrho :: MarkupText
Special character (uppercase).
ssigma :: MarkupText
Special character (uppercase).
ttau :: MarkupText
Special character (uppercase).
uupsilon :: MarkupText
Special character (uppercase).
oomega :: MarkupText
Special character (uppercase).
xxi :: MarkupText
Special character (uppercase).
ppsi :: MarkupText
Special character (uppercase).
zzeta :: MarkupText
Special character (uppercase).
forallsmall :: MarkupText
Special character.
exists :: MarkupText
Special character.
forallbig :: MarkupText
Special character.
eexists :: MarkupText
Special character.
existsone :: MarkupText
Special character.
not :: MarkupText
Special character.
and :: MarkupText
Special character.
or :: MarkupText
Special character.
times :: MarkupText
Special character.
sum :: MarkupText
Special character.
prod :: MarkupText
Special character.
comp :: MarkupText
Special character.
bullet :: MarkupText
Special character.
tensor :: MarkupText
Special character.
otimes :: MarkupText
Special character.
oplus :: MarkupText
Special character.
bot :: MarkupText
Special character.
rightarrow :: MarkupText
Special character.
rrightarrow :: MarkupText
Special character.
longrightarrow :: MarkupText
Special character.
llongrightarrow :: MarkupText
Special character.
leftrightarrow :: MarkupText
Special character.
lleftrightarrow :: MarkupText
Special character.
ddownarrow :: MarkupText
Special character.
uuparrow :: MarkupText
Special character.
vline :: MarkupText
Special character.
hline :: MarkupText
Special character.
rbrace1 :: MarkupText
Special character.
rbrace2 :: MarkupText
Special character.
rbrace3 :: MarkupText
Special character.
emptyset :: MarkupText
Special character.
inset :: MarkupText
Special character.
notin :: MarkupText
Special character.
intersect :: MarkupText
Special character.
union :: MarkupText
Special character.
subset :: MarkupText
Special character.
subseteq :: MarkupText
Special character.
setminus :: MarkupText
Special character.
powerset :: MarkupText
Special character.
inf :: MarkupText
Special character.
iintersect :: MarkupText
Special character.
uunion :: MarkupText
Special character.
equiv :: MarkupText
Special character.
neq :: MarkupText
Special character.
leq :: MarkupText
Special character.
grteq :: MarkupText
Special character.
lsem :: MarkupText
Special character.
rsem :: MarkupText
Special character.
dots :: MarkupText
Special character.
copyright :: MarkupText
Special character.
class HasMarkupText w where
Widgets that can contain markup text instantiate the class HasMarkupText.
Methods
new :: [MarkupText] -> w -> IO w
Clears the editor widget and inserts the given markup text.
insertAt :: [MarkupText] -> Position -> Config w
Inserts the given markup text at the specified position.
clear :: Config w
Clears the editor widget.
Instances
HasMarkupText (Dialog a)
HasMarkupText Editor
Produced by Haddock version 0.3