Pending multi-byte context for the byte-at-a-time decoder (see `decodeUTF8`).
`Ready` is a codepoint boundary; the others hold the lead byte and the
continuation bytes collected so far while more are awaited. `ThreeA`/`FourA`
also carry the lead's byte offset, the only states whose error (overlong /
surrogate / out-of-range) is reported AT the lead rather than at the byte
being read.
148family UTF8DecodePending : Type 0
149constructor UTF8PendingReady
150constructor UTF8PendingTwo
151field unrestricted utf8PendingTwoLead : Byte
152constructor UTF8PendingThreeA
153field unrestricted utf8PendingThreeALead : Byte
154field unrestricted utf8PendingThreeAOffset : Nat
155constructor UTF8PendingThreeB
156field unrestricted utf8PendingThreeBLead : Byte
157field unrestricted utf8PendingThreeBByte1 : Byte
158constructor UTF8PendingFourA
159field unrestricted utf8PendingFourALead : Byte
160field unrestricted utf8PendingFourAOffset : Nat
161constructor UTF8PendingFourB
162field unrestricted utf8PendingFourBLead : Byte
163field unrestricted utf8PendingFourBByte1 : Byte
164constructor UTF8PendingFourC
165field unrestricted utf8PendingFourCLead : Byte
166field unrestricted utf8PendingFourCByte1 : Byte
167field unrestricted utf8PendingFourCByte2 : ByteThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.