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 333–341

utf8CodepointFromTwo

Full file
(lead & 0x1F) << 6 | (b1 & 0x3F)
333def utf8CodepointFromTwo =
334  (lambda unrestricted lead : Byte .
335    (lambda unrestricted b1 : Byte .
336      (utf8CodepointWord
337        (byteOr
338          (byteShiftLeftTruncated (byteAnd lead (byte 3)) utf8NaturalSix)
339          (byteAnd b1 (byte 63)))
340        (byteShiftRight (byteAnd lead (byte 31)) utf8NaturalTwo)
341        (byte 0))))

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.