Text package:ghc

A document of height 1 containing a literal string. text satisfies the following laws:

• text s <> text t = text
  (s++t)

• text "" <> x = x, if x non-empty

The side condition on the last law is necessary because text "" has height 1, while empty has no height.

The TextDetails data type A TextDetails represents a fragment of text that will be output at some point.

Get the interactive evaluation context, consisting of a pair of the set of modules from which we take the full top-level scope, and the set of modules from which we take just the exports respectively.

Non-source imports of the module from the module *text*

Set the interactive evaluation context. (setContext imports) sets the ic_imports field (which in turn determines what is in scope at the prompt) to imports, and updates the icReaderEnv environment to reflect it. We retain in scope all the things defined at the prompt, and kept in ic_tythings. (Indeed, they shadow stuff from ic_imports.)

Context for ASM code generation

Context for LLVM code generation

Extend a lifting context with a new mapping.

Extend a lifting context with a new mapping, and extend the in-scope set

Extend the substitution component of a lifting context with a new binding for a coercion variable. Used during coercion optimisation.