diff options
Diffstat (limited to 'samples/fun/rng-state.bruijn')
| -rw-r--r-- | samples/fun/rng-state.bruijn | 11 |
1 files changed, 3 insertions, 8 deletions
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 |