1 ! Copyright (C) 2012 John Benediktsson, Doug Coleman
2 ! See http://factorcode.org/license.txt for BSD license
3 USING: arrays assocs assocs.private kernel math math.statistics
7 : push-at-each ( value keys assoc -- )
8 '[ _ push-at ] with each ; inline
10 : deep-at ( assoc seq -- value/f )
13 : substitute! ( seq assoc -- seq )
16 : assoc-reduce ( ... assoc identity quot: ( ... prev key value -- next ) -- ... result )
17 [ >alist ] 2dip [ first2 ] prepose reduce ; inline
19 : reduce-keys ( ... assoc identity quot: ( ... prev elt -- ... next ) -- ... result )
20 [ drop ] prepose assoc-reduce ; inline
22 : reduce-values ( ... assoc identity quot: ( ... prev elt -- ... next ) -- ... result )
23 [ nip ] prepose assoc-reduce ; inline
25 : sum-keys ( assoc -- n ) 0 [ + ] reduce-keys ; inline
27 : sum-values ( assoc -- n ) 0 [ + ] reduce-values ; inline
29 : map-keys ( assoc quot: ( key -- key' ) -- assoc )
30 '[ _ dip ] assoc-map ; inline
32 : map-values ( assoc quot: ( value -- value' ) -- assoc )
33 '[ swap _ dip swap ] assoc-map ; inline
35 : filter-keys ( assoc quot: ( key -- key' ) -- assoc' )
36 '[ drop @ ] assoc-filter ; inline
38 : filter-values ( assoc quot: ( value -- value' ) -- assoc' )
39 '[ nip @ ] assoc-filter ; inline
41 : reject-keys ( assoc quot: ( key -- key' ) -- assoc' )
42 '[ drop @ ] assoc-reject ; inline
44 : reject-values ( assoc quot: ( value -- value' ) -- assoc' )
45 '[ nip @ ] assoc-reject ; inline
47 : rekey-new-assoc ( assoc keys -- newassoc )
48 [ tuck of ] with H{ } map>assoc ; inline
50 : rekey-assoc ( assoc keys -- assoc )
51 [ dup keys ] dip diff over [ delete-at ] curry each ; inline
53 : if-assoc-empty ( ..a assoc quot1: ( ..a -- ..b ) quot2: ( ..a assoc -- ..b ) -- ..b )
54 [ dup assoc-empty? ] [ [ drop ] prepose ] [ ] tri* if ; inline
56 : assoc-invert-as ( assoc exemplar -- newassoc )
57 [ swap ] swap assoc-map-as ;
59 : assoc-invert ( assoc -- newassoc )
62 : assoc-collect! ( assoc1 assoc2 -- assoc1 )
63 over [ push-at ] with-assoc assoc-each ;
65 : assoc-collect ( assoc1 assoc2 -- newassoc )
66 [ [ [ assoc-size ] bi@ + ] [ drop ] 2bi new-assoc ] 2keep
67 [ assoc-collect! ] bi@ ;
69 ! iterate over assoc2, replace conflicting values
71 : assoc-merge! ( assoc1 assoc2 quot: ( value1 value2 -- new-value ) -- assoc1' )
72 [| key2 val2 quot | val2 key2 pick
73 at* [ swap quot call ] [ drop ] if
74 key2 pick set-at ] curry assoc-each ; inline
76 ! Same as above, non-destructive
77 : assoc-merge ( assoc1 assoc2 quot: ( value1 value2 -- new-value ) -- new-assoc )
78 pick [ [ clone ] 2dip assoc-merge! ]
82 ! Successively apply assoc-merge operation
83 : assoc-collapse ( seq quot: ( value1 value2 -- new-value ) -- assoc )
86 [ [ unclip-slice H{ } or clone ] [ [ assoc-merge! ] curry ] bi* reduce ] if ; inline
88 : assoc-collapse! ( assoc seq quot: ( value1 value2 -- new-value ) -- assoc )
89 [ assoc-merge! ] curry each ; inline
91 : assoc-collapse-as ( seq quot: ( value1 value2 -- new-value ) exemplar -- assoc )
92 pick first assoc-size swap new-assoc
93 -rot assoc-collapse! ; inline
95 GENERIC: delete-value-at ( value assoc -- )
97 M: assoc delete-value-at
98 [ value-at* ] keep swap [ delete-at ] [ 2drop ] if ;
100 ERROR: key-exists value key assoc ;
101 : set-once-at ( value key assoc -- )
108 : kv-with ( obj assoc quot -- assoc curried )
109 swapd [ -rotd call ] 2curry ; inline
113 : (sequence>assoc) ( seq map-quot insert-quot assoc -- assoc )
114 [ swap curry compose each ] keep ; inline
116 : (sequence-index>assoc) ( seq map-quot insert-quot assoc -- assoc )
117 [ swap curry compose each-index ] keep ; inline
121 : sequence>assoc! ( assoc seq map-quot: ( x -- ..y ) insert-quot: ( ..y assoc -- ) -- assoc )
122 roll (sequence>assoc) ; inline
124 : assoc>object ( assoc map-quot insert-quot exemplar -- object )
125 clone [ swap curry compose assoc-each ] keep ; inline
127 : assoc>object! ( assoc seq map-quot: ( x -- ..y ) insert-quot: ( ..y assoc -- ) -- object )
128 roll assoc>object ; inline
130 : sequence>assoc ( seq map-quot insert-quot exemplar -- assoc )
131 clone (sequence>assoc) ; inline
133 : sequence-index>assoc ( seq map-quot insert-quot exemplar -- assoc )
134 clone (sequence-index>assoc) ; inline
136 : sequence-index>hashtable ( seq map-quot insert-quot -- hashtable )
137 H{ } sequence-index>assoc ; inline
139 : sequence>hashtable ( seq map-quot insert-quot -- hashtable )
140 H{ } sequence>assoc ; inline
142 : expand-keys-set-at-as ( assoc exemplar -- hashtable' )
144 [ swap dup sequence? [ 1array ] unless ]
145 [ '[ _ set-at ] with each ]
148 : expand-keys-set-at ( assoc -- hashtable' )
149 H{ } expand-keys-set-at-as ;
151 : expand-keys-push-at-as ( assoc exemplar -- hashtable' )
153 [ swap dup sequence? [ 1array ] unless ]
157 : expand-keys-push-at ( assoc -- hashtable' )
158 H{ } expand-keys-push-at-as ; inline
160 : expand-keys-push-as ( assoc exemplar -- hashtable' )
162 [ [ dup sequence? [ 1array ] unless ] dip ]
163 [ '[ _ 2array _ push ] each ]
166 : expand-keys-push ( assoc -- hashtable' )
167 V{ } expand-keys-push-as ; inline
169 : expand-values-set-at-as ( assoc exemplar -- hashtable' )
171 [ dup sequence? [ 1array ] unless swap ]
172 [ '[ _ _ set-at ] each ]
175 : expand-values-set-at ( assoc -- hashtable' )
176 H{ } expand-values-set-at-as ; inline
178 : expand-values-push-at-as ( assoc exemplar -- hashtable' )
180 [ dup sequence? [ 1array ] unless swap ]
181 [ '[ _ _ push-at ] each ]
184 : expand-values-push-at ( assoc -- assoc )
185 H{ } expand-values-push-at-as ; inline
187 : expand-values-push-as ( assoc exemplar -- assoc )
189 [ dup sequence? [ 1array ] unless ]
190 [ '[ 2array _ push ] with each ]
193 : expand-values-push ( assoc -- sequence )
194 V{ } expand-values-push-as ; inline
196 : assoc-any-key? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
197 [ drop ] prepose assoc-find 2nip ; inline
199 : assoc-any-value? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
200 [ nip ] prepose assoc-find 2nip ; inline
202 : assoc-all-key? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
203 [ not ] compose assoc-any-key? not ; inline
205 : assoc-all-value? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
206 [ not ] compose assoc-any-value? not ; inline
208 : any-multi-key? ( assoc -- ? )
209 [ sequence? ] assoc-any-key? ;
211 : any-multi-value? ( assoc -- ? )
212 [ sequence? ] assoc-any-value? ;
214 : flatten-keys ( assoc -- assoc' )
215 dup any-multi-key? [ expand-keys-set-at flatten-keys ] when ;
217 : flatten-values ( assoc -- assoc' )
218 dup any-multi-value? [ expand-values-set-at flatten-values ] when ;
220 : intersect-keys ( assoc seq -- elts )
221 [ of ] with zip-with sift-values ; inline
223 : values-of ( assoc seq -- seq' )
224 [ of ] with map ; inline
226 : counts ( seq elts -- counts )
227 [ histogram ] dip intersect-keys ;
229 : histogram-diff ( hashtable1 hashtable2 -- hashtable3 )
230 [ neg swap pick at+ ] assoc-each
231 [ 0 > ] filter-values ;
233 : collect-by-multi! ( ... assoc seq quot: ( ... obj -- ... new-keys ) -- ... assoc )
234 [ keep swap ] curry rot [
235 [ push-at-each ] curry compose each
238 : collect-by-multi ( ... seq quot: ( ... obj -- ... new-keys ) -- ... assoc )
239 [ H{ } clone ] 2dip collect-by-multi! ; inline
242 : collect-assoc-by! ( ... assoc input-assoc quot: ( ... key value -- ... key' value' ) -- ... assoc )
243 rot [ '[ @ swap _ push-at ] assoc-each ] keep ; inline
245 : collect-assoc-by ( ... input-assoc quot: ( ... key value -- ... key value ) -- ... assoc )
246 [ H{ } clone ] 2dip collect-assoc-by! ; inline
248 : collect-key-by! ( ... assoc input-assoc quot: ( ... key value -- ... new-key ) -- ... assoc )
249 '[ _ keepd ] collect-assoc-by! ; inline
251 : collect-key-by ( ... input-assoc quot: ( ... key value -- ... new-key ) -- ... assoc )
252 [ H{ } clone ] 2dip collect-key-by! ; inline
254 : collect-value-by! ( ... assoc input-assoc quot: ( ... key value -- ... new-key ) -- ... assoc )
255 '[ _ keep ] collect-assoc-by! ; inline
257 : collect-value-by ( ... input-assoc quot: ( ... key value -- ... new-key ) -- ... assoc )
258 [ H{ } clone ] 2dip collect-value-by! ; inline
261 : collect-assoc-by-multi! ( ... assoc input-assoc quot: ( ... key value -- ... new-keys value' ) -- ... assoc )
262 rot [ '[ @ swap _ push-at-each ] assoc-each ] keep ; inline
264 : collect-assoc-by-multi ( ... assoc quot: ( ... key value -- ... new-keys value' ) -- ... assoc )
265 [ H{ } clone ] 2dip collect-assoc-by-multi! ; inline
268 : collect-key-by-multi! ( ... assoc input-assoc quot: ( ... key value -- ... new-keys ) -- ... assoc )
269 '[ _ keepd ] collect-assoc-by-multi! ; inline
271 : collect-key-by-multi ( ... assoc quot: ( ... key -- ... new-keys ) -- ... assoc )
272 [ H{ } clone ] 2dip collect-key-by-multi! ; inline
275 : collect-value-by-multi! ( ... assoc input-assoc quot: ( ... key value -- ... new-keys ) -- ... assoc )
276 '[ _ keep ] collect-assoc-by-multi! ; inline
278 : collect-value-by-multi ( ... assoc quot: ( ... value -- ... new-keys ) -- ... assoc )
279 [ H{ } clone ] 2dip collect-value-by-multi! ; inline