std.silo:std.effects.panic

Effect Panicpub

Source
:effect(pub) Panic
  .catch ( [→ a ] → (Result a PanicInfo) )
  .resume-unwind ( PanicInfo → Never )
Description

Observable-panic effect. .catch runs a quotation and reifies a panic into (Result a PanicInfo); .resume-unwind re-raises a captured PanicInfo. The host default behaviour (abort or unwind) applies when +Panic is not in scope.

Operations

.catch ( [→ a ] → (Result a PanicInfo) )

.resume-unwind ( PanicInfo → Never )