def id.check

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

import Base

102# A webhook id is not empty and has no '.', so id.timestamp.body reads one way.
103def id.check(+id: String) -> Result<&1, &1, Err, Unit>:
104  Bool.pick(Result<&1, &1, Err, Unit>, Bool.or(String.is_empty(id), String.contains(id, ".")), Fail{BadId{}}, Done{Unit{}})