blob: e015efaaecae44c99b38214fbeb344f64430f451 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# MIT License, Copyright (c) 2023 Marvin Borner
# monadic interface for anything based on lists (e.g. IO, strings)
# afaik originally proposed by John Tromp and inspired by Haskell
:import std/Pair .
:import std/Combinator .
read [0] ⧗ a → (M a)
return [[1 : 0]] ⧗ a → (M a)
pure return ⧗ a → (M a)
# monadic bind operator
…>>=… [[[2 0 1]]] ⧗ (M a) → (a → (M b)) → (M a)
:test ((read >>= return) "woa") ("woa")
# monadic reverse bind operator
…=<<… \…>>=… ⧗ (a → (M b)) → (M a) → (M b)
:test ((return =<< read) "woa") ("woa")
# monadic compose operator
…>>… [[1 >>= [1]]] ⧗ (M a) → (M b) → (M b)
:test ((read >> (return 'a')) "hah") ("aah")
|
