LText.Internal.Expr

Documentation

type Span = (FilePath, Text)

type ExprVar = String

data Expr

Constructors

EVar ExprVar

EApp Expr Expr

EAbs ExprVar Expr

ELet ExprVar Expr Expr

EText [Span]

EConc Expr Expr

Instances

Eq Expr

Ord Expr

Show Expr

Bindable Set ExprVar Expr

Substitutable Map ExprVar Expr Expr

litsAtTopLevel :: Expr -> Bool

Recursively checks to see if all EText constructors only occur inside the first EAbs constructor via EConc - if some are in EApp, for instance, then you can't successfully render the expression.

prExp :: Expr -> Doc

prParenExp :: Expr -> Doc