2015-07-28 18:39:00 +02:00
|
|
|
with builtins;
|
|
|
|
|
|
|
|
[ (sort lessThan [ 483 249 526 147 42 77 ])
|
|
|
|
(sort (x: y: y < x) [ 483 249 526 147 42 77 ])
|
|
|
|
(sort lessThan [ "foo" "bar" "xyzzy" "fnord" ])
|
|
|
|
(sort (x: y: x.key < y.key)
|
2021-11-22 23:56:40 +01:00
|
|
|
[ { key = 1; value = "foo"; } { key = 2; value = "bar"; } { key = 1; value = "fnord"; } ])
|
|
|
|
(sort lessThan [
|
|
|
|
[ 1 6 ]
|
|
|
|
[ ]
|
|
|
|
[ 2 3 ]
|
|
|
|
[ 3 ]
|
|
|
|
[ 1 5 ]
|
|
|
|
[ 2 ]
|
|
|
|
[ 1 ]
|
|
|
|
[ ]
|
|
|
|
[ 1 4 ]
|
|
|
|
[ 3 ]
|
|
|
|
])
|
2015-07-28 18:39:00 +02:00
|
|
|
]
|