~/jendhub

def stream.open.step

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

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

5219def stream.open.step(+c: String, st: Opened) -> IO(Opened):
5220  Opened{decs, bad} = st
5221  match bad:
5222    case True{}:
5223      IO.pure(Opened, Opened{decs, True{}})
5224    case False{}:
5225      stream.open.gz(Bool.or(String.eq(c, "gzip"), Bool.or(String.eq(c, "x-gzip"), String.eq(c, "deflate"))),
5226        c, Opened{decs, False{}})

Uses (8)

Used by (1)