Source/Packages

Data.UTF8

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

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

def · lines 1165–1174

utf8ByteIllegal

Full file
1165def utf8ByteIllegal =
1166  (lambda unrestricted value : Byte .
1167    (utf8FlagNot
1168      (utf8FlagOr
1169        (byte-less-than value (byte 128))
1170        (utf8FlagOr
1171          (utf8ContinuationValid value)
1172          (utf8FlagOr
1173            (utf8LeadTwoValid value)
1174            (utf8FlagOr (utf8LeadThreeValid value) (utf8LeadFourValid value)))))))

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.