def head.value

emerging-ezhttp@0.21.0.0 · src/http.bend:401

import emerging-ezhttp@0.21.0.0/src/http.bend as Http

import Base

401# this line's trimmed field value
402def head.value(h: String, name: String) -> String:
403  String.trim(String.drop(h, Nat.add(String.length(name), 1n)))

Uses (5)

Used by (1)

emerging-ezhttp@0.21.0.0/src/http:head.values