| ||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||
Synopsis | ||||||||||||||||||||||||||||||||||||||||||||||||
Basic types | ||||||||||||||||||||||||||||||||||||||||||||||||
type Markdown = String | ||||||||||||||||||||||||||||||||||||||||||||||||
type Code = String | ||||||||||||||||||||||||||||||||||||||||||||||||
data TypeOfCode | ||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||
type TypeOfCodeName = String | ||||||||||||||||||||||||||||||||||||||||||||||||
typeOfCodeNameList :: [TypeOfCodeName] | ||||||||||||||||||||||||||||||||||||||||||||||||
typeOfCode :: TypeOfCodeName -> Maybe TypeOfCode | ||||||||||||||||||||||||||||||||||||||||||||||||
Code to Markdown conversion | ||||||||||||||||||||||||||||||||||||||||||||||||
pureCodeToMarkdown :: Code -> Markdown | ||||||||||||||||||||||||||||||||||||||||||||||||
codeToMarkdown :: TypeOfCodeName -> Code -> Markdown | ||||||||||||||||||||||||||||||||||||||||||||||||
Markdown to Code conversions | ||||||||||||||||||||||||||||||||||||||||||||||||
markdownToPureCode :: Markdown -> Code | ||||||||||||||||||||||||||||||||||||||||||||||||
markdownToCode :: TypeOfCodeName -> Markdown -> Code | ||||||||||||||||||||||||||||||||||||||||||||||||
Auxiliary IO functions | ||||||||||||||||||||||||||||||||||||||||||||||||
readFrom :: [FilePath] -> IO String | ||||||||||||||||||||||||||||||||||||||||||||||||
writeTo :: Maybe FilePath -> String -> IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
toAction :: (String -> String) -> [FilePath] -> Maybe FilePath -> IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
IO versions of the converters | ||||||||||||||||||||||||||||||||||||||||||||||||
codeToMarkdownIO :: TypeOfCodeName -> [FilePath] -> Maybe FilePath -> IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
pureCodeToMarkdownIO :: [FilePath] -> Maybe FilePath -> IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
markdownToPureCodeIO :: [FilePath] -> Maybe FilePath -> IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
markdownToCodeIO :: TypeOfCodeName -> [FilePath] -> Maybe FilePath -> IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
Showing and printing help messages | ||||||||||||||||||||||||||||||||||||||||||||||||
showSymbolismTable :: String | ||||||||||||||||||||||||||||||||||||||||||||||||
printSymbolismTable :: IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
showCodeHelp :: TypeOfCodeName -> String | ||||||||||||||||||||||||||||||||||||||||||||||||
printCodeHelp :: TypeOfCodeName -> IO () | ||||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 2.4.2 |