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)

Uses (10)

Used by (1)