[ new ] minimal value in a SortedSet

This commit is contained in:
Justus Matthiesen 2023-02-06 17:16:11 +00:00 committed by G. Allais
parent f2dfeb39cd
commit 5f7ad73a35

View File

@ -82,3 +82,7 @@ singleton k = insert k empty
export
toSortedMap : SortedSet k -> SortedMap k ()
toSortedMap (SetWrapper m) = m
export
min : SortedSet k -> Maybe k
min (SetWrapper m) = fst <$> min m