isSorted package:dhall

Check if the keys of a Map are already sorted

isSorted (sort m) = True

>>> isSorted (fromList [("B",1),("A",2)])  -- Sortedness is based only on keys
False

>>> isSorted (fromList [("A",2),("B",1)])
True

>>> isSorted (fromList [2, 1])
False

>>> isSorted (fromList [1, 2])
True