Lines Matching refs:vec
52 fun appi f vec =
54 val len = length vec
57 else (f(wordAsInt j, unsafeSub(vec, j)); doapp(j+0w1))
62 fun app f vec =
64 val len = length vec
67 else (f(unsafeSub(vec, j)); doapp(j+0w1))
74 fun foldl f init vec =
76 val len = length vec
79 else dofold (j+0w1) (f (unsafeSub(vec, j), acc))
84 fun foldli f init vec =
86 val len = length vec
89 else dofold (j+0w1) (f (wordAsInt j, unsafeSub(vec, j), acc))
95 fun foldr f init vec =
97 val len = length vec
100 else dofold (j-0w1) (f (unsafeSub(vec, j-0w1), acc))
105 fun foldri f init vec =
107 val len = length vec
110 else dofold (j-0w1) (f (wordAsInt(j-0w1), unsafeSub(vec, j-0w1), acc))
117 fun modifyi f vec =
119 val len = length vec
122 else (unsafeSet(vec, j, f(wordAsInt j, unsafeSub(vec, j)));
128 fun modify f vec =
130 val len = length vec
133 else (unsafeSet(vec, j, f(unsafeSub(vec, j))); doupdate(j+0w1))
139 fun findi pred vec =
141 val len = length vec
146 val v = unsafeSub(vec, j)
156 fun find pred vec =
158 val len = length vec
163 val v = unsafeSub(vec, j)