@grain/stdlib 0.7.1 → 0.7.2

package/CHANGELOG.md

@@ -1,5 +1,13 @@
 # Changelog
 
+## [0.7.2](https://github.com/grain-lang/grain/compare/stdlib-v0.7.1...stdlib-v0.7.2) (2026-02-08)
+
+
+### Features
+
+* **compiler:** Use Binaryen's bulk memory polyfill ([#2334](https://github.com/grain-lang/grain/issues/2334)) ([1c5478e](https://github.com/grain-lang/grain/commit/1c5478e22a2cca7ff9f5198b768a2aa3c23fd4cf))
+* **stdlib:** Standardize `path` module examples ([#2325](https://github.com/grain-lang/grain/issues/2325)) ([c6e3cb0](https://github.com/grain-lang/grain/commit/c6e3cb052e5ec69be8037dc63bf39ee2630bbccc))
+
 ## [0.7.1](https://github.com/grain-lang/grain/compare/stdlib-v0.7.0...stdlib-v0.7.1) (2025-07-01)
 
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@grain/stdlib",
-  "version": "0.7.1",
+  "version": "0.7.2",
   "description": "The standard library for the Grain language.",
   "license": "MIT",
   "homepage": "https://grain-lang.org",
@@ -33,7 +33,7 @@
   },
   "dependencies": {},
   "devDependencies": {
-    "del-cli": "^4.0.1"
+    "del-cli": "^7.0.0"
   },
   "pkg": {
     "assets": "**/*.gr"

package/path.gr

@@ -17,6 +17,7 @@
  * - The path segment `.` indicates the relative "current" directory of a path, and `..` indicates the parent directory of a path
  *
  * @example from "path" include Path
+ * @example let p = Path.fromString("./tmp/file.txt")
  *
  * @since v0.5.5
  */
@@ -88,49 +89,53 @@ and record TBase<a> {
 }
 /**
  * Represents an absolute path's anchor point.
+ *
+ * @since v0.5.5
  */
 and provide enum AbsoluteRoot {
   Root,
   Drive(Char),
 }
 
-// Dummy record names put here just to distinguish the two. These could be
-// replaced with opaque types if they get added to the language
 /**
  * Represents a relative path.
+ *
+ * @since v0.5.5
  */
-abstract record Relative {
-  _rel: Void,
-}
+abstract type Relative = Void
 
 /**
  * Represents an absolute path.
+ *
+ * @since v0.5.5
  */
-abstract record Absolute {
-  _abs: Void,
-}
+abstract type Absolute = Void
 
 /**
  * Represents a path referencing a file.
+ *
+ * @since v0.5.5
  */
-abstract record File {
-  _file: Void,
-}
+abstract type File = Void
 
 /**
  * Represents a path referencing a directory.
+ *
+ * @since v0.5.5
  */
-abstract record Directory {
-  _directory: Void,
-}
+abstract type Directory = Void
 
 /**
  * Represents a path typed on (`Absolute` or `Relative`) and (`File` or
  * `Directory`)
+ *
+ * @since v0.5.5
  */
 abstract type rec TypedPath<a, b> = (TBase<a>, TFileType<b>, List<String>)
 /**
  * Represents a system path.
+ *
+ * @since v0.5.5
  */
 and provide enum Path {
   AbsoluteFile(TypedPath<Absolute, File>),
@@ -141,6 +146,8 @@ and provide enum Path {
 
 /**
  * Represents a platform-specific path encoding scheme.
+ *
+ * @since v0.5.5
  */
 provide enum Platform {
   Windows,
@@ -149,6 +156,8 @@ provide enum Platform {
 
 /**
  * Represents an error that can occur when finding a property of a path.
+ *
+ * @since v0.5.5
  */
 provide enum PathOperationError {
   IncompatiblePathType,
@@ -156,6 +165,8 @@ provide enum PathOperationError {
 
 /**
  * Represents an error that can occur when appending paths.
+ *
+ * @since v0.5.5
  */
 provide enum AppendError {
   AppendToFile,
@@ -164,6 +175,8 @@ provide enum AppendError {
 
 /**
  * Represents the status of an ancestry check between two paths.
+ *
+ * @since v0.5.5
  */
 provide enum AncestryStatus {
   Descendant,
@@ -175,6 +188,8 @@ provide enum AncestryStatus {
 /**
  * Represents an error that can occur when the types of paths are incompatible
  * for an operation.
+ *
+ * @since v0.5.5
  */
 provide enum IncompatibilityError {
   DifferentRoots,
@@ -183,6 +198,8 @@ provide enum IncompatibilityError {
 
 /**
  * Represents possible errors for the `relativeTo` operation.
+ *
+ * @since v0.5.5
  */
 provide enum RelativizationError {
   Incompatible(IncompatibilityError),
@@ -375,10 +392,10 @@ let fromStringHelper = (pathStr, platform) => {
  * @param platform: The platform whose path separators should be used for parsing
  * @returns The path wrapped with details encoded within the type
  *
- * @example fromString("file.txt") // a relative Path referencing the file ./file.txt
- * @example fromString(".") // a relative Path referencing the current directory
- * @example fromString("/bin/", Posix) // an absolute Path referencing the directory /bin/
- * @example fromString("C:\\file.txt", Windows) // a relative Path referencing the file C:\file.txt
+ * @example Path.fromString("file.txt") // a relative Path referencing the file ./file.txt
+ * @example Path.fromString(".") // a relative Path referencing the current directory
+ * @example Path.fromString("/bin/", Path.Posix) // an absolute Path referencing the directory /bin/
+ * @example Path.fromString("C:\\file.txt", Path.Windows) // a relative Path referencing the file C:\file.txt
  *
  * @since v0.5.5
  * @history v0.6.0: Merged with `fromPlatformString`; modified signature to accept platform
@@ -423,9 +440,9 @@ let toStringHelper = (path, platform) => {
  * @param platform: The `Platform` to use to represent the path as a string
  * @returns A string representing the given path
  *
- * @example toString(fromString("/file.txt")) == "/file.txt"
- * @example toString(fromString("dir/"), Posix) == "./dir/"
- * @example toString(fromString("C:/file.txt"), Windows) == "C:\\file.txt"
+ * @example Path.toString(Path.fromString("/file.txt")) == "/file.txt"
+ * @example Path.toString(Path.fromString("dir/"), Path.Posix) == "./dir/"
+ * @example Path.toString(Path.fromString("C:/file.txt"), Path.Windows) == "C:\\file.txt"
  *
  * @since v0.5.5
  * @history v0.6.0: Merged with `toPlatformString`; modified signature to accept platform
@@ -440,8 +457,8 @@ provide let toString = (path, platform=Posix) => {
  * @param path: The path to inspect
  * @returns `true` if the path is a directory path or `false` otherwise
  *
- * @example isDirectory(fromString("file.txt")) == false
- * @example isDirectory(fromString("/bin/")) == true
+ * @example Path.isDirectory(Path.fromString("file.txt")) == false
+ * @example Path.isDirectory(Path.fromString("/bin/")) == true
  *
  * @since v0.5.5
  */
@@ -456,8 +473,8 @@ provide let isDirectory = path => {
  * @param path: The path to inspect
  * @returns `true` if the path is absolute or `false` otherwise
  *
- * @example isAbsolute(fromString("/Users/me")) == true
- * @example isAbsolute(fromString("./file.txt")) == false
+ * @example Path.isAbsolute(Path.fromString("/Users/me")) == true
+ * @example Path.isAbsolute(Path.fromString("./file.txt")) == false
  */
 provide let isAbsolute = path => {
   let (base, _, _) = pathInfo(path)
@@ -490,9 +507,9 @@ let rec appendHelper = (path: PathInfo, toAppend: PathInfo) =>
  * @param toAppend: The relative path to append
  * @returns `Ok(path)` combining the base and appended paths or `Err(err)` if the paths are incompatible
  *
- * @example append(fromString("./dir/"), fromString("file.txt")) == Ok(fromString("./dir/file.txt"))
- * @example append(fromString("a.txt"), fromString("b.sh")) == Err(AppendToFile) // cannot append to file path
- * @example append(fromString("./dir/"), fromString("/dir2")) == Err(AppendAbsolute) // cannot append an absolute path
+ * @example Path.append(Path.fromString("./dir/"), Path.fromString("file.txt")) == Ok(Path.fromString("./dir/file.txt"))
+ * @example Path.append(Path.fromString("a.txt"), Path.fromString("b.sh")) == Err(Path.AppendToFile) // cannot append to file path
+ * @example Path.append(Path.fromString("./dir/"), Path.fromString("/dir2")) == Err(Path.AppendAbsolute) // cannot append an absolute path
  *
  * @since v0.5.5
  */
@@ -547,21 +564,21 @@ let relativeToHelper = (source: PathInfo, dest: PathInfo) => {
  * path from the source path.
  *
  * If the source and destination are incompatible in their bases, the result
- * will be `Err(IncompatibilityError)`.
+ * will be `Err(Path.IncompatibilityError)`.
  *
  * If the route to the destination cannot be concretely determined from the
- * source, the result will be `Err(ImpossibleRelativization)`.
+ * source, the result will be `Err(Path.ImpossibleRelativization)`.
  *
  * @param source: The source path
  * @param dest: The destination path to resolve
  * @returns `Ok(path)` containing the relative path if successfully resolved or `Err(err)` otherwise
  *
- * @example relativeTo(fromString("/usr"), fromString("/usr/bin")) == Ok(fromString("./bin"))
- * @example relativeTo(fromString("/home/me"), fromString("/home/me")) == Ok(fromString("."))
- * @example relativeTo(fromString("/file.txt"), fromString("/etc/")) == Ok(fromString("../etc/"))
- * @example relativeTo(fromString(".."), fromString("../../thing")) Ok(fromString("../thing"))
- * @example relativeTo(fromString("/usr/bin"), fromString("C:/Users")) == Err(Incompatible(DifferentRoots))
- * @example relativeTo(fromString("../here"), fromString("./there")) == Err(ImpossibleRelativization)
+ * @example Path.relativeTo(Path.fromString("/usr"), Path.fromString("/usr/bin")) == Ok(Path.fromString("./bin"))
+ * @example Path.relativeTo(Path.fromString("/home/me"), Path.fromString("/home/me")) == Ok(Path.fromString("."))
+ * @example Path.relativeTo(Path.fromString("/file.txt"), Path.fromString("/etc/")) == Ok(Path.fromString("../etc/"))
+ * @example Path.relativeTo(Path.fromString(".."), Path.fromString("../../thing")) Ok(Path.fromString("../thing"))
+ * @example Path.relativeTo(Path.fromString("/usr/bin"), Path.fromString("C:/Users")) == Err(Path.Incompatible(Path.DifferentRoots))
+ * @example Path.relativeTo(Path.fromString("../here"), Path.fromString("./there")) == Err(Path.ImpossibleRelativization)
  *
  * @since v0.5.5
  */
@@ -595,16 +612,16 @@ let ancestryHelper = (base: PathInfo, path: PathInfo) => {
 }
 
 /**
- * Determines the relative ancestry betwen two paths.
+ * Determines the relative ancestry between two paths.
  *
  * @param base: The first path to consider
  * @param path: The second path to consider
  * @returns `Ok(ancestryStatus)` with the relative ancestry between the paths if they are compatible or `Err(err)` if they are incompatible
  *
- * @example ancestry(fromString("/usr"), fromString("/usr/bin/bash")) == Ok(Ancestor)
- * @example ancestry(fromString("/Users/me"), fromString("/Users")) == Ok(Descendant)
- * @example ancestry(fromString("/usr"), fromString("/etc")) == Ok(Neither)
- * @example ancestry(fromString("C:/dir1"), fromString("/dir2")) == Err(DifferentRoots)
+ * @example Path.ancestry(Path.fromString("/usr"), Path.fromString("/usr/bin/bash")) == Ok(Path.Ancestor)
+ * @example Path.ancestry(Path.fromString("/Users/me"), Path.fromString("/Users")) == Ok(Path.Descendant)
+ * @example Path.ancestry(Path.fromString("/usr"), Path.fromString("/etc")) == Ok(Path.Neither)
+ * @example Path.ancestry(Path.fromString("C:/dir1"), Path.fromString("/dir2")) == Err(Path.DifferentRoots)
  *
  * @since v0.5.5
  */
@@ -631,8 +648,8 @@ let parentHelper = (path: PathInfo) => match (path) {
  * @param path: The path to inspect
  * @returns A path corresponding to the parent directory of the given path
  *
- * @example parent(fromString("./dir/inner")) == fromString("./dir/")
- * @example parent(fromString("/")) == fromString("/")
+ * @example Path.parent(Path.fromString("./dir/inner")) == Path.fromString("./dir/")
+ * @example Path.parent(Path.fromString("/")) == Path.fromString("/")
  *
  * @since v0.5.5
  */
@@ -651,8 +668,8 @@ let basenameHelper = (path: PathInfo) => match (path) {
  * @param path: The path to inspect
  * @returns `Some(path)` containing the basename of the path or `None` if the path does not have one
  *
- * @example basename(fromString("./dir/file.txt")) == Some("file.txt")
- * @example basename(fromString(".."))) == None
+ * @example Path.basename(Path.fromString("./dir/file.txt")) == Some("file.txt")
+ * @example Path.basename(Path.fromString(".."))) == None
  *
  * @since v0.5.5
  */
@@ -682,10 +699,10 @@ let stemExtHelper = (path: PathInfo) => match (path) {
  * @param path: The path to inspect
  * @returns `Ok(path)` containing the stem of the file path or `Err(err)` if the path is a directory path
  *
- * @example stem(fromString("file.txt")) == Ok("file")
- * @example stem(fromString(".gitignore")) == Ok(".gitignore")
- * @example stem(fromString(".a.tar.gz")) == Ok(".a")
- * @example stem(fromString("/dir/")) == Err(IncompatiblePathType) // can only take stem of a file path
+ * @example Path.stem(Path.fromString("file.txt")) == Ok("file")
+ * @example Path.stem(Path.fromString(".gitignore")) == Ok(".gitignore")
+ * @example Path.stem(Path.fromString(".a.tar.gz")) == Ok(".a")
+ * @example Path.stem(Path.fromString("/dir/")) == Err(Path.IncompatiblePathType) // can only take stem of a file path
  *
  * @since v0.5.5
  */
@@ -705,10 +722,10 @@ provide let stem = (path: Path) => {
  * @param path: The path to inspect
  * @returns `Ok(path)` containing the extension of the file path or `Err(err)` if the path is a directory path
  *
- * @example extension(fromString("file.txt")) == Ok(".txt")
- * @example extension(fromString(".gitignore")) == Ok("")
- * @example extension(fromString(".a.tar.gz")) == Ok(".tar.gz")
- * @example extension(fromString("/dir/")) == Err(IncompatiblePathType) // can only take extension of a file path
+ * @example Path.extension(Path.fromString("file.txt")) == Ok(".txt")
+ * @example Path.extension(Path.fromString(".gitignore")) == Ok("")
+ * @example Path.extension(Path.fromString(".a.tar.gz")) == Ok(".tar.gz")
+ * @example Path.extension(Path.fromString("/dir/")) == Err(Path.IncompatiblePathType) // can only take extension of a file path
  *
  * @since v0.5.5
  */
@@ -728,10 +745,10 @@ provide let extension = (path: Path) => {
  * @param path: The path to modify
  * @returns The path with the extension removed
  *
- * @example removeExtension(fromString("file.txt")) == fromString("file")
- * @example removeExtension(fromString(".gitignore")) == fromString(".gitignore")
- * @example removeExtension(fromString("./dir/file")) == fromString("dir/file")
- * @example removeExtension(fromString("./dir/")) == fromString("dir/")
+ * @example Path.removeExtension(Path.fromString("file.txt")) == Path.fromString("file")
+ * @example Path.removeExtension(Path.fromString(".gitignore")) == Path.fromString(".gitignore")
+ * @example Path.removeExtension(Path.fromString("./dir/file")) == Path.fromString("dir/file")
+ * @example Path.removeExtension(Path.fromString("./dir/")) == Path.fromString("dir/")
  *
  * @since v7.0.0
  */
@@ -752,11 +769,11 @@ provide let removeExtension = (path: Path) => {
  * @param extension: The new extension
  * @returns The modified path
  *
- * @example updateExtension(fromString("file.txt"), "ext") == fromString("file.ext")
- * @example updateExtension(fromString("file.txt"), "") == fromString("file.")
- * @example updateExtension(fromString(".gitignore"), "ext") == fromString(".gitignore.ext")
- * @example updateExtension(fromString("./dir/file"), "ext") == fromString("dir/file.ext")
- * @example updateExtension(fromString("./dir/"), "ext") == fromString("dir/")
+ * @example Path.updateExtension(Path.fromString("file.txt"), "ext") == Path.fromString("file.ext")
+ * @example Path.updateExtension(Path.fromString("file.txt"), "") == Path.fromString("file.")
+ * @example Path.updateExtension(Path.fromString(".gitignore"), "ext") == Path.fromString(".gitignore.ext")
+ * @example Path.updateExtension(Path.fromString("./dir/file"), "ext") == Path.fromString("dir/file.ext")
+ * @example Path.updateExtension(Path.fromString("./dir/"), "ext") == Path.fromString("dir/")
  *
  * @since v7.0.0
  */
@@ -782,9 +799,9 @@ let rootHelper = (path: PathInfo) => match (path) {
  * @param path: The path to inspect
  * @returns `Ok(root)` containing the root of the path or `Err(err)` if the path is a relative path
  *
- * @example root(fromString("C:/Users/me/")) == Ok(Drive('C'))
- * @example root(fromString("/home/me/")) == Ok(Root)
- * @example root(fromString("./file.txt")) == Err(IncompatiblePathType)
+ * @example Path.root(Path.fromString("C:/Users/me/")) == Ok(Path.Drive('C'))
+ * @example Path.root(Path.fromString("/home/me/")) == Ok(Path.Root)
+ * @example Path.root(Path.fromString("./file.txt")) == Err(Path.IncompatiblePathType)
  *
  * @since v0.5.5
  */

package/path.md

@@ -28,12 +28,21 @@ No other changes yet.
 from "path" include Path
 ```
 
+```grain
+let p = Path.fromString("./tmp/file.txt")
+```
+
 ## Types
 
 Type declarations included in the Path module.
 
 ### Path.**AbsoluteRoot**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum AbsoluteRoot {
   Root,
@@ -45,6 +54,11 @@ Represents an absolute path's anchor point.
 
 ### Path.**Relative**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 type Relative
 ```
@@ -53,6 +67,11 @@ Represents a relative path.
 
 ### Path.**Absolute**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 type Absolute
 ```
@@ -61,6 +80,11 @@ Represents an absolute path.
 
 ### Path.**File**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 type File
 ```
@@ -69,6 +93,11 @@ Represents a path referencing a file.
 
 ### Path.**Directory**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 type Directory
 ```
@@ -77,6 +106,11 @@ Represents a path referencing a directory.
 
 ### Path.**TypedPath**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 type TypedPath<a, b>
 ```
@@ -86,6 +120,11 @@ Represents a path typed on (`Absolute` or `Relative`) and (`File` or
 
 ### Path.**Path**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum Path {
   AbsoluteFile(TypedPath<Absolute, File>),
@@ -99,6 +138,11 @@ Represents a system path.
 
 ### Path.**Platform**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum Platform {
   Windows,
@@ -110,6 +154,11 @@ Represents a platform-specific path encoding scheme.
 
 ### Path.**PathOperationError**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum PathOperationError {
   IncompatiblePathType,
@@ -120,6 +169,11 @@ Represents an error that can occur when finding a property of a path.
 
 ### Path.**AppendError**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum AppendError {
   AppendToFile,
@@ -131,6 +185,11 @@ Represents an error that can occur when appending paths.
 
 ### Path.**AncestryStatus**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum AncestryStatus {
   Descendant,
@@ -144,6 +203,11 @@ Represents the status of an ancestry check between two paths.
 
 ### Path.**IncompatibilityError**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum IncompatibilityError {
   DifferentRoots,
@@ -156,6 +220,11 @@ for an operation.
 
 ### Path.**RelativizationError**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.5</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 enum RelativizationError {
   Incompatible(IncompatibilityError),
@@ -208,19 +277,19 @@ Returns:
 Examples:
 
 ```grain
-fromString("file.txt") // a relative Path referencing the file ./file.txt
+Path.fromString("file.txt") // a relative Path referencing the file ./file.txt
 ```
 
 ```grain
-fromString(".") // a relative Path referencing the current directory
+Path.fromString(".") // a relative Path referencing the current directory
 ```
 
 ```grain
-fromString("/bin/", Posix) // an absolute Path referencing the directory /bin/
+Path.fromString("/bin/", Path.Posix) // an absolute Path referencing the directory /bin/
 ```
 
 ```grain
-fromString("C:\\file.txt", Windows) // a relative Path referencing the file C:\file.txt
+Path.fromString("C:\\file.txt", Path.Windows) // a relative Path referencing the file C:\file.txt
 ```
 
 ### Path.**toString**
@@ -261,15 +330,15 @@ Returns:
 Examples:
 
 ```grain
-toString(fromString("/file.txt")) == "/file.txt"
+Path.toString(Path.fromString("/file.txt")) == "/file.txt"
 ```
 
 ```grain
-toString(fromString("dir/"), Posix) == "./dir/"
+Path.toString(Path.fromString("dir/"), Path.Posix) == "./dir/"
 ```
 
 ```grain
-toString(fromString("C:/file.txt"), Windows) == "C:\\file.txt"
+Path.toString(Path.fromString("C:/file.txt"), Path.Windows) == "C:\\file.txt"
 ```
 
 ### Path.**isDirectory**
@@ -300,11 +369,11 @@ Returns:
 Examples:
 
 ```grain
-isDirectory(fromString("file.txt")) == false
+Path.isDirectory(Path.fromString("file.txt")) == false
 ```
 
 ```grain
-isDirectory(fromString("/bin/")) == true
+Path.isDirectory(Path.fromString("/bin/")) == true
 ```
 
 ### Path.**isAbsolute**
@@ -330,11 +399,11 @@ Returns:
 Examples:
 
 ```grain
-isAbsolute(fromString("/Users/me")) == true
+Path.isAbsolute(Path.fromString("/Users/me")) == true
 ```
 
 ```grain
-isAbsolute(fromString("./file.txt")) == false
+Path.isAbsolute(Path.fromString("./file.txt")) == false
 ```
 
 ### Path.**append**
@@ -366,15 +435,15 @@ Returns:
 Examples:
 
 ```grain
-append(fromString("./dir/"), fromString("file.txt")) == Ok(fromString("./dir/file.txt"))
+Path.append(Path.fromString("./dir/"), Path.fromString("file.txt")) == Ok(Path.fromString("./dir/file.txt"))
 ```
 
 ```grain
-append(fromString("a.txt"), fromString("b.sh")) == Err(AppendToFile) // cannot append to file path
+Path.append(Path.fromString("a.txt"), Path.fromString("b.sh")) == Err(Path.AppendToFile) // cannot append to file path
 ```
 
 ```grain
-append(fromString("./dir/"), fromString("/dir2")) == Err(AppendAbsolute) // cannot append an absolute path
+Path.append(Path.fromString("./dir/"), Path.fromString("/dir2")) == Err(Path.AppendAbsolute) // cannot append an absolute path
 ```
 
 ### Path.**relativeTo**
@@ -392,10 +461,10 @@ Attempts to construct a new relative path which will lead to the destination
 path from the source path.
 
 If the source and destination are incompatible in their bases, the result
-will be `Err(IncompatibilityError)`.
+will be `Err(Path.IncompatibilityError)`.
 
 If the route to the destination cannot be concretely determined from the
-source, the result will be `Err(ImpossibleRelativization)`.
+source, the result will be `Err(Path.ImpossibleRelativization)`.
 
 Parameters:
 
@@ -413,27 +482,27 @@ Returns:
 Examples:
 
 ```grain
-relativeTo(fromString("/usr"), fromString("/usr/bin")) == Ok(fromString("./bin"))
+Path.relativeTo(Path.fromString("/usr"), Path.fromString("/usr/bin")) == Ok(Path.fromString("./bin"))
 ```
 
 ```grain
-relativeTo(fromString("/home/me"), fromString("/home/me")) == Ok(fromString("."))
+Path.relativeTo(Path.fromString("/home/me"), Path.fromString("/home/me")) == Ok(Path.fromString("."))
 ```
 
 ```grain
-relativeTo(fromString("/file.txt"), fromString("/etc/")) == Ok(fromString("../etc/"))
+Path.relativeTo(Path.fromString("/file.txt"), Path.fromString("/etc/")) == Ok(Path.fromString("../etc/"))
 ```
 
 ```grain
-relativeTo(fromString(".."), fromString("../../thing")) Ok(fromString("../thing"))
+Path.relativeTo(Path.fromString(".."), Path.fromString("../../thing")) Ok(Path.fromString("../thing"))
 ```
 
 ```grain
-relativeTo(fromString("/usr/bin"), fromString("C:/Users")) == Err(Incompatible(DifferentRoots))
+Path.relativeTo(Path.fromString("/usr/bin"), Path.fromString("C:/Users")) == Err(Path.Incompatible(Path.DifferentRoots))
 ```
 
 ```grain
-relativeTo(fromString("../here"), fromString("./there")) == Err(ImpossibleRelativization)
+Path.relativeTo(Path.fromString("../here"), Path.fromString("./there")) == Err(Path.ImpossibleRelativization)
 ```
 
 ### Path.**ancestry**
@@ -448,7 +517,7 @@ ancestry:
   (base: Path, path: Path) => Result<AncestryStatus, IncompatibilityError>
 ```
 
-Determines the relative ancestry betwen two paths.
+Determines the relative ancestry between two paths.
 
 Parameters:
 
@@ -466,19 +535,19 @@ Returns:
 Examples:
 
 ```grain
-ancestry(fromString("/usr"), fromString("/usr/bin/bash")) == Ok(Ancestor)
+Path.ancestry(Path.fromString("/usr"), Path.fromString("/usr/bin/bash")) == Ok(Path.Ancestor)
 ```
 
 ```grain
-ancestry(fromString("/Users/me"), fromString("/Users")) == Ok(Descendant)
+Path.ancestry(Path.fromString("/Users/me"), Path.fromString("/Users")) == Ok(Path.Descendant)
 ```
 
 ```grain
-ancestry(fromString("/usr"), fromString("/etc")) == Ok(Neither)
+Path.ancestry(Path.fromString("/usr"), Path.fromString("/etc")) == Ok(Path.Neither)
 ```
 
 ```grain
-ancestry(fromString("C:/dir1"), fromString("/dir2")) == Err(DifferentRoots)
+Path.ancestry(Path.fromString("C:/dir1"), Path.fromString("/dir2")) == Err(Path.DifferentRoots)
 ```
 
 ### Path.**parent**
@@ -509,11 +578,11 @@ Returns:
 Examples:
 
 ```grain
-parent(fromString("./dir/inner")) == fromString("./dir/")
+Path.parent(Path.fromString("./dir/inner")) == Path.fromString("./dir/")
 ```
 
 ```grain
-parent(fromString("/")) == fromString("/")
+Path.parent(Path.fromString("/")) == Path.fromString("/")
 ```
 
 ### Path.**basename**
@@ -544,11 +613,11 @@ Returns:
 Examples:
 
 ```grain
-basename(fromString("./dir/file.txt")) == Some("file.txt")
+Path.basename(Path.fromString("./dir/file.txt")) == Some("file.txt")
 ```
 
 ```grain
-basename(fromString(".."))) == None
+Path.basename(Path.fromString(".."))) == None
 ```
 
 ### Path.**stem**
@@ -579,19 +648,19 @@ Returns:
 Examples:
 
 ```grain
-stem(fromString("file.txt")) == Ok("file")
+Path.stem(Path.fromString("file.txt")) == Ok("file")
 ```
 
 ```grain
-stem(fromString(".gitignore")) == Ok(".gitignore")
+Path.stem(Path.fromString(".gitignore")) == Ok(".gitignore")
 ```
 
 ```grain
-stem(fromString(".a.tar.gz")) == Ok(".a")
+Path.stem(Path.fromString(".a.tar.gz")) == Ok(".a")
 ```
 
 ```grain
-stem(fromString("/dir/")) == Err(IncompatiblePathType) // can only take stem of a file path
+Path.stem(Path.fromString("/dir/")) == Err(Path.IncompatiblePathType) // can only take stem of a file path
 ```
 
 ### Path.**extension**
@@ -622,19 +691,19 @@ Returns:
 Examples:
 
 ```grain
-extension(fromString("file.txt")) == Ok(".txt")
+Path.extension(Path.fromString("file.txt")) == Ok(".txt")
 ```
 
 ```grain
-extension(fromString(".gitignore")) == Ok("")
+Path.extension(Path.fromString(".gitignore")) == Ok("")
 ```
 
 ```grain
-extension(fromString(".a.tar.gz")) == Ok(".tar.gz")
+Path.extension(Path.fromString(".a.tar.gz")) == Ok(".tar.gz")
 ```
 
 ```grain
-extension(fromString("/dir/")) == Err(IncompatiblePathType) // can only take extension of a file path
+Path.extension(Path.fromString("/dir/")) == Err(Path.IncompatiblePathType) // can only take extension of a file path
 ```
 
 ### Path.**removeExtension**
@@ -665,19 +734,19 @@ Returns:
 Examples:
 
 ```grain
-removeExtension(fromString("file.txt")) == fromString("file")
+Path.removeExtension(Path.fromString("file.txt")) == Path.fromString("file")
 ```
 
 ```grain
-removeExtension(fromString(".gitignore")) == fromString(".gitignore")
+Path.removeExtension(Path.fromString(".gitignore")) == Path.fromString(".gitignore")
 ```
 
 ```grain
-removeExtension(fromString("./dir/file")) == fromString("dir/file")
+Path.removeExtension(Path.fromString("./dir/file")) == Path.fromString("dir/file")
 ```
 
 ```grain
-removeExtension(fromString("./dir/")) == fromString("dir/")
+Path.removeExtension(Path.fromString("./dir/")) == Path.fromString("dir/")
 ```
 
 ### Path.**updateExtension**
@@ -709,23 +778,23 @@ Returns:
 Examples:
 
 ```grain
-updateExtension(fromString("file.txt"), "ext") == fromString("file.ext")
+Path.updateExtension(Path.fromString("file.txt"), "ext") == Path.fromString("file.ext")
 ```
 
 ```grain
-updateExtension(fromString("file.txt"), "") == fromString("file.")
+Path.updateExtension(Path.fromString("file.txt"), "") == Path.fromString("file.")
 ```
 
 ```grain
-updateExtension(fromString(".gitignore"), "ext") == fromString(".gitignore.ext")
+Path.updateExtension(Path.fromString(".gitignore"), "ext") == Path.fromString(".gitignore.ext")
 ```
 
 ```grain
-updateExtension(fromString("./dir/file"), "ext") == fromString("dir/file.ext")
+Path.updateExtension(Path.fromString("./dir/file"), "ext") == Path.fromString("dir/file.ext")
 ```
 
 ```grain
-updateExtension(fromString("./dir/"), "ext") == fromString("dir/")
+Path.updateExtension(Path.fromString("./dir/"), "ext") == Path.fromString("dir/")
 ```
 
 ### Path.**root**
@@ -756,14 +825,14 @@ Returns:
 Examples:
 
 ```grain
-root(fromString("C:/Users/me/")) == Ok(Drive('C'))
+Path.root(Path.fromString("C:/Users/me/")) == Ok(Path.Drive('C'))
 ```
 
 ```grain
-root(fromString("/home/me/")) == Ok(Root)
+Path.root(Path.fromString("/home/me/")) == Ok(Path.Root)
 ```
 
 ```grain
-root(fromString("./file.txt")) == Err(IncompatiblePathType)
+Path.root(Path.fromString("./file.txt")) == Err(Path.IncompatiblePathType)
 ```
 

package/runtime/unsafe/memory.gr

@@ -15,20 +15,7 @@ provide { malloc, free, incRef, decRef }
  * @param src: The source memory region
  * @param length: The length of the memory region to copy
  */
-provide let copy = (dest, src, length) => {
-  if (dest != src) {
-    if (dest < src) {
-      for (let mut i = 0n; i < length; i += 1n) {
-        WasmI32.store8(dest, WasmI32.load8U(src, i), i)
-      }
-    } else {
-      // Copy backwards to ensure we do not overwrite on overlapping regions
-      for (let mut n = length; n > 0n; n -= 1n) {
-        WasmI32.store8(dest + n - 1n, WasmI32.load8U(src + n - 1n, 0n), 0n)
-      }
-    }
-  }
-}
+provide primitive copy = "@wasm.memory_copy"
 
 /**
  * Fills the given memory region with the given 1-byte value. Values larger than 1 byte will be truncated.
@@ -37,10 +24,6 @@ provide let copy = (dest, src, length) => {
  * @param value: The value to fill the memory region with
  * @param length: The length of the memory region to fill
  */
-provide let fill = (dest, value, length) => {
-  for (let mut i = 0n; i < length; i += 1n) {
-    WasmI32.store8(dest, value, i)
-  }
-}
+provide primitive fill = "@wasm.memory_fill"
 
 provide primitive compare = "@wasm.memory_compare"