Language.PureScript.CoreFn.Expr

The core functional representation

Documentation

data Expr a

Data type for expressions and terms

Constructors

Literal a (Literal (Expr a))

A literal value

Constructor a (ProperName TypeName) (ProperName ConstructorName) [Ident]

A data constructor (type name, constructor name, field names)

Accessor a String (Expr a)

A record property accessor

ObjectUpdate a (Expr a) [(String, Expr a)]

Partial record update

Abs a Ident (Expr a)

Function introduction

App a (Expr a) (Expr a)

Function application

Var a (Qualified Ident)

Variable

Case a [Expr a] [CaseAlternative a]

A case expression

Let a [Bind a] (Expr a)

A let binding

Instances

Functor Expr

Read a => Read (Expr a)

Show a => Show (Expr a)

data Bind a

A let or module binding.

Constructors

NonRec a Ident (Expr a)

Non-recursive binding for a single value

Rec [((a, Ident), Expr a)]

Mutually recursive binding group for several values

Instances

Functor Bind

Read a => Read (Bind a)

Show a => Show (Bind a)

type Guard a = Expr a

A guard is just a boolean-valued expression that appears alongside a set of binders

data CaseAlternative a

An alternative in a case statement

Constructors

CaseAlternative

Fields

caseAlternativeBinders :: [Binder a]

A collection of binders with which to match the inputs

caseAlternativeResult :: Either [(Guard a, Expr a)] (Expr a)

The result expression or a collect of guarded expressions

Instances

Functor CaseAlternative

Read a => Read (CaseAlternative a)

Show a => Show (CaseAlternative a)

extractAnn :: Expr a -> a

Extract the annotation from a term

modifyAnn :: (a -> a) -> Expr a -> Expr a

Modify the annotation on a term