docs: add Ref data type

lamdalib · Dec 14, 2024 · 925f753 · 925f753
1 parent 3b05e65
commit 925f753
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -174,6 +174,7 @@ flowchart BT
 flowchart BT
     State --> StateT
     Eval
+    Ref
     Id
 ```
 
@@ -195,7 +196,7 @@ flowchart BT
 | Eval[A]           | ✔       | ✔        | ✔           | ✔          | ?          | ?          | ?        | ✔       |
 | State[A]          | ?       | ?        | ?           | ?          | ?          | ?          | ?        | ?       |
 | IO[A]             | ?       | ?        | ?           | ✔          | ?          | ?          | ?        | ?       |
-| NonEmptyList[A]   | ?       | ?        | ?           | ?          | ?          | ?          | ?        | ?       |
+| Ref[M, A]         | ?       | ?        | ?           | ?          | ?          | ?          | ?        | ?       |
 
 ## Laws and Tests