Order-preserving sorting function.
(objs, key=lambda x:x)
| 44 | |
| 45 | # csort |
| 46 | def csort(objs, key=lambda x:x): |
| 47 | """Order-preserving sorting function.""" |
| 48 | idxs = dict( (obj,i) for (i,obj) in enumerate(objs) ) |
| 49 | return sorted(objs, key=lambda obj: (key(obj), idxs[obj])) |
| 50 | |
| 51 | # fsplit |
| 52 | def fsplit(pred, objs): |