Http.length.with: def of gralha-http-core@0.1.0.0
Import: import gralha-http-core@0.1.0.0/http.bend as Http
Lines 379-381 of gralha-http-core@0.1.0.0/http.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-core@0.1.0.0/http.bend&start_line=379&end_line=381

import Base

def length.with(+headers: List<&2, Header>, +body: String) -> List<&2, Header>:
  when(List<&2, Header>, header.has(headers, "content-length"), _ => headers,
    _ => List.append(&2, Header, headers, [Header{"Content-Length", U32.show(utf8.length(body))}]))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=header.has
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=utf8.length
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=when