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

data AnnExpr

Constructors

AAbs (String, Type) (AnnExpr, Type)

AApp (AnnExpr, Type) (AnnExpr, Type)

AVar (String, Type)

AText [(FilePath, Text)]

AConc (AnnExpr, Type) (AnnExpr, Type)

Instances

Eq AnnExpr

Show AnnExpr

prExp :: Expr -> Doc

prParenExp :: Expr -> Doc