From 925f7533a5a2bc3c0b8cd3b2c73a00b623f97b96 Mon Sep 17 00:00:00 2001 From: csgn Date: Sat, 14 Dec 2024 21:30:32 +0300 Subject: [PATCH] docs: add Ref data type --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 3b27d8c..96f7821 100644 --- 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