From 3f149e2807c2249487b0a1583b266859a557c694 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 6 Nov 2024 15:18:17 +0100
Subject: Minor improvements

---
 std/Option.bruijn | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'std/Option.bruijn')

diff --git a/std/Option.bruijn b/std/Option.bruijn
index a6323d2..36387c2 100644
--- a/std/Option.bruijn
+++ b/std/Option.bruijn
@@ -50,3 +50,12 @@ result-or [[0 [[0 3]] [[[1 2]]]]]
 
 :test (result-or "fail" none) ([[0 "fail"]])
 :test (result-or "fail" (some "ok")) ([[1 "ok"]])
+
+pure some ⧗ a → (Option a)
+
+bind [[1 1 0]] ⧗ (Option a) → (a → (Option b)) → (Option a)
+
+…>>=… bind
+
+:test (none >>= (pure "idk")) (none)
+:test ((some 'a') >>= [pure [1]]) (some ['a'])
-- 
cgit v1.2.3