def codings.has

bend-kit-http@0.38.2.0 · http.bend:4264

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

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

4264def codings.has(~eff: U32 -> Bytes.Bytes -> IO(Result<&1, &1, U32 & String, Bytes.Bytes>), b: Bytes.Bytes) -> IO(Bool):
4265  do IO<Bool>:
4266    r : Result<&1, &1, U32 & String, Bytes.Bytes> <- eff(0, b)
4267    return codings.ok(r)

Uses (10)

Used by (1)

bend-kit-http@0.38.2.0/http:codings