Source/Packages

Data.UTF8

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

1,298 lines193 declarations53.6 KiBSHA-256 4bef3dfd330d

def · lines 1176–1195

utf8DecodeTelemetryFor

Full file
1176def utf8DecodeTelemetryFor =
1177  (lambda unrestricted input : Bytes .
1178    (lambda unrestricted inspected : Nat .
1179      (lambda unrestricted codepoints : (family UTF8Codepoints) .
1180        (lambda unrestricted failurePresent : Nat .
1181          (lambda unrestricted failureOffset : Nat .
1182            (constructor
1183              UTF8DecodeTelemetry
1184              UTF8DecodeTelemetryValue
1185              (bytes-length input)
1186              inspected
1187              (utf8CodepointsLength codepoints)
1188              (utf8CodepointsWidthCount utf8NaturalOne codepoints)
1189              (utf8CodepointsWidthCount utf8NaturalTwo codepoints)
1190              (utf8CodepointsWidthCount utf8NaturalThree codepoints)
1191              (utf8CodepointsWidthCount (byte-to-nat (byte 4)) codepoints)
1192              (utf8BytesCountWhere utf8ContinuationValid input)
1193              (utf8BytesCountWhere utf8ByteIllegal input)
1194              failurePresent
1195              failureOffset))))))

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.