summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/PartSpec.hs
blob: c6f9aa7aca8ac78defe4ae45ddd96874d824612f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
module Propellor.Types.PartSpec where

import Propellor.Property.Parted.Types
import Propellor.Property.Mount

-- | Specifies a mount point, mount options, and a constructor for a
-- Partition that determines its size.
type PartSpec t = (Maybe MountPoint, MountOpts, PartSize -> Partition, t)

-- | Specifies a partition table.
data PartTableSpec = PartTableSpec TableType [PartSpec ()]

instance Show PartTableSpec where
	show (PartTableSpec tt _) = "PartTableSpec " ++ show tt