Write the nth function

anoma · Nov 7, 2024 · 386b38e · 386b38e
1 parent a567cf1
commit 386b38e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Stdlib/Data/List/Base.juvix b/Stdlib/Data/List/Base.juvix
@@ -96,6 +96,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;.