# Pretty


Pretty-printing for diagnostic Errors.

Exports:
  pathSegments : Error -> [String]
  pathString   : Error -> String
  oneLine      : Error -> String
  multiLine    : Error -> String

Chain walkers recurse directly up to 500
frames, then fall through to a `builtins.genericClosure` slow
path that WHNF-forces the next node at each step.

Pure data -> string; no effects.

## `multiLine`

_multiLine: render `Error` as a multi-line block — header line, blame path, detail fields rendered with `renderValue`, and the optional hint text indented under the leaf._

```
multiLine : Error -> String
```

## `oneLine`

_oneLine: render `Error` as a single-line diagnostic combining `pathString`, layer tag, msg, and (when present) hint text — suited for editor squigglies and terse log output._

```
oneLine : Error -> String
```

## `pathSegments`

_pathSegments: walk an `Error` from root to leaf collecting position tags as strings; stack-safe to kernel-descent depth via the same fast/slow split as the other chain walkers._

```
pathSegments : Error -> [String]
```

## `pathString`

_pathString: render `Error`'s root-to-leaf positions as a dotted path (e.g. `"DArgSort.PiCod.AppArg"`); useful for log lines and one-line diagnostic summaries._

```
pathString : Error -> String
```

## `renderValue`

_renderValue: render an arbitrary detail value (term/type/payload) as a string suitable for inclusion in diagnostic output; centralises the formatting policy across `oneLine`/`multiLine`._

```
renderValue : Any -> String
```