From f0114240cecd453c2be7bb760455f0eb5b7a02a0 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 26 Oct 2024 20:36:13 +0200
Subject: Initial minibruijn

---
 std/Monad/Parser.bruijn | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'std/Monad/Parser.bruijn')

diff --git a/std/Monad/Parser.bruijn b/std/Monad/Parser.bruijn
index e11b662..c6b53a3 100644
--- a/std/Monad/Parser.bruijn
+++ b/std/Monad/Parser.bruijn
@@ -1,15 +1,18 @@
 # MIT License, Copyright (c) 2024 Marvin Borner
+# see samples/fun/minibruijn for example usage
 
 :import std/List .
 :import std/Combinator .
 :import std/Char C
 :import std/Result R
 
+# TODO: don't just use strings for errors
+
 error-unexpected ["unexpected symbol " ++ 0] ⧗ Error
 
 error-end-of-input "end of input" ⧗ Error
 
-compose [[1 ++ " or " ++ 0]] ⧗ Error → Error → Error
+compose [[C.?eq? 1 0 0 (1 ++ " or " ++ 0)]] ⧗ Error → Error → Error
 
 satisfy [[0 [[[go]]] end]] ⧗ (a → Boolean) → (Parser a)
 	go 4 2 (R.ok (2 : 1)) (R.err (error-unexpected {}2))
@@ -62,7 +65,9 @@ alt [[[2 0 R.ok err]]] ⧗ (Parser a) → (Parser a) → (Parser a)
 # most relevant functions are defined - we can now derive from Generic/Monad! #
 # =========================================================================== #
 
-:input std/Monad/Generic
+:input std/Generic/Monad
 
 :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)
-- 
cgit v1.2.3