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 PSString (Expr a)

A record property accessor

ObjectUpdate a (Expr a) [(PSString, 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

Methods

fmap :: (a -> b) -> Expr a -> Expr b

(<$) :: a -> Expr b -> Expr a

Show a => Show (Expr a)

Methods

showsPrec :: Int -> Expr a -> ShowS

show :: Expr a -> String

showList :: [Expr a] -> ShowS

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

Methods

fmap :: (a -> b) -> Bind a -> Bind b

(<$) :: a -> Bind b -> Bind a

Show a => Show (Bind a)

Methods

showsPrec :: Int -> Bind a -> ShowS

show :: Bind a -> String

showList :: [Bind a] -> ShowS

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

Methods

fmap :: (a -> b) -> CaseAlternative a -> CaseAlternative b

(<$) :: a -> CaseAlternative b -> CaseAlternative a

Show a => Show (CaseAlternative a)

Methods

showsPrec :: Int -> CaseAlternative a -> ShowS

show :: CaseAlternative a -> String

showList :: [CaseAlternative a] -> ShowS

extractAnn :: Expr a -> a

Extract the annotation from a term

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

Modify the annotation on a term