AlphaGitHub
Source/Packages

Data.UTF8

packages/foundation/standard/src/Data/UTF8.alpha

1,298 lines193 declarations53.6 KiBSHA-256 4bef3dfd330d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 306–315

utf8MachineEmit

Full file
Complete a codepoint: return to `Ready` with the codepoint prepended onto the reversed accumulator (O(1)).
306def utf8MachineEmit =
307  (lambda unrestricted codepoint : (family UTF8Codepoint) .
308    (lambda unrestricted remaining : Bytes .
309      (lambda unrestricted offset : Nat .
310        (lambda unrestricted reversed : (family UTF8Codepoints) .
311          (utf8MachineGoing
312            remaining
313            offset
314            (constructor UTF8DecodePending UTF8PendingReady)
315            (constructor UTF8Codepoints UTF8CodepointsNext codepoint reversed))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.