def ts.some

bend-kit-webhooks@0.11.0.1 · webhooks.bend:71

import Base
import bend-kit-int@0.2.0.0/int.bend as Int

71def ts.some(ok: Bool, m: Maybe<&2, Int.I64>) -> Result<&1, &1, Err, Int.I64>:
72  match ok:
73    case False{}:
74      Fail{BadTimestamp{}}
75    case True{}:
76      match m:
77        case None{}:
78          Fail{BadTimestamp{}}
79        case Some{t}:
80          Done{t}