diff options
Diffstat (limited to 'std/Monad')
| -rw-r--r-- | std/Monad/Parser.bruijn | 2 | ||||
| -rw-r--r-- | std/Monad/State.bruijn | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/std/Monad/Parser.bruijn b/std/Monad/Parser.bruijn index c6b53a3..b32eb78 100644 --- a/std/Monad/Parser.bruijn +++ b/std/Monad/Parser.bruijn @@ -69,5 +69,3 @@ alt [[[2 0 R.ok err]]] ⧗ (Parser a) → (Parser a) → (Parser a) :test (k <$ (string "ab") "abc") (R.ok (k : "c")) :test ((char '{') *> (string "wow") <* (char '}') "{wow}{owo}") (R.ok ("wow" : "{owo}")) - -between [[[2 *> 0 <* 1]]] ⧗ (Parser a) → (Parser a) → (Parser a) diff --git a/std/Monad/State.bruijn b/std/Monad/State.bruijn index 14c2669..8a7ef25 100644 --- a/std/Monad/State.bruijn +++ b/std/Monad/State.bruijn @@ -1,4 +1,5 @@ # MIT License, Copyright (c) 2024 Marvin Borner +# see samples/fun/rng-state for example usage :import std/Combinator . |