Add a maybe head function

The naming on this is probably bad, I'd assume `head` would return Maybe, and you'd have a headDefault or something for a default head
anoma · Nov 7, 2024 · a567cf1 · a567cf1
1 parent 61e7cd7
commit a567cf1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Stdlib/Data/List/Base.juvix b/Stdlib/Data/List/Base.juvix
@@ -165,6 +165,11 @@ head {A} (defaultValue : A) (list : List A) : A :=
     | x :: _ := x
     | nil := defaultValue;
 
+--- 𝒪(1). Grabs the first element of a ;List;
+headMaybe {A} : List A -> Maybe A
+  | (x :: _) := just x
+  | nil := nothing;
+
 syntax iterator any {init := 0; range := 1};
 
 --- 𝒪(𝓃). Returns ;true; if at least one element of the ;List; satisfies the predicate.