~/jendhub

def window.pick

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

import bend-kit-webhooks@0.11.0.1/webhooks.bend as Webhooks
import Base

87def window.pick(old: Bool, ahead: Bool) -> Result<&1, &1, Err, Unit>:
88  match old:
89    case True{}:
90      Fail{TooOld{}}
91    case False{}:
92      Bool.pick(Result<&1, &1, Err, Unit>, ahead, Fail{TooNew{}}, Done{Unit{}})

Uses (5)

Used by (1)