language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Remove private tags from unicode package

Browse source
This commit is contained in:
Ayaz Hafiz 2022-04-22 17:10:26 -04:00
parent be56cdf782
commit ee30b85430
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

6
packages/unicode/src/Unicode/CodePoint/Internal.roc
View file

@ -10,12 +10,12 @@ interface Unicode.CodePoint.Internal
[] []
## This is just here so that both Unicode.Scalar and Unicode.CodePoint can access it. ## This is just here so that both Unicode.Scalar and Unicode.CodePoint can access it.
CodePoint : [ @CodePoint U32 ] CodePoint := U32
fromU32Unchecked : U32 -> CodePoint fromU32Unchecked : U32 -> CodePoint
fromU32Unchecked = \u32 -> @CodePoint u32 fromU32Unchecked = \u32 -> $CodePoint u32
toU32 : CodePoint -> U32 toU32 : CodePoint -> U32
toU32 = \@CodePoint u32 -> u32 toU32 = \$CodePoint u32 -> u32
fromU32 : U32 -> Result CodePoint [ BadCodePoint ]* fromU32 : U32 -> Result CodePoint [ BadCodePoint ]*

8
packages/unicode/src/Unicode/Scalar.roc
View file

@ -18,10 +18,10 @@ interface Unicode.Scalar
] ]
## A [Unicode Scalar Value](http://www.unicode.org/glossary/#unicode_scalar_value) ## A [Unicode Scalar Value](http://www.unicode.org/glossary/#unicode_scalar_value)
Scalar : [ @Scalar U32 ] Scalar := U32
toStr : Scalar -> Str toStr : Scalar -> Str
toStr = \@Scalar u32 toStr = \$Scalar u32
when Str.fromScalar u32 is when Str.fromScalar u32 is
Ok str -> str Ok str -> str
Err _ -> Err _ ->
@ -29,10 +29,10 @@ toStr = \@Scalar u32
# this Err branch will never run. That's because it only runs # this Err branch will never run. That's because it only runs
# if Str.fromScalar receives an invalid scalar value, and we've # if Str.fromScalar receives an invalid scalar value, and we've
# already validated this! # already validated this!
toStr (@Scalar (scalar * 256)) toStr ($Scalar (scalar * 256))
toCodePt : Scalar -> CodePt toCodePt : Scalar -> CodePt
toCodePt = \@Scalar u32 -> Internal.fromU32Unchecked u32 toCodePt = \$Scalar u32 -> Internal.fromU32Unchecked u32
fromCodePt : CodePt -> Result Scalar [ PointWasSurrogate ]* fromCodePt : CodePt -> Result Scalar [ PointWasSurrogate ]*