Karya, built on 2023-08-29T07:47:28 (patch 7a412d5d6ba4968ca4155ef276a062ccdeb9109a)

Safe Haskell	Safe-Inferred

Util.Set

Description

Extra utils for Data.Set.

Synopsis

lookup_below :: Ord k => k -> Set k -> Maybe k
find_min :: Set k -> Maybe k
find_max :: Set k -> Maybe k

Documentation

lookup_below :: Ord k => k -> Set k -> Maybe k Source #

Find a key at or below the given one.

find_min :: Set k -> Maybe k Source #

Safe versions of findMin and findMax.

find_max :: Set k -> Maybe k Source #