trap

Types

pub type Kind {
  Unknown
  BadArgument
  IndexOutOfBounds
  Unreachable
  InvalidState
  DivisionByZero
  Overflow
}

opaque </>

pub opaque type Trap

</>

pub fn add_message(trap: Trap, message: String) -> Trap

</>

pub fn kind(trap: Trap) -> Kind

</>

pub fn make(kind: Kind) -> Trap

</>

pub fn to_error(trap: Trap) -> Result(a, Trap)