Add freezeCloneIO to clone an Array(Like) into an IArray (#52)

stefan-hoeck · Aug 27, 2023 · ebfb4dc · ebfb4dc
1 parent 650f991
commit ebfb4dc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/js/src/JS/Array.idr b/js/src/JS/Array.idr
@@ -442,6 +442,10 @@ record IArray (a : Type) where
   constructor MkIArray
   array : Array a
 
+export
+freezeCloneIO : (HasIO io, ArrayLike arr el) => arr -> io (IArray el)
+freezeCloneIO xs = MkIArray <$> primIO (prim__fromArrayLikeIO xs)
+
 export
 freeze : forall sze,a . (1 _ : LinArray sze a) -> IArray a
 freeze (MkLinArray arr) = MkIArray arr