Http.utf8.push: def of gralha-http-core@0.1.0.0
Import: import gralha-http-core@0.1.0.0/http.bend as Http
Lines 70-79 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=70&end_line=79

import Base

# A character's UTF-8 bytes, prepended to acc in reverse.
def utf8.push(+c: U32, +acc: List<&2, U32>) -> List<&2, U32>:
  +cont = ((c .&. 63) .|. 128 : U32)
  when(List<&2, U32>, U32.is_lt(c, 128), _ => c <> acc,
    _ => when(List<&2, U32>, U32.is_lt(c, 2048),
      _ => cont <> ((c >> 6n) .|. 192 : U32) <> acc,
      _ => when(List<&2, U32>, U32.is_lt(c, 65536),
        _ => cont <> (((c >> 6n) .&. 63) .|. 128 : U32) <> ((c >> 12n) .|. 224 : U32) <> acc,
        _ => cont <> (((c >> 6n) .&. 63) .|. 128 : U32) <> (((c >> 12n) .&. 63) .|. 128 : U32)
          <> ((c >> 18n) .|. 240 : U32) <> acc)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=when