diff options
Diffstat (limited to 'Types')
-rw-r--r-- | Types/Cost.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Types/Cost.hs b/Types/Cost.hs index b3aed71..e2a037d 100644 --- a/Types/Cost.hs +++ b/Types/Cost.hs @@ -26,14 +26,6 @@ instance Monoid (Cost t) where CPUCost (Seconds a) `mappend` CPUCost (Seconds b) = CPUCost (Seconds (a+b)) -mapCost :: (Integer -> Integer) -> Cost op -> Cost op -mapCost f (CPUCost (Seconds n)) = CPUCost (Seconds (f n)) - -showCostMinutes :: Cost op -> String -showCostMinutes (CPUCost (Seconds n)) - | n < 61 = "1 minute" - | otherwise = show (n `div` 60) ++ " minutes" - -- | Operations whose cost can be measured. data DecryptionOp data CreationOp |