nest package:ghc-lib-parser

Indent SDoc some specified amount

Nest (or indent) a document by a given number of positions (which may also be negative). nest satisfies the laws:

• nest 0 x = x

• nest k (nest k' x) = nest (k+k')
  x

• nest k (x <> y) = nest k z
  <> nest k y

• nest k (x $$ y) = nest k x $$
  nest k y

• nest k empty = empty

• x <> nest k y = x <> y, if x non-empty

The side condition on the last law is needed because empty is a left identity for <>.

The docstring is preceded by "{-decorator" and followed by "-}" The chunk contains balanced pairs of '{-' and '-}'

Different places in which a nested foralls/contexts error might occur.

NestedTHBrackets is an error that occurs when Template Haskell brackets are nested without any intervening splices. Example: foo = [| [| x |] |] Test cases: TH_NestedSplicesFail{5,6,7,8}

Thrown when the program attempts to call atomically, from the stm package, inside another call to atomically.

The structure `{body}`, optionally indented over multiple lines

Optionally indent the following

TcRnNestedForallsContexts is an error indicating that multiple foralls or contexts are nested/curried where this is not supported, like ∀ x. ∀ y. instead of ∀ x y.. Test cases: T12087, T14320, T16114, T16394, T16427, T18191, T18240a, T18240b, T18455, T5951

Split a sigma type into its parts, going underneath as many arrows and foralls as possible. See Note [tcSplitNestedSigmaTys]