exp package:ghc

Get the type of an expression Returns the type as described by TcRnExprMode

Primitive TyCons that are defined in, and exported from, GHC.Prim.

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

Find all locally-defined free Ids or type variables in an expression returning a composable FV computation. See Note [FV naming conventions] in GHC.Utils.FV for why export it.

Find all locally-defined free Ids in an expression

Find all locally-defined free Ids in an expression returning a deterministic set.

Find all locally-defined free Ids in an expression returning a deterministically ordered list.

Find all locally-defined free Ids or type variables in an expression returning a non-deterministic set.

Find all locally-defined free Ids or type variables in an expression returning a deterministic set.

Find all locally-defined free Ids or type variables in an expression returning a deterministically ordered list.

Finds free variables in an expression selected by a predicate

Finds free variables in an expression selected by a predicate returning a deterministically ordered list.

Find all locally-defined free Ids in several expressions returning a deterministic set.

Find all locally-defined free Ids in several expressions returning a deterministically ordered list.

Find all locally-defined free Ids or type variables in several expressions returning a non-deterministic set.