| ||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||
| 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 |