panic : String -> aAbort the program with a message — an unrecoverable error (unlike the catchable Throw effect). Backs c[i] / index when the index is out of range.
PréludeChargé par défaut — aucun
import nécessaire.Subscript access and indexed update
Synopsis
listAt : List a -> Nat -> Maybe alistSetAt : List a -> Nat -> a -> List agoListSet : List a -> List a -> Nat -> a -> List a(!) : List a -> Nat -> Maybe aSafe subscript xs[i]? — Nothing if i is out of range.
index : List a -> Nat -> aDirect subscript xs[i] — panics if i is out of range.
set : List a -> Nat -> a -> List aset xs i v — a new list with position i set to v (unchanged if i is out of range). The notation xs { [i] := v } is equivalent (kept — decision Q3 2026-07-02 — but set is the form to teach and document).