~/jendhub

def stream.open.step

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

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

5211def stream.open.step(+c: String, st: Opened) -> IO(Opened):
5212  Opened{decs, bad} = st
5213  match bad:
5214    case True{}:
5215      IO.pure(Opened, Opened{decs, True{}})
5216    case False{}:
5217      stream.open.gz(Bool.or(String.eq(c, "gzip"), Bool.or(String.eq(c, "x-gzip"), String.eq(c, "deflate"))),
5218        c, Opened{decs, False{}})

Uses (8)

Used by (1)