~/jendhub

def hear.at

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

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

1648# a head that has ended, or not yet
1649def hear.at(+g: Nat, +asked: Bool, raw: String, c: Cut, go: String -> Hear)
1650  -> Hear:
1651  match c:
1652    case NoCut{}:
1653      Heads{1n+g, asked, raw}
1654    case Cut{before, after}:
1655      +ls = String.lines(before)
1656      hear.step(asked, ls, after, status.interim(status.of(ls)), go)

Uses (9)

Used by (1)