def ce.io.go
bend-kit-http@0.38.2.0 · http.bend:4195
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
4195def ce.io.go(cs: List<&2, String>, m: Maybe<&1, Bytes.Bytes>) -> IO(Maybe<&1, Bytes.Bytes>):
4196 match cs:
4197 case Nil{}:
4198 match m:
4199 case None{}:
4200 IO.pure(Maybe<&1, Bytes.Bytes>, None{})
4201 case Some{b}:
4202 IO.pure(Maybe<&1, Bytes.Bytes>, Some{b})
4203 case Con{+c, t}:
4204 match m:
4205 case None{}:
4206 IO.pure(Maybe<&1, Bytes.Bytes>, None{})
4207 case Some{b}:
4208 do IO<Maybe<&1, Bytes.Bytes>>:
4209 n : Maybe<&1, Bytes.Bytes> <- ce.io.gz(Bool.or(String.eq(c, "gzip"), String.eq(c, "x-gzip")), c, b)
4210 ce.io.go(t, n)