def ce.io.go

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

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

4199def ce.io.go(cs: List<&2, String>, m: Maybe<&1, Bytes.Bytes>) -> IO(Maybe<&1, Bytes.Bytes>):
4200  match cs:
4201    case Nil{}:
4202      match m:
4203        case None{}:
4204          IO.pure(Maybe<&1, Bytes.Bytes>, None{})
4205        case Some{b}:
4206          IO.pure(Maybe<&1, Bytes.Bytes>, Some{b})
4207    case Con{+c, t}:
4208      match m:
4209        case None{}:
4210          IO.pure(Maybe<&1, Bytes.Bytes>, None{})
4211        case Some{b}:
4212          do IO<Maybe<&1, Bytes.Bytes>>:
4213            n : Maybe<&1, Bytes.Bytes> <- ce.io.gz(Bool.or(String.eq(c, "gzip"), String.eq(c, "x-gzip")), c, b)
4214            ce.io.go(t, n)

Uses (10)

Used by (1)