Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Propellor.Property.Parted.Types
Synopsis
- class PartedVal a where
- pval :: a -> String
- data TableType
- data PartTable = PartTable TableType Alignment [Partition]
- data Partition = Partition {}
- mkPartition :: Maybe Fs -> PartSize -> Partition
- data PartType
- data PartSize
- toPartSize :: ByteSize -> PartSize
- toPartSize' :: (Double -> Integer) -> ByteSize -> PartSize
- fromPartSize :: PartSize -> ByteSize
- reducePartSize :: PartSize -> PartSize -> PartSize
- newtype Alignment = Alignment ByteSize
- safeAlignment :: Alignment
- fromAlignment :: Alignment -> ByteSize
- data PartFlag
Documentation
class PartedVal a where Source #
Instances
PartedVal PartFlag Source # | |
Defined in Propellor.Property.Parted.Types | |
PartedVal PartType Source # | |
Defined in Propellor.Property.Parted.Types | |
PartedVal TableType Source # | |
Defined in Propellor.Property.Parted.Types | |
PartedVal Fs Source # | |
Defined in Propellor.Property.Parted.Types | |
PartedVal Bool Source # | |
Defined in Propellor.Property.Parted.Types |
Types of partition tables supported by parted.
A disk's partition table.
A partition on the disk.
Constructors
Partition | |
mkPartition :: Maybe Fs -> PartSize -> Partition Source #
Makes a Partition with defaults for non-important values.
Type of a partition.
Size of a partition.
toPartSize :: ByteSize -> PartSize Source #
Rounds up to the nearest MegaByte.
toPartSize' :: (Double -> Integer) -> ByteSize -> PartSize Source #
fromPartSize :: PartSize -> ByteSize Source #
Partitions need to be aligned for optimal efficiency. The alignment is a number of bytes.
safeAlignment :: Alignment Source #
4MiB alignment is optimal for inexpensive flash drives and is a good safe default for all drives.
fromAlignment :: Alignment -> ByteSize Source #
Flags that can be set on a partition.