Update docs

swan-io · Oct 22, 2024 · 9b21e9d · 9b21e9d
1 parent 56ac0af
commit 9b21e9d
Show file tree

Hide file tree

Showing 6 changed files with 13 additions and 1 deletion.
diff --git a/docs/docs/async-data.md b/docs/docs/async-data.md
@@ -25,6 +25,10 @@ const loading = AsyncData.Loading();
 const done = AsyncData.Done(1);
 ```
 
+:::tip Since v3.0.0
+`AsyncData` values are referentially equal if they contain the same value, meaning that `AsyncData.Done(1) === AsyncData.Done(1)`.
+:::
+
 ## Methods
 
 The async data type provides a few manipulation functions:

diff --git a/docs/docs/option.md b/docs/docs/option.md
@@ -40,6 +40,10 @@ const b = Option.fromNull(value);
 const c = Option.fromUndefined(value);
 ```
 
+:::tip Since v3.0.0
+`Option` values are referentially equal if they contain the same value, meaning that `Option.Some(1) === Option.Some(1)`.
+:::
+
 ## Methods
 
 The option type provides a few manipulation functions:

diff --git a/docs/docs/result.md b/docs/docs/result.md
@@ -60,6 +60,10 @@ const value = await Result.fromPromise(() => fetch("/api"));
 // - Error(error)
 ```
 
+:::tip Since v3.0.0
+`Result` values are referentially equal if they contain the same value, meaning that `Result.Ok(1) === Result.Ok(1)` and `Result.Error(1) === Result.Error(1)`.
+:::
+
 ## Methods
 
 The result type provides a few manipulation functions:

diff --git a/docs/src/pages/index.js b/docs/src/pages/index.js
@@ -172,7 +172,7 @@ export default function Home() {
                   }}
                   muted
                   loop
-                  src="/boxed/video/ide.mov"
+                  src="/boxed/video/ide.m4v"
                   playsInline
                   controls={false}
                   preload="metadata"

diff --git a/docs/static/video/ide.m4v b/docs/static/video/ide.m4v
diff --git a/docs/static/video/ide.mov b/docs/static/video/ide.mov