Safe Haskell	Safe-Inferred
Language	Haskell2010

LText.Document

Synopsis

Documentation

A parsed document

Constructors

Document
Fields documentArity :: [Text] Arity of the document - the parameters of the function, where each entry is the name of the term. documentBody :: [DocumentBody] The function's body

Instances details

Arbitrary Document Source #
Instance details Defined in LText.Document Methods arbitrary :: Gen Document # shrink :: Document -> [Document] #
Show Document Source #
Instance details Defined in LText.Document Methods showsPrec :: Int -> Document -> ShowS # show :: Document -> String # showList :: [Document] -> ShowS #
Eq Document Source #
Instance details Defined in LText.Document Methods (==) :: Document -> Document -> Bool # (/=) :: Document -> Document -> Bool #

The body of a document is either a block of raw text, or an ltext expression.

Constructors

RawText [Text]
Expression Expr

Instances details

Arbitrary DocumentBody Source #
Instance details Defined in LText.Document Methods arbitrary :: Gen DocumentBody # shrink :: DocumentBody -> [DocumentBody] #
Show DocumentBody Source #
Instance details Defined in LText.Document Methods showsPrec :: Int -> DocumentBody -> ShowS # show :: DocumentBody -> String # showList :: [DocumentBody] -> ShowS #
Eq DocumentBody Source #
Instance details Defined in LText.Document Methods (==) :: DocumentBody -> DocumentBody -> Bool # (/=) :: DocumentBody -> DocumentBody -> Bool #

Concatenates adjacent RawText blocks

Arguments

Takes a raw text file and returns the parsed document, and left and right delimiters if it has arity.

Arguments

:: MonadPrettyPrint m
=> Maybe (Text, Text)	Explicitly supplied delimiters
-> Document
-> m Text

Arguments

Given a document, generate an expression (without thinking too hard about it)

Constructors

ConcatExprText Expr	Represents a scenario where a `Lit` is inside a `Abs` or `App`.
NoExplicitDelimiters

Instances details

Exception PrintError Source #
Instance details Defined in LText.Document Methods toException :: PrintError -> SomeException # fromException :: SomeException -> Maybe PrintError # displayException :: PrintError -> String #
Generic PrintError Source #
Instance details Defined in LText.Document Associated Types type Rep PrintError :: Type -> Type # Methods from :: PrintError -> Rep PrintError x # to :: Rep PrintError x -> PrintError #
Show PrintError Source #
Instance details Defined in LText.Document Methods showsPrec :: Int -> PrintError -> ShowS # show :: PrintError -> String # showList :: [PrintError] -> ShowS #
Eq PrintError Source #
Instance details Defined in LText.Document Methods (==) :: PrintError -> PrintError -> Bool # (/=) :: PrintError -> PrintError -> Bool #
type Rep PrintError Source #
Instance details Defined in LText.Document type Rep PrintError = D1 ('MetaData "PrintError" "LText.Document" "ltext-0.1.5-2mWRDtVcy1xDs2drGHsToO" 'False) (C1 ('MetaCons "ConcatExprText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: C1 ('MetaCons "NoExplicitDelimiters" 'PrefixI 'False) (U1 :: Type -> Type))

Constructors

InsideConcat
InsideExpr