LText.Document

Documentation

data Document

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

Arbitrary Document

Defined in LText.Document

Methods

arbitrary :: Gen Document

shrink :: Document -> [Document]

Show Document

Defined in LText.Document

Methods

showsPrec :: Int -> Document -> ShowS

show :: Document -> String

showList :: [Document] -> ShowS

Eq Document

Defined in LText.Document

Methods

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

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

data DocumentBody

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

Constructors

RawText [Text]

Expression Expr

Instances

Arbitrary DocumentBody

Defined in LText.Document

Methods

arbitrary :: Gen DocumentBody

shrink :: DocumentBody -> [DocumentBody]

Show DocumentBody

Defined in LText.Document

Methods

showsPrec :: Int -> DocumentBody -> ShowS

show :: DocumentBody -> String

showList :: [DocumentBody] -> ShowS

Eq DocumentBody

Defined in LText.Document

Methods

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

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

repackDocument :: [DocumentBody] -> [DocumentBody]

Concatenates adjacent RawText blocks

parseDocument

Arguments

:: MonadParse m

=> Text

Document content

-> m (Document, Maybe (Text, Text))

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

printDocument

Arguments

:: MonadPrettyPrint m

=> Maybe (Text, Text)

Explicitly supplied delimiters

-> Document

-> m Text

fromDocument

Arguments

:: FilePath

Name of source file

-> Document

-> Expr

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

data PrintError

Constructors

ConcatExprText Expr

Represents a scenario where a Lit is inside a Abs or App.

NoExplicitDelimiters

Instances

Exception PrintError

Defined in LText.Document

Methods

toException :: PrintError -> SomeException

fromException :: SomeException -> Maybe PrintError

displayException :: PrintError -> String

Generic PrintError

Defined in LText.Document

Associated Types

type Rep PrintError :: Type -> Type

Methods

from :: PrintError -> Rep PrintError x

to :: Rep PrintError x -> PrintError

Show PrintError

Defined in LText.Document

Methods

showsPrec :: Int -> PrintError -> ShowS

show :: PrintError -> String

showList :: [PrintError] -> ShowS

Eq PrintError

Defined in LText.Document

Methods

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

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

type Rep PrintError

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

data PrintabilityMode

Constructors

InsideConcat

InsideExpr

decorateUnprintable :: Expr -> Expr

isAnyUnprintable :: Expr -> Bool

handlePrintError :: PrintError -> IO a

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

fetchDocument :: FilePath -> IO Expr

rawDocument :: FilePath -> IO Expr