Lines Matching refs:col
40 col : int,
102 fun getRegion {base, row, col, nrows, ncols} =
118 if col < 0 orelse col > lCols
120 else lCols - col
122 if c < 0 orelse col < 0 orelse c+col > lCols
129 fun copy {src as {base, row, col, ...}, dst, dst_row, dst_col} =
141 uncheckedSub(base, row+r, col+c));
151 uncheckedSub(base, row+r, col+c));
163 if dst_row < row orelse (dst_row = row andalso dst_col < col)
168 fun appi tr f (reg as {base, row, col, ...}) =
176 f(r+row, c+col, uncheckedSub(base, r+row, c+col));
184 f(r+row, c+col, uncheckedSub(base, r+row, c+col));
194 appi tr (f o #3) {base=arr, row=0, col=0, nrows=NONE, ncols=NONE}
200 modifyi tr (f o #3) {base=arr, row=0, col=0, nrows=NONE, ncols=NONE}
203 fun foldi tr f init (reg as {base, row, col, ...}) =
211 f(r+row, c+col, uncheckedSub(base, r+row, c+col), i))
218 f(r+row, c+col, uncheckedSub(base, r+row, c+col), i))
227 {base=arr, row=0, col=0, nrows=NONE, ncols=NONE}
246 fun putRowElements (row, col, tail, depth) =
247 if col < 0
249 else putRowElements(row, col-1, put_elem(sub(x, row, col), col, tail, depth), depth+1)