diff options
| author | Marvin Borner | 2024-10-26 21:40:49 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-10-26 21:40:49 +0200 |
| commit | 10e46668751765c2981a07da3bc9411093db2bee (patch) | |
| tree | 370b6ef698ebf0cd119b523a8bef382552c351dd | |
| parent | 20e3e03914b128a77595e39ee909a42d425a5d4b (diff) | |
Minor fixes
| -rw-r--r-- | bruijn.cabal | 2 | ||||
| -rw-r--r-- | std/List/Church.bruijn | 2 | ||||
| -rw-r--r-- | std/Monad/Parser.bruijn | 2 | ||||
| -rw-r--r-- | std/Monad/State.bruijn | 1 | ||||
| -rw-r--r-- | std/Option.bruijn | 1 |
5 files changed, 4 insertions, 4 deletions
diff --git a/bruijn.cabal b/bruijn.cabal index a60d78f..0938354 100644 --- a/bruijn.cabal +++ b/bruijn.cabal @@ -36,6 +36,7 @@ data-files: std/String.bruijn std/test_all.sh std/AIT/Beavers.bruijn + std/Generic/Monad.bruijn std/Generic/Number.bruijn std/List/Church.bruijn std/List/Parigot.bruijn @@ -45,7 +46,6 @@ data-files: std/Math/Complex.bruijn std/Math/Rational.bruijn std/Math/Real.bruijn - std/Monad/Generic.bruijn std/Monad/List.bruijn std/Monad/Parser.bruijn std/Monad/State.bruijn diff --git a/std/List/Church.bruijn b/std/List/Church.bruijn index 636e3aa..c8d5d29 100644 --- a/std/List/Church.bruijn +++ b/std/List/Church.bruijn @@ -538,6 +538,6 @@ y* [[[0 1] <$> 0] xs] ⧗ (List a) → (List b) :test (&(+5) <$> (y* ([[[=?0 true (1 --0)]]] : {}[[[=?0 false (2 --0)]]]))) (false : {}true) # similar to y* but passes arguments as a list -list-y* y [[&(1 0) <$> 0]] +list-y* y [[&(1 0) <$> 0]] ⧗ (List a) → (List b) :test (&(+5) <$> (list-y* ([[=?0 true (_1 --0)]] : {}[[=?0 false (^1 --0)]]))) (false : {}true) 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 . diff --git a/std/Option.bruijn b/std/Option.bruijn index 257b5f8..3b1c0a1 100644 --- a/std/Option.bruijn +++ b/std/Option.bruijn @@ -1,4 +1,5 @@ # MIT License, Copyright (c) 2022 Marvin Borner +# TODO: move to monad? :import std/Combinator . :import std/Logic . |