---
package: prelude
version: "0.3.3"
source: errorable.kex
title: Errorable
entities:
  - { kind: trait, name: "Errorable" }
  - { kind: record, name: "ParseError" }
---

# Errorable

## trait `Errorable`

Errorable — the trait for values that describe a failure. Implemented by error types that carry a human-readable message, so generic handlers can display or log any error uniformly (independent of the concrete error type's structured fields).

### Required methods

#### `message`

```kex
message : String
```



## record `ParseError`

ParseError — a typed parse failure. Carries the original `input`, the byte `position` where parsing stopped (and from which it can be continued), the successfully parsed `value` (if any prefix was consumed — typed `Any` so it works across Integer / Float / Number), a diagnostic `message`, and the remaining unconsumed suffix `rest` so the caller can resume parsing.

**Fields**

  - `input` : [String](algebra.md#make-string)
  - `position` : [Integer](number.md#make-integer)
  - `value` : Any
  - `message` : [String](algebra.md#make-string)
  - `rest` : [String](algebra.md#make-string)