async function* streamGeoJSONL(url) {
const response = await fetch(url);
const reader = response.body.getReader();
const decoder = new TextDecoder('utf-8');
try {
let lineFragment = '';
while (true) {
const { done, value } = await reader.read();
if (!done) {
const lines = decoder.decode(value).split('\n');
lines[0] = lineFragment + lines[0];
lineFragment = lines.pop();
yield lines.map(JSON.parse);
}
else {
break;
}
}
}
finally {
reader.releaseLock();
}
}