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

family · lines 195–198

UTF8CodepointsReverseState

Full file
First-order reversal accumulator: `utf8ReverseRemaining` is the list still to move, `utf8ReverseAccumulated` is the reversed prefix already built.
195family UTF8CodepointsReverseState : Type 0
196constructor UTF8CodepointsReverseStateValue
197field unrestricted utf8ReverseRemaining : (family UTF8Codepoints)
198field unrestricted utf8ReverseAccumulated : (family UTF8Codepoints)

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.