Write the nth function

anoma · Nov 7, 2024 · 0f7ce30 · 0f7ce30
1 parent f90a657
commit 0f7ce30
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Stdlib/Data/List/Base.juvix b/Stdlib/Data/List/Base.juvix
@@ -92,6 +92,10 @@ drop {A} : (elemsNum : Nat) -> (list : List A) -> List A
   | (suc n) (x :: xs) := drop n xs
   | _ xs := xs;
 
+--- Take the nth value of a ;List;
+nth {A} : Nat -> List A -> Maybe A
+  | n := drop n >> headMaybe;
+
 --- 𝒪(𝓃). Returns a tuple where first element is the
 --- prefix of the given list of length prefixLength and second element is the
 --- remainder of the ;List;.