@grain/stdlib 0.5.0 → 0.5.3

package/string.gr

@@ -11,6 +11,7 @@ import Memory from "runtime/unsafe/memory"
 import Exception from "runtime/exception"
 import Conv from "runtime/unsafe/conv"
 import {
+  untagSimpleNumber,
   tagSimpleNumber,
   tagChar,
   untagChar,
@@ -100,7 +101,7 @@ export let byteLength = (string: String) => {
 }
 
 /**
- * Finds the position of a substring in the input string.
+ * Finds the first position of a substring in the input string.
  *
  * @param search: The substring to find
  * @param string: The string to inspect
@@ -161,6 +162,65 @@ export let indexOf = (search: String, string: String) => {
   }
 }
 
+/**
+ * Finds the last position of a substring in the input string.
+ *
+ * @param search: The substring to find
+ * @param string: The string to inspect
+ * @returns `Some(position)` containing the starting position of the substring if found or `None` otherwise
+ *
+ * @example String.lastIndexOf("world", "Hello world world") == Some(12)
+ *
+ * @since v0.5.3
+ */
+@unsafe
+export let lastIndexOf = (search: String, string: String) => {
+  // The last possible index in the string given the length of the search
+  let lastIndex = length(string) - length(search)
+
+  let (>) = WasmI32.gtU
+  let (>=) = WasmI32.geU
+  let (==) = WasmI32.eq
+  let (!=) = WasmI32.ne
+  let (+) = WasmI32.add
+  let (-) = WasmI32.sub
+  let (&) = WasmI32.and
+
+  let search = WasmI32.fromGrain(search)
+  let string = WasmI32.fromGrain(string)
+  let searchSize = WasmI32.load(search, 4n)
+  let stringSize = WasmI32.load(string, 4n)
+  if (searchSize > stringSize) {
+    None
+  } else {
+    let mut matchIndex = -1n
+    let mut stringIndex = untagSimpleNumber(lastIndex)
+    let searchPtr = search + 8n
+    let stringStartPtr = string + 8n
+    for (
+      let mut stringPtr = stringStartPtr + stringSize - searchSize;
+      stringPtr >= stringStartPtr;
+      stringPtr -= 1n
+    ) {
+      let byte = WasmI32.load8U(stringPtr, 0n)
+      if ((byte & 0xC0n) == 0x80n) {
+        // We're not at the start of a codepoint, so move on
+        continue
+      }
+      if (Memory.compare(stringPtr, searchPtr, searchSize) == 0n) {
+        matchIndex = stringIndex
+        break
+      }
+      stringIndex -= 1n
+    }
+    if (matchIndex == -1n) {
+      None
+    } else {
+      Some(tagSimpleNumber(matchIndex))
+    }
+  }
+}
+
 @disableGC
 let getCodePoint = (ptr: WasmI32) => {
   // Algorithm from https://encoding.spec.whatwg.org/#utf-8-decoder
@@ -221,19 +281,9 @@ let getCodePoint = (ptr: WasmI32) => {
   }
   result
 }
-/**
- * Get the character at the position in the input string.
- *
- * @param position: The position to check
- * @param string: The string to search
- * @returns The character at the provided position
- *
- * @example String.charAt(5, "Hello world") == ' '
- *
- * @since v0.4.0
- */
+
 @unsafe
-export let charAt = (position, string: String) => {
+let charAtHelp = (position, string: String) => {
   if (length(string) <= position || position < 0) {
     fail "Invalid offset: " ++ toString(position)
   }
@@ -249,10 +299,10 @@ export let charAt = (position, string: String) => {
   let mut ptr = string + 8n
   let end = ptr + size
   let mut counter = 0n
-  let mut result = WasmI32.toGrain(0n): Char
+  let mut result = 0n
   while (ptr < end) {
     if (counter == position) {
-      result = tagChar(getCodePoint(ptr))
+      result = getCodePoint(ptr)
       break
     }
     let byte = WasmI32.load8U(ptr, 0n)
@@ -274,6 +324,38 @@ export let charAt = (position, string: String) => {
   result
 }
 
+/**
+ * Get the Unicode code point at the position in the input string.
+ *
+ * @param position: The position to check
+ * @param string: The string to search
+ * @returns The character code at the provided position
+ *
+ * @example String.charCodeAt(5, "Hello world") == 32
+ *
+ * @since v0.5.3
+ */
+@unsafe
+export let charCodeAt = (position, string: String) => {
+  tagSimpleNumber(charAtHelp(position, string))
+}
+
+/**
+ * Get the character at the position in the input string.
+ *
+ * @param position: The position to check
+ * @param string: The string to search
+ * @returns The character at the provided position
+ *
+ * @example String.charAt(5, "Hello world") == ' '
+ *
+ * @since v0.4.0
+ */
+@unsafe
+export let charAt = (position, string: String) => {
+  tagChar(charAtHelp(position, string))
+}
+
 @unsafe
 let explodeHelp = (s: String, chars) => {
   let (>>>) = WasmI32.shrU

package/string.md

@@ -148,7 +148,7 @@ No other changes yet.
 indexOf : (String, String) -> Option<Number>
 ```
 
-Finds the position of a substring in the input string.
+Finds the first position of a substring in the input string.
 
 Parameters:
 
@@ -169,6 +169,70 @@ Examples:
 String.indexOf("world", "Hello world") == Some(6)
 ```
 
+### String.**lastIndexOf**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.3</code></summary>
+No other changes yet.
+</details>
+
+```grain
+lastIndexOf : (String, String) -> Option<Number>
+```
+
+Finds the last position of a substring in the input string.
+
+Parameters:
+
+|param|type|description|
+|-----|----|-----------|
+|`search`|`String`|The substring to find|
+|`string`|`String`|The string to inspect|
+
+Returns:
+
+|type|description|
+|----|-----------|
+|`Option<Number>`|`Some(position)` containing the starting position of the substring if found or `None` otherwise|
+
+Examples:
+
+```grain
+String.lastIndexOf("world", "Hello world world") == Some(12)
+```
+
+### String.**charCodeAt**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.5.3</code></summary>
+No other changes yet.
+</details>
+
+```grain
+charCodeAt : (Number, String) -> Number
+```
+
+Get the Unicode code point at the position in the input string.
+
+Parameters:
+
+|param|type|description|
+|-----|----|-----------|
+|`position`|`Number`|The position to check|
+|`string`|`String`|The string to search|
+
+Returns:
+
+|type|description|
+|----|-----------|
+|`Number`|The character code at the provided position|
+
+Examples:
+
+```grain
+String.charCodeAt(5, "Hello world") == 32
+```
+
 ### String.**charAt**
 
 <details disabled>

package/sys/file.gr

@@ -1,5 +1,5 @@
 /**
- * @module Sys/File: Utilities for accessing the filesystem & working with files.
+ * @module File: Utilities for accessing the filesystem & working with files.
  *
  * Many of the functions in this module are not intended to be used directly, but rather for other libraries to be built on top of them.
  *
@@ -36,7 +36,7 @@ import {
 import List from "list"
 
 /**
- * @section Types: Type declarations included in the Sys/File module.
+ * @section Types: Type declarations included in the File module.
  */
 
 /**
@@ -421,7 +421,7 @@ export record DirectoryEntry {
 }
 
 /**
- * @section Values: Functions and constants included in the Sys/File module.
+ * @section Values: Functions and constants included in the File module.
  */
 
 /**

package/sys/file.md

@@ -1,5 +1,5 @@
 ---
-title: Sys/File
+title: File
 ---
 
 Utilities for accessing the filesystem & working with files.
@@ -12,7 +12,7 @@ import File from "sys/file"
 
 ## Types
 
-Type declarations included in the Sys/File module.
+Type declarations included in the File module.
 
 ### File.**FileDescriptor**
 
@@ -173,7 +173,7 @@ An entry in a directory.
 
 ## Values
 
-Functions and constants included in the Sys/File module.
+Functions and constants included in the File module.
 
 ### File.**stdin**
 

package/sys/process.gr

@@ -1,5 +1,5 @@
 /**
- * @module Sys/Process: Utilities for accessing functionality and information about the Grain program's process.
+ * @module Process: Utilities for accessing functionality and information about the Grain program's process.
  *
  * This includes things like accessing environment variables and sending signals.
  *
@@ -25,7 +25,7 @@ import {
 } from "runtime/dataStructures"
 
 /**
- * @section Types: Type declarations included in the Sys/Process module.
+ * @section Types: Type declarations included in the Process module.
  */
 
 /**
@@ -91,7 +91,7 @@ export enum Signal {
 }
 
 /**
- * @section Values: Functions and constants included in the Sys/Process module.
+ * @section Values: Functions and constants included in the Process module.
  */
 
 /**

package/sys/process.md

@@ -1,5 +1,5 @@
 ---
-title: Sys/Process
+title: Process
 ---
 
 Utilities for accessing functionality and information about the Grain program's process.
@@ -12,7 +12,7 @@ import Process from "sys/process"
 
 ## Types
 
-Type declarations included in the Sys/Process module.
+Type declarations included in the Process module.
 
 ### Process.**Signal**
 
@@ -55,7 +55,7 @@ Signals that can be sent to the host system.
 
 ## Values
 
-Functions and constants included in the Sys/Process module.
+Functions and constants included in the Process module.
 
 ### Process.**argv**
 

package/sys/random.gr

@@ -1,5 +1,5 @@
 /**
- * @module Sys/Random: System access to random values.
+ * @module Random: System access to random values.
  *
  * @example import Random from "sys/random"
  */
@@ -11,7 +11,7 @@ import Wasi from "runtime/wasi"
 import { tagSimpleNumber, newInt32, newInt64 } from "runtime/dataStructures"
 
 /**
- * @section Values: Functions and constants included in the Sys/Random module.
+ * @section Values: Functions and constants included in the Random module.
  */
 
 /**

package/sys/random.md

@@ -1,5 +1,5 @@
 ---
-title: Sys/Random
+title: Random
 ---
 
 System access to random values.
@@ -10,12 +10,12 @@ import Random from "sys/random"
 
 ## Values
 
-Functions and constants included in the Sys/Random module.
+Functions and constants included in the Random module.
 
 ### Random.**randomInt32**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -34,7 +34,7 @@ Returns:
 ### Random.**randomInt64**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 

package/sys/time.gr

@@ -1,5 +1,5 @@
 /**
- * @module Sys/Time: Access to system clocks.
+ * @module Time: Access to system clocks.
  *
  * @example import Time from "sys/time"
  */
@@ -15,7 +15,7 @@ import Errors from "runtime/unsafe/errors"
 import { allocateInt64, tagSimpleNumber } from "runtime/dataStructures"
 
 /**
- * @section Values: Functions and constants included in the Sys/Time module.
+ * @section Values: Functions and constants included in the Time module.
  */
 
 @unsafe

package/sys/time.md

@@ -1,5 +1,5 @@
 ---
-title: Sys/Time
+title: Time
 ---
 
 Access to system clocks.
@@ -10,7 +10,7 @@ import Time from "sys/time"
 
 ## Values
 
-Functions and constants included in the Sys/Time module.
+Functions and constants included in the Time module.
 
 ### Time.**realTime**