case function

anoma · Jan 5, 2023 · fea6caf · fea6caf
1 parent f666840
commit fea6caf
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Stdlib/Function.juvix b/Stdlib/Function.juvix
@@ -21,4 +21,7 @@ infixl 0 on;
 on : {A : Type} → {B : Type} → {C : Type} → (B -> B -> C) -> (A -> B) -> A -> A -> C;
 on f g a b := f (g a) (g b);
 
+case : {A : Type} -> {B : Type} -> A -> (A -> B) -> B;
+case expr b := b expr;
+
 end;