1 ! Copyright (C) 2012 John Benediktsson, Doug Coleman
2 ! See http://factorcode.org/license.txt for BSD license
3 USING: arrays assocs assocs.private fry generalizations kernel
7 : deep-at ( assoc seq -- value/f )
10 : substitute! ( seq assoc -- seq )
13 : assoc-reduce ( ... assoc identity quot: ( ... prev key value -- next ) -- ... result )
14 [ >alist ] 2dip [ first2 ] prepose reduce ; inline
16 : reduce-keys ( ... assoc identity quot: ( ... prev elt -- ... next ) -- ... result )
17 [ drop ] prepose assoc-reduce ; inline
19 : reduce-values ( ... assoc identity quot: ( ... prev elt -- ... next ) -- ... result )
20 [ nip ] prepose assoc-reduce ; inline
22 : sum-keys ( assoc -- n ) 0 [ + ] reduce-keys ; inline
24 : sum-values ( assoc -- n ) 0 [ + ] reduce-values ; inline
26 : if-assoc-empty ( ..a assoc quot1: ( ..a -- ..b ) quot2: ( ..a assoc -- ..b ) -- ..b )
27 [ dup assoc-empty? ] [ [ drop ] prepose ] [ ] tri* if ; inline
29 : assoc-invert-as ( assoc exemplar -- newassoc )
30 [ swap ] swap assoc-map-as ;
32 : assoc-invert ( assoc -- newassoc )
35 : assoc-merge! ( assoc1 assoc2 -- assoc1 )
36 over [ push-at ] with-assoc assoc-each ;
38 : assoc-merge ( assoc1 assoc2 -- newassoc )
39 [ [ [ assoc-size ] bi@ + ] [ drop ] 2bi new-assoc ] 2keep
40 [ assoc-merge! ] bi@ ;
42 GENERIC: delete-value-at ( value assoc -- )
44 M: assoc delete-value-at
45 [ value-at* ] keep swap [ delete-at ] [ 2drop ] if ;
47 ERROR: key-exists value key assoc ;
48 : set-once-at ( value key assoc -- )
55 : kv-with ( obj assoc quot -- assoc curried )
56 swapd [ -rotd call ] 2curry ; inline
60 : (sequence>assoc) ( seq map-quot insert-quot assoc -- assoc )
61 [ swap curry compose each ] keep ; inline
63 : (sequence-index>assoc) ( seq map-quot insert-quot assoc -- assoc )
64 [ swap curry compose each-index ] keep ; inline
68 : sequence>assoc! ( assoc seq map-quot: ( x -- ..y ) insert-quot: ( ..y assoc -- ) -- assoc )
69 roll (sequence>assoc) ; inline
71 : assoc>object ( assoc map-quot insert-quot exemplar -- object )
72 clone [ swap curry compose assoc-each ] keep ; inline
74 : assoc>object! ( assoc seq map-quot: ( x -- ..y ) insert-quot: ( ..y assoc -- ) -- object )
75 roll assoc>object ; inline
77 : sequence>assoc ( seq map-quot insert-quot exemplar -- assoc )
78 clone (sequence>assoc) ; inline
80 : sequence-index>assoc ( seq map-quot insert-quot exemplar -- assoc )
81 clone (sequence-index>assoc) ; inline
83 : sequence-index>hashtable ( seq map-quot insert-quot -- hashtable )
84 H{ } sequence-index>assoc ; inline
86 : sequence>hashtable ( seq map-quot insert-quot -- hashtable )
87 H{ } sequence>assoc ; inline
89 : expand-keys-set-at-as ( assoc exemplar -- hashtable' )
91 [ swap dup sequence? [ 1array ] unless ]
92 [ '[ _ set-at ] with each ]
95 : expand-keys-set-at ( assoc -- hashtable' )
96 H{ } expand-keys-set-at-as ;
98 : expand-keys-push-at-as ( assoc exemplar -- hashtable' )
100 [ swap dup sequence? [ 1array ] unless ]
101 [ '[ _ push-at ] with each ]
104 : expand-keys-push-at ( assoc -- hashtable' )
105 H{ } expand-keys-push-at-as ; inline
107 : expand-keys-push-as ( assoc exemplar -- hashtable' )
109 [ [ dup sequence? [ 1array ] unless ] dip ]
110 [ '[ _ 2array _ push ] each ]
113 : expand-keys-push ( assoc -- hashtable' )
114 V{ } expand-keys-push-as ; inline
116 : expand-values-set-at-as ( assoc exemplar -- hashtable' )
118 [ dup sequence? [ 1array ] unless swap ]
119 [ '[ _ _ set-at ] each ]
122 : expand-values-set-at ( assoc -- hashtable' )
123 H{ } expand-values-set-at-as ; inline
125 : expand-values-push-at-as ( assoc exemplar -- hashtable' )
127 [ dup sequence? [ 1array ] unless swap ]
128 [ '[ _ _ push-at ] each ]
131 : expand-values-push-at ( assoc -- assoc )
132 H{ } expand-values-push-at-as ; inline
134 : expand-values-push-as ( assoc exemplar -- assoc )
136 [ dup sequence? [ 1array ] unless ]
137 [ '[ 2array _ push ] with each ]
140 : expand-values-push ( assoc -- sequence )
141 V{ } expand-values-push-as ; inline
143 : assoc-any-key? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
144 [ drop ] prepose assoc-find 2nip ; inline
146 : assoc-any-value? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
147 [ nip ] prepose assoc-find 2nip ; inline
149 : assoc-all-key? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
150 [ not ] compose assoc-any-key? not ; inline
152 : assoc-all-value? ( ... assoc quot: ( ... key -- ... ? ) -- ... ? )
153 [ not ] compose assoc-any-value? not ; inline
155 : any-multi-key? ( assoc -- ? )
156 [ sequence? ] assoc-any-key? ;
158 : any-multi-value? ( assoc -- ? )
159 [ sequence? ] assoc-any-value? ;
161 : flatten-keys ( assoc -- assoc' )
162 dup any-multi-key? [ expand-keys-set-at flatten-keys ] when ;
164 : flatten-values ( assoc -- assoc' )
165 dup any-multi-value? [ expand-values-set-at flatten-values ] when ;