Lines Matching refs:vec
48 fun appi f vec =
50 val len = length vec
53 else (f(wordAsInt j, unsafeSub(vec, j)); doapp(j+0w1))
58 fun app f vec =
60 val len = length vec
63 else (f(unsafeSub(vec, j)); doapp(j+0w1))
70 fun foldl f init vec =
72 val len = length vec
75 else dofold (j+0w1) (f (unsafeSub(vec, j), acc))
80 fun foldli f init vec =
82 val len = length vec
85 else dofold (j+0w1) (f (wordAsInt j, unsafeSub(vec, j), acc))
91 fun foldr f init vec =
93 val len = length vec
96 else dofold (j-0w1) (f (unsafeSub(vec, j-0w1), acc))
101 fun foldri f init vec =
103 val len = length vec
106 else dofold (j-0w1) (f (wordAsInt(j-0w1), unsafeSub(vec, j-0w1), acc))
113 fun modifyi f vec =
115 val len = length vec
118 else (unsafeSet(vec, j, f(wordAsInt j, unsafeSub(vec, j)));
124 fun modify f vec =
126 val len = length vec
129 else (unsafeSet(vec, j, f(unsafeSub(vec, j))); doupdate(j+0w1))
135 fun findi pred vec =
137 val len = length vec
142 val v = unsafeSub(vec, j)
152 fun find pred vec =
154 val len = length vec
159 val v = unsafeSub(vec, j)