assocs.extras: add delete-keys-of

diff --git a/extra/assocs/extras/extras.factor b/extra/assocs/extras/extras.factor
index b61fe150616c58a9b9b3a852375574d30e1ba853..87e1ae45a0daa300c648cfb69e43e0a22d29d4b7 100644 (file)
--- a/extra/assocs/extras/extras.factor
+++ b/extra/assocs/extras/extras.factor
@@ -21,6 +21,9 @@ IN: assocs.extras
 : ?delete-of ( assoc key -- assoc value/key ? )
     [ ?of ] [ delete-of -rot ] 2bi ;
 
+: delete-keys-of ( assoc keys -- assoc )
+    [ delete-of ] each ;
+
 : rename-of ( assoc key newkey -- assoc )
     [ delete-of* ] dip swap [ set-of ] [ 2drop ] if ;