def codings.has

bend-kit-http@0.38.5.0 · http.bend:4268

import bend-kit-http@0.38.5.0/http.bend as Http

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

4268def codings.has(~eff: U32 -> Bytes.Bytes -> IO(Result<&1, &1, U32 & String, Bytes.Bytes>), b: Bytes.Bytes) -> IO(Bool):
4269  do IO<Bool>:
4270    r : Result<&1, &1, U32 & String, Bytes.Bytes> <- eff(0, b)
4271    return codings.ok(r)

Uses (10)

Used by (1)

bend-kit-http@0.38.5.0/http:codings