LText.Document

Documentation

data Document

Constructors

Document

Fields

• documentArity :: [Text]
• documentBody :: [DocumentBody]

Instances

Eq Document

Methods

(==) :: Document -> Document -> Bool

(/=) :: Document -> Document -> Bool

Show Document

Methods

showsPrec :: Int -> Document -> ShowS

show :: Document -> String

showList :: [Document] -> ShowS

Arbitrary Document

Methods

arbitrary :: Gen Document

shrink :: Document -> [Document]

data DocumentBody

Constructors

RawText [Text]

Expression Expr

Instances

Eq DocumentBody

Methods

(==) :: DocumentBody -> DocumentBody -> Bool

(/=) :: DocumentBody -> DocumentBody -> Bool

Show DocumentBody

Methods

showsPrec :: Int -> DocumentBody -> ShowS

show :: DocumentBody -> String

showList :: [DocumentBody] -> ShowS

Arbitrary DocumentBody

Methods

arbitrary :: Gen DocumentBody

shrink :: DocumentBody -> [DocumentBody]

repackDocument :: [DocumentBody] -> [DocumentBody]

parseDocument :: MonadParse m => Text -> m (Document, Maybe (Text, Text))

printDocument :: MonadPrettyPrint m => Maybe (Text, Text) -> Document -> m Text

fromDocument :: Document -> Expr

data PrintError

Constructors

ConcatExprText Expr

NoExplicitDelimiters

Instances

Eq PrintError

Methods

(==) :: PrintError -> PrintError -> Bool

(/=) :: PrintError -> PrintError -> Bool

Show PrintError

Methods

showsPrec :: Int -> PrintError -> ShowS

show :: PrintError -> String

showList :: [PrintError] -> ShowS

Generic PrintError

Associated Types

type Rep PrintError :: * -> *

Methods

from :: PrintError -> Rep PrintError x

to :: Rep PrintError x -> PrintError

Exception PrintError

Methods

toException :: PrintError -> SomeException

fromException :: SomeException -> Maybe PrintError

displayException :: PrintError -> String

type Rep PrintError

type Rep PrintError = D1 (MetaData "PrintError" "LText.Document" "ltext-0.1.2.1-CxtF0FAkbIY8ihKoCHVnz5" False) ((:+:) (C1 (MetaCons "ConcatExprText" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr))) (C1 (MetaCons "NoExplicitDelimiters" PrefixI False) U1))

handlePrintError :: PrintError -> IO a

toDocument :: MonadThrow m => Expr -> m Document

hasConcatAbsLit :: Expr -> Bool

data PrintabilityMode

Constructors

InsideConcat

InsideExpr

fetchDocument :: FilePath -> IO Expr

rawDocument :: FilePath -> IO Expr