From 418e6a5b4ee36360911cdff14f70357c5c2bfc80 Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Wed, 2 Sep 2015 15:09:47 -0700
Subject: propellor spin

---
 src/Propellor/Property/Parted.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Propellor/Property/Parted.hs')

diff --git a/src/Propellor/Property/Parted.hs b/src/Propellor/Property/Parted.hs
index fcff089a..1ff8677a 100644
--- a/src/Propellor/Property/Parted.hs
+++ b/src/Propellor/Property/Parted.hs
@@ -11,6 +11,7 @@ module Propellor.Property.Parted (
 	ByteSize,
 	toPartSize,
 	fromPartSize,
+	reducePartSize,
 	Partition.MkfsOpts,
 	PartType(..),
 	PartFlag(..),
@@ -104,6 +105,9 @@ instance Monoid PartSize where
 	mempty = MegaBytes 0
 	mappend (MegaBytes a) (MegaBytes b) = MegaBytes (a + b)
 
+reducePartSize :: PartSize -> PartSize -> PartSize
+reducePartSize (MegaBytes a) (MegaBytes b) = MegaBytes (a - b)
+
 -- | Flags that can be set on a partition.
 data PartFlag = BootFlag | RootFlag | SwapFlag | HiddenFlag | RaidFlag | LvmFlag | LbaFlag | LegacyBootFlag | IrstFlag | EspFlag | PaloFlag
 	deriving (Show)
-- 
cgit v1.3-2-g0d8e