Merge pull request #7 from lukewilliamboswell/remove-nat

Fix for removal of `Nat`
Hasnep · Mar 3, 2024 · 4bd31c3 · 4bd31c3
2 parents a4dded2 + 469e776
commit 4bd31c3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Html.roc b/src/Html.roc
@@ -138,7 +138,7 @@ interface Html
     imports [Attribute.{ Attribute, attribute }, SafeStr.{ SafeStr, escape, dangerouslyMarkSafe }]
 
 ## An HTML node, either an HTML element or some text inside an HTML element.
-Node : [Element Str Nat (List Attribute) (List Node), Text Str, UnescapedHtml Str]
+Node : [Element Str U64 (List Attribute) (List Node), Text Str, UnescapedHtml Str]
 
 ## Create a `Text` node containing a string.
 ##
@@ -198,7 +198,7 @@ element = \tagName ->
         Element tagName totalSize attrs children
 
 ## Internal helper to calculate the size of a node
-nodeSize : Node -> Nat
+nodeSize : Node -> U64
 nodeSize = \node ->
     when node is
         Text content ->

diff --git a/src/SafeStr.roc b/src/SafeStr.roc
@@ -76,14 +76,14 @@ expect
     toStr (dangerouslyMarkSafe badStr) == badStr
 
 ## The SafeStr equivalent of Str.withCapacity
-withCapacity : Nat -> SafeStr
+withCapacity : U64 -> SafeStr
 withCapacity = \capacity ->
     @SafeStr (Str.withCapacity capacity)
 
 expect toStr (withCapacity 10) == ""
 
 ## The SafeStr equivalent of Str.reserve
-reserve : SafeStr, Nat -> SafeStr
+reserve : SafeStr, U64 -> SafeStr
 reserve = \@SafeStr str, additionalCapacity ->
     @SafeStr (Str.reserve str additionalCapacity)