| |||||||||||||||||
| |||||||||||||||||
| Description | |||||||||||||||||
| A simple markup language for convenient writing into an editor widget. | |||||||||||||||||
| Synopsis | |||||||||||||||||
| 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 | |||||||||||||||||
| |||||||||||||||||
| Produced by Haddock version 0.3 |