Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Document = Document {
- documentArity :: [Text]
- documentBody :: [DocumentBody]
- data DocumentBody
- = RawText [Text]
- | Expression Expr
- repackDocument :: [DocumentBody] -> [DocumentBody]
- parseDocument :: MonadParse m => Text -> m (Document, Maybe (Text, Text))
- printDocument :: MonadPrettyPrint m => Maybe (Text, Text) -> Document -> m Text
- fromDocument :: FilePath -> Document -> Expr
- data PrintError
- data PrintabilityMode
- decorateUnprintable :: Expr -> Expr
- isAnyUnprintable :: Expr -> Bool
- handlePrintError :: PrintError -> IO a
- toDocument :: MonadThrow m => Expr -> m Document
- fetchDocument :: FilePath -> IO Expr
- rawDocument :: FilePath -> IO Expr
Documentation
A parsed document
Document | |
|
data DocumentBody Source #
The body of a document is either a block of raw text, or an ltext expression.
Instances
Arbitrary DocumentBody Source # | |
Defined in LText.Document arbitrary :: Gen DocumentBody # shrink :: DocumentBody -> [DocumentBody] # | |
Show DocumentBody Source # | |
Defined in LText.Document showsPrec :: Int -> DocumentBody -> ShowS # show :: DocumentBody -> String # showList :: [DocumentBody] -> ShowS # | |
Eq DocumentBody Source # | |
Defined in LText.Document (==) :: DocumentBody -> DocumentBody -> Bool # (/=) :: DocumentBody -> DocumentBody -> Bool # |
repackDocument :: [DocumentBody] -> [DocumentBody] Source #
Concatenates adjacent RawText
blocks
Takes a raw text file and returns the parsed document, and left and right delimiters if it has arity.
Given a document, generate an expression (without thinking too hard about it)
data PrintError Source #
Instances
decorateUnprintable :: Expr -> Expr Source #
isAnyUnprintable :: Expr -> Bool Source #
handlePrintError :: PrintError -> IO a Source #
toDocument :: MonadThrow m => Expr -> m Document Source #