From 59220d30d5bc89a461b13d45ea386851ff3a87e8 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 20 Dec 2017 17:18:07 -0400 Subject: propellor spin --- src/Propellor/Property/Parted/Types.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Propellor/Property') diff --git a/src/Propellor/Property/Parted/Types.hs b/src/Propellor/Property/Parted/Types.hs index 6b6b42e2..e5c62739 100644 --- a/src/Propellor/Property/Parted/Types.hs +++ b/src/Propellor/Property/Parted/Types.hs @@ -88,6 +88,8 @@ instance Monoid PartSize where reducePartSize :: PartSize -> PartSize -> PartSize reducePartSize (MegaBytes a) (MegaBytes b) = MegaBytes (a - b) +reducePartSize (Bytes a) b = Bytes (a - fromPartSize b) +reducePartSize a (Bytes b) = Bytes (fromPartSize a - b) -- | Partitions need to be aligned for optimal efficiency. -- The alignment is a number of bytes. -- cgit v1.2.3