From 4b38d1af08288e80a29c84fe02a40ac925331f21 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 27 Nov 2024 15:16:11 +0100
Subject: Monad improvements

---
 samples/fun/rng-state.bruijn | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

(limited to 'samples/fun/rng-state.bruijn')

diff --git a/samples/fun/rng-state.bruijn b/samples/fun/rng-state.bruijn
index 795bad1..49d77bc 100644
--- a/samples/fun/rng-state.bruijn
+++ b/samples/fun/rng-state.bruijn
@@ -14,14 +14,9 @@ rand [[[0 1 1]] rng]
 
 rand-bool map even? rand
 
-# accumulating bind (reversed)
-triple1 rand >>= (rand >>= (rand >>= [[[[[0 3 [0 3 [0 3 [[0]]]]]]]]]))
-
-:test ((triple1 (+50) [[1]]) =? (+745)) ([[1]])
-
 # normal bind
-triple2 rand >>= [rand >>= [rand >>= [[[0 4 [0 4 [0 4 [[0]]]]]]]]]
+triple rand >>= [rand >>= [rand >>= [pure [0 1 2 3]]]]
 
-:test ((triple2 (+50) [[1]]) =? (+595)) ([[1]])
+:test ((triple (+50) [[1]]) =? (+595)) ([[[2]]])
 
-main string→number → triple2
+main string→number → triple
-- 
cgit v1.2.3