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
|
