From 32fb9b036575c8b25a5318c7bce7699249990ff5 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Sat, 23 Aug 2025 00:08:11 +0300 Subject: feat: left-or and right-or for coproducts in stdlib --- stdlib.slip | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/stdlib.slip b/stdlib.slip index f3c1d47..dcedafc 100644 --- a/stdlib.slip +++ b/stdlib.slip @@ -65,3 +65,23 @@ ) ) )) + + +(let left-or + (fn (sum def) ((Sum L R) L) L + (case sum + ((inl x) x) + (_ def)) + ) +) + + +(let right-or + (fn (sum def) ((Sum L R) R) R + (case sum + ((inr x) x) + (_ def)) + ) +) + + -- cgit v1.2.3