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 1042–1052

utf8WordScalarValid

Full file
1042def utf8WordScalarValid =
1043  (lambda unrestricted word : (family ModelWord32) .
1044    (app
1045      (lambda unrestricted value : Nat .
1046        (utf8FlagAnd
1047          (nat-less-than value utf8NaturalOneMillionOneHundredFourteenThousandOneHundredTwelve)
1048          (utf8FlagNot
1049            (utf8FlagAnd
1050              (utf8FlagNot (nat-less-than value utf8NaturalFiftyFiveThousandTwoHundredNinetySix))
1051              (nat-less-than value utf8NaturalFiftySevenThousandThreeHundredFortyFour)))))
1052      (modelWord32ToNatural word)))

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.