GHC.Core

Bind all supplied binding groups over an expression in a nested let expression. Assumes that the rhs satisfies the let-can-float invariant. Prefer to use mkCoreLets if possible, which does guarantee the invariant

mkLetNonRec bndr rhs body wraps body in a let binding bndr.

mkLetRec binds body wraps body in a let rec with the given set of binds if binds is non-empty.

Bind all supplied binders over an expression in a nested lambda expression. Prefer to use mkCoreLams if possible

Apply a list of argument expressions to a function expression in a nested fashion. Prefer to use mkCoreApps if possible

Apply a list of type argument expressions to a function expression in a nested fashion

Apply a list of coercion argument expressions to a function expression in a nested fashion

Apply a list of type or value variables to a function expression in a nested fashion

Create a machine integer literal expression of type Int# from an Integer. If you want an expression of type Int use mkIntExpr

Create a machine integer literal expression of type Int# from an Integer, wrapping if necessary. If you want an expression of type Int use mkIntExpr

Create a machine word literal expression of type Word# from an Integer. If you want an expression of type Word use mkWordExpr

Create a machine word literal expression of type Word# from an Integer, wrapping if necessary. If you want an expression of type Word use mkWordExpr

Create a machine character literal expression of type Char#. If you want an expression of type Char use mkCharExpr

Create a machine string literal expression of type Addr#. If you want an expression of type String use mkStringExpr

Create a machine single precision literal expression of type Float# from a Rational. If you want an expression of type Float use mkFloatExpr

Create a machine double precision literal expression of type Double# from a Rational. If you want an expression of type Double use mkDoubleExpr

Apply a list of argument expressions to a data constructor in a nested fashion. Prefer to use mkCoreConApps if possible

Create a binding group where a type variable is bound to a type. Per Note [Core type and coercion invariant], this can only be used to bind something in a non-recursive let expression

Create a binding group where a type variable is bound to a type. Per Note [Core type and coercion invariant], this can only be used to bind something in a non-recursive let expression

Convert a binder into either a Var or Type Expr appropriately

Helper function. You can use the result of mkBinds with mkLets for instance.

• mkBinds Recursive binds makes a single mutually-recursive bindings with all the rhs/lhs pairs in binds

• mkBinds NonRecursive binds makes one non-recursive binding for each rhs/lhs pairs in binds

Is this a value-level (i.e., computationally relevant) Identifier? Satisfies isId = not . isTyVar.

Compares AltCons within a single list of alternatives DEFAULT comes out smallest, so that sorting by AltCon puts alternatives in the order required: see Note [Case expression invariants]

Try to determine the levity of a case-expression (unlifted, lifted) from its alternatives

Extract every variable by this group

bindersOf applied to a list of binding groups

We often want to strip off leading lambdas before getting down to business. Variants are collectTyBinders, collectValBinders, and collectTyAndValBinders

Strip off exactly N leading lambdas (type or value). Good for use with join points. Panic if there aren't enough

Strip off exactly N leading value lambdas returning all the binders found up to that point Return Nothing if there aren't enough

Takes a nested application expression and returns the function being applied and the arguments to which it is applied

Takes a nested application expression and returns the function being applied and the arguments to which it is applied

Attempt to remove the last N arguments of a function call. Strip off any ticks or coercions encountered along the way and any at the end.

Like collectArgs, but also looks through floatable ticks if it means that we can find more arguments.

Collapse all the bindings in the supplied groups into a single list of lhs/rhs pairs suitable for binding in a Rec binding group

Takes a nested application expression and returns the function being applied. Looking through casts and ticks to find it.

If the expression is a Type, converts. Otherwise, panics. NB: This does not convert Coercion to CoercionTy.

fmap on the body of a lambda. wrapLamBody f (x -> body) == (x -> f body)

Returns True for value arguments, false for type args NB: coercions are value arguments (zero width, to be sure, like State#, but still value args).

Returns True iff the expression is a Type expression at its top level. Note this does NOT include Coercions.

Returns True iff the expression is a Coercion expression at its top level

Returns True iff the expression is a Type or Coercion expression at its top level

The number of argument expressions that are values rather than types at their top level

The number of binders that bind values rather than types

Will this argument expression exist at runtime?

Will this variable exist at runtime?

There is no known Unfolding

There is no known Unfolding, because this came from an hi-boot file.

This unfolding marks the associated thing as being evaluated

Retrieves the template of an unfolding if possible maybeUnfoldingTemplate is used mainly when specialising, and we do want to specialise DFuns, so it's important to return a template for DFunUnfoldings

The constructors that the unfolding could never be: returns [] if no information is available

Determines if it is certainly the case that the unfolding will yield a value (something in HNF): returns False if unsure

Determines if it possibly the case that the unfolding will yield a value. Unlike isValueUnfolding it returns True for OtherCon

Is the thing we will unfold into certainly cheap?

True if the unfolding is a constructor application, the application of a CONLIKE function or OtherCon

True of a stable unfolding that is (a) always inlined; that is, with an UnfWhen guidance, or (b) a DFunUnfolding which never needs to be inlined

Only returns False if there is no unfolding information available at all

Takes a nested application expression and returns the function being applied and the arguments to which it is applied

As collectBinders but for AnnExpr rather than Expr

As collectNBinders but for AnnExpr rather than Expr

The number of arguments the ru_fn must be applied to before the rule can match on it

The Name of the GHC.Types.Id.Id at the head of the rule left hand side

Set the Name of the GHC.Types.Id.Id at the head of the rule left hand side