def hit_decision

mylsm-lsm-store@0.6.0.1 · src/CrashPoint.bend:10

import mylsm-lsm-store@0.6.0.1/src/CrashPoint.bend as CrashPoint

import Base

10# Resolve the hit for decision for the crash injection interface.
11def hit_decision(active: Bool, name: String) -> IO(Result<&1, &1, U32 & String, Unit>):
12  match active:
13    case True{}:
14      stop(name)
15    case False{}:
16      IO.pure(Result<&1, &1, U32 & String, Unit>, Done{Unit{}})

Uses (9)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/CrashPoint:hit