Redo Geometry.Zone (restrict exports, inlining)

2022-07-01 20:11:10 +01:00
parent 3eb26e86a8
commit e0b63468fc
2 changed files with 10 additions and 199 deletions
@@ -15,7 +15,6 @@ import Data.Foldable

 import qualified Control.Foldl as L

-
 -- TODO check up whether and how it is necessary to specialise this
 -- | A version of 'minimum' where the comparison is done on some extracted value.
 --   Returns Nothing if the list is empty.