~/jendhub

def nonempty.of

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

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

128def nonempty.of(b: Bytes.Bytes) -> Maybe<&1, Bytes.Bytes>:
129  Bytes.Bytes{+n, a} = b
130  Bool.pick(Maybe<&1, Bytes.Bytes>, U32.is_eq(n, 0), None{}, Some{Bytes.Bytes{n, a}})

Uses (4)

Used by (1)