Safe Haskell	None
Language	Haskell2010

B9.DiskImages

Contents

Data types for disk image description, e.g. ImageTarget,
Shared Images
Constructor and accessors for Image ImageTarget ImageSource
Constructors and accessors for ImageSources
Constructors and accessors for SharedImages
Constructors for ImageTargets
ImageTarget Transformations
Arbitrary instances for quickcheck

Description

Data types that describe all B9 relevant elements of virtual machine disk images.

Synopsis

data ImageTarget = ImageTarget ImageDestination ImageSource MountPoint
data MountPoint
- = MountPoint FilePath
- | NotMounted
data ImageDestination
- = Share String ImageType ImageResize
- | LiveInstallerImage String FilePath ImageResize
- | LocalFile Image ImageResize
- | Transient
data ImageSource
- = EmptyImage String FileSystem ImageType ImageSize
- | CopyOnWrite Image
- | SourceImage Image Partition ImageResize
- | From String ImageResize
data Partition
- = NoPT
- | Partition Int
data Image = Image FilePath ImageType FileSystem
data ImageType
- = Raw
- | QCow2
- | Vmdk
data FileSystem
- = NoFileSystem
- | Ext4
- | Ext4_64
- | ISO9660
- | VFAT
data ImageSize = ImageSize Int SizeUnit
bytesToKiloBytes :: Int -> ImageSize
imageSizeToKiB :: ImageSize -> Int
sizeUnitKiB :: SizeUnit -> Int
normalizeSize :: ImageSize -> ImageSize
addImageSize :: ImageSize -> ImageSize -> ImageSize
data SizeUnit
- = KB
- | MB
- | GB
data ImageResize
- = ResizeImage ImageSize
- | Resize ImageSize
- | ShrinkToMinimumAndIncrease ImageSize
- | ShrinkToMinimum
- | KeepSize
type Mounted a = (a, MountPoint)
data SharedImage = SharedImage SharedImageName SharedImageDate SharedImageBuildId ImageType FileSystem
newtype SharedImageName = SharedImageName String
fromSharedImageName :: SharedImageName -> String
newtype SharedImageDate = SharedImageDate String
newtype SharedImageBuildId = SharedImageBuildId String
fromSharedImageBuildId :: SharedImageBuildId -> String
imageFileName :: Image -> FilePath
imageImageType :: Image -> ImageType
getImageDestinationOutputFiles :: ImageTarget -> [FilePath]
imageDestinationSharedImageName :: ImageDestination -> Maybe SharedImageName
imageSourceSharedImageName :: ImageSource -> Maybe SharedImageName
itImageDestination :: ImageTarget -> ImageDestination
itImageSource :: ImageTarget -> ImageSource
itImageMountPoint :: ImageTarget -> MountPoint
isPartitioned :: Partition -> Bool
getPartition :: Partition -> Int
imageFileExtension :: ImageType -> String
changeImageFormat :: ImageType -> Image -> Image
changeImageDirectory :: FilePath -> Image -> Image
getImageSourceImageType :: ImageSource -> Maybe ImageType
sharedImageName :: SharedImage -> SharedImageName
sharedImageDate :: SharedImage -> SharedImageDate
sharedImageBuildId :: SharedImage -> SharedImageBuildId
prettyPrintSharedImages :: [SharedImage] -> String
sharedImageImage :: SharedImage -> Image
sharedImageFileName :: SharedImage -> FilePath
sharedImagesRootDirectory :: FilePath
sharedImageFileExtension :: String
sharedImageDefaultImageType :: ImageType
transientCOWImage :: FilePath -> FilePath -> ImageTarget
transientSharedImage :: SharedImageName -> FilePath -> ImageTarget
transientLocalImage :: FilePath -> FilePath -> ImageTarget
shareCOWImage :: FilePath -> SharedImageName -> FilePath -> ImageTarget
shareSharedImage :: SharedImageName -> SharedImageName -> FilePath -> ImageTarget
shareLocalImage :: FilePath -> SharedImageName -> FilePath -> ImageTarget
cowToliveInstallerImage :: String -> FilePath -> FilePath -> FilePath -> ImageTarget
cowToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget
localToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget
partition1ToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget
splitToIntermediateSharedImage :: ImageTarget -> SharedImageName -> (ImageTarget, ImageTarget)
arbitrarySharedImageName :: Gen String
unitTests :: Spec

Data types for disk image description, e.g. `ImageTarget`,

data ImageTarget Source #

Build target for disk images; the destination, format and size of the image to generate, as well as how to create or obtain the image before a VmScript is executed with the image mounted at a MountPoint.

Constructors

ImageTarget ImageDestination ImageSource MountPoint

Instances

Eq ImageTarget Source #
Instance details Defined in B9.DiskImages Methods (==) :: ImageTarget -> ImageTarget -> Bool # (/=) :: ImageTarget -> ImageTarget -> Bool #
Data ImageTarget Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageTarget -> c ImageTarget # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageTarget # toConstr :: ImageTarget -> Constr # dataTypeOf :: ImageTarget -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageTarget) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageTarget) # gmapT :: (forall b. Data b => b -> b) -> ImageTarget -> ImageTarget # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageTarget -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageTarget -> r # gmapQ :: (forall d. Data d => d -> u) -> ImageTarget -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageTarget -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageTarget -> m ImageTarget # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageTarget -> m ImageTarget # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageTarget -> m ImageTarget #
Read ImageTarget Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS ImageTarget # readList :: ReadS [ImageTarget] # readPrec :: ReadPrec ImageTarget # readListPrec :: ReadPrec [ImageTarget] #
Show ImageTarget Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> ImageTarget -> ShowS # show :: ImageTarget -> String # showList :: [ImageTarget] -> ShowS #
Generic ImageTarget Source #
Instance details Defined in B9.DiskImages Associated Types type Rep ImageTarget :: Type -> Type # Methods from :: ImageTarget -> Rep ImageTarget x # to :: Rep ImageTarget x -> ImageTarget #
Arbitrary ImageTarget Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen ImageTarget # shrink :: ImageTarget -> [ImageTarget] #
Hashable ImageTarget Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> ImageTarget -> Int # hash :: ImageTarget -> Int #
Binary ImageTarget Source #
Instance details Defined in B9.DiskImages Methods put :: ImageTarget -> Put # get :: Get ImageTarget # putList :: [ImageTarget] -> Put #
NFData ImageTarget Source #
Instance details Defined in B9.DiskImages Methods rnf :: ImageTarget -> () #
type Rep ImageTarget Source #
Instance details Defined in B9.DiskImages type Rep ImageTarget = D1 (MetaData "ImageTarget" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "ImageTarget" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageDestination) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSource) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MountPoint))))

data MountPoint Source #

A mount point or NotMounted

Constructors

MountPoint FilePath
NotMounted

Instances

Eq MountPoint Source #
Instance details Defined in B9.DiskImages Methods (==) :: MountPoint -> MountPoint -> Bool # (/=) :: MountPoint -> MountPoint -> Bool #
Data MountPoint Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MountPoint -> c MountPoint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MountPoint # toConstr :: MountPoint -> Constr # dataTypeOf :: MountPoint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MountPoint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MountPoint) # gmapT :: (forall b. Data b => b -> b) -> MountPoint -> MountPoint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MountPoint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MountPoint -> r # gmapQ :: (forall d. Data d => d -> u) -> MountPoint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MountPoint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MountPoint -> m MountPoint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MountPoint -> m MountPoint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MountPoint -> m MountPoint #
Read MountPoint Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS MountPoint # readList :: ReadS [MountPoint] # readPrec :: ReadPrec MountPoint # readListPrec :: ReadPrec [MountPoint] #
Show MountPoint Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> MountPoint -> ShowS # show :: MountPoint -> String # showList :: [MountPoint] -> ShowS #
Generic MountPoint Source #
Instance details Defined in B9.DiskImages Associated Types type Rep MountPoint :: Type -> Type # Methods from :: MountPoint -> Rep MountPoint x # to :: Rep MountPoint x -> MountPoint #
Arbitrary MountPoint Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen MountPoint # shrink :: MountPoint -> [MountPoint] #
Hashable MountPoint Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> MountPoint -> Int # hash :: MountPoint -> Int #
Binary MountPoint Source #
Instance details Defined in B9.DiskImages Methods put :: MountPoint -> Put # get :: Get MountPoint # putList :: [MountPoint] -> Put #
NFData MountPoint Source #
Instance details Defined in B9.DiskImages Methods rnf :: MountPoint -> () #
type Rep MountPoint Source #
Instance details Defined in B9.DiskImages type Rep MountPoint = D1 (MetaData "MountPoint" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "MountPoint" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)) :+: C1 (MetaCons "NotMounted" PrefixI False) (U1 :: Type -> Type))

data ImageDestination Source #

The destination of an image.

Constructors

Share String ImageType ImageResize	Create the image and some meta data so that other builds can use them as `ImageSource`s via `From`.
LiveInstallerImage String FilePath ImageResize	DEPRECATED Export a raw image that can directly be booted.
LocalFile Image ImageResize	Write an image file to the path in the first argument., possible resizing it,
Transient	Do not export the image. Usefule if the main objective of the b9 build is not an image file, but rather some artifact produced by executing by a containerize build.

Instances

Eq ImageDestination Source #
Instance details Defined in B9.DiskImages Methods (==) :: ImageDestination -> ImageDestination -> Bool # (/=) :: ImageDestination -> ImageDestination -> Bool #
Data ImageDestination Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageDestination -> c ImageDestination # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageDestination # toConstr :: ImageDestination -> Constr # dataTypeOf :: ImageDestination -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageDestination) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageDestination) # gmapT :: (forall b. Data b => b -> b) -> ImageDestination -> ImageDestination # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageDestination -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageDestination -> r # gmapQ :: (forall d. Data d => d -> u) -> ImageDestination -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageDestination -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageDestination -> m ImageDestination # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageDestination -> m ImageDestination # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageDestination -> m ImageDestination #
Read ImageDestination Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS ImageDestination # readList :: ReadS [ImageDestination] # readPrec :: ReadPrec ImageDestination # readListPrec :: ReadPrec [ImageDestination] #
Show ImageDestination Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> ImageDestination -> ShowS # show :: ImageDestination -> String # showList :: [ImageDestination] -> ShowS #
Generic ImageDestination Source #
Instance details Defined in B9.DiskImages Associated Types type Rep ImageDestination :: Type -> Type # Methods from :: ImageDestination -> Rep ImageDestination x # to :: Rep ImageDestination x -> ImageDestination #
Arbitrary ImageDestination Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen ImageDestination # shrink :: ImageDestination -> [ImageDestination] #
Hashable ImageDestination Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> ImageDestination -> Int # hash :: ImageDestination -> Int #
Binary ImageDestination Source #
Instance details Defined in B9.DiskImages Methods put :: ImageDestination -> Put # get :: Get ImageDestination # putList :: [ImageDestination] -> Put #
NFData ImageDestination Source #
Instance details Defined in B9.DiskImages Methods rnf :: ImageDestination -> () #
type Rep ImageDestination Source #
Instance details Defined in B9.DiskImages type Rep ImageDestination = D1 (MetaData "ImageDestination" "B9.DiskImages" "b9-1.0.1-inplace" False) ((C1 (MetaCons "Share" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))) :+: C1 (MetaCons "LiveInstallerImage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize)))) :+: (C1 (MetaCons "LocalFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize)) :+: C1 (MetaCons "Transient" PrefixI False) (U1 :: Type -> Type)))

data ImageSource Source #

Specification of how the image to build is obtained.

Constructors

EmptyImage String FileSystem ImageType ImageSize	Create an empty image file having a file system label (first parameter), a file system type (e.g. `Ext4`) and an `ImageSize`
CopyOnWrite Image	DEPRECATED
SourceImage Image Partition ImageResize	Clone an existing image file; if the image file contains partitions, select the partition to use, b9 will extract that partition by reading the offset of the partition from the partition table and extract it using `dd`.
From String ImageResize	Use an image previously shared by via `Share`.

Instances

Eq ImageSource Source #
Instance details Defined in B9.DiskImages Methods (==) :: ImageSource -> ImageSource -> Bool # (/=) :: ImageSource -> ImageSource -> Bool #
Data ImageSource Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageSource -> c ImageSource # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageSource # toConstr :: ImageSource -> Constr # dataTypeOf :: ImageSource -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageSource) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageSource) # gmapT :: (forall b. Data b => b -> b) -> ImageSource -> ImageSource # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageSource -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageSource -> r # gmapQ :: (forall d. Data d => d -> u) -> ImageSource -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageSource -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageSource -> m ImageSource # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSource -> m ImageSource # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSource -> m ImageSource #
Read ImageSource Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS ImageSource # readList :: ReadS [ImageSource] # readPrec :: ReadPrec ImageSource # readListPrec :: ReadPrec [ImageSource] #
Show ImageSource Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> ImageSource -> ShowS # show :: ImageSource -> String # showList :: [ImageSource] -> ShowS #
Generic ImageSource Source #
Instance details Defined in B9.DiskImages Associated Types type Rep ImageSource :: Type -> Type # Methods from :: ImageSource -> Rep ImageSource x # to :: Rep ImageSource x -> ImageSource #
Arbitrary ImageSource Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen ImageSource # shrink :: ImageSource -> [ImageSource] #
Hashable ImageSource Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> ImageSource -> Int # hash :: ImageSource -> Int #
Binary ImageSource Source #
Instance details Defined in B9.DiskImages Methods put :: ImageSource -> Put # get :: Get ImageSource # putList :: [ImageSource] -> Put #
NFData ImageSource Source #
Instance details Defined in B9.DiskImages Methods rnf :: ImageSource -> () #
type Rep ImageSource Source #
Instance details Defined in B9.DiskImages type Rep ImageSource = D1 (MetaData "ImageSource" "B9.DiskImages" "b9-1.0.1-inplace" False) ((C1 (MetaCons "EmptyImage" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileSystem)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize))) :+: C1 (MetaCons "CopyOnWrite" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image))) :+: (C1 (MetaCons "SourceImage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Partition) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))) :+: C1 (MetaCons "From" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))))

data Partition Source #

The partition to extract.

Constructors

NoPT	There is no partition table on the image
Partition Int	Extract partition `n` `n` must be in `0..3`

Instances

Eq Partition Source #
Instance details Defined in B9.DiskImages Methods (==) :: Partition -> Partition -> Bool # (/=) :: Partition -> Partition -> Bool #
Data Partition Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Partition -> c Partition # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Partition # toConstr :: Partition -> Constr # dataTypeOf :: Partition -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Partition) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Partition) # gmapT :: (forall b. Data b => b -> b) -> Partition -> Partition # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Partition -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Partition -> r # gmapQ :: (forall d. Data d => d -> u) -> Partition -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Partition -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Partition -> m Partition # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Partition -> m Partition # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Partition -> m Partition #
Read Partition Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS Partition # readList :: ReadS [Partition] # readPrec :: ReadPrec Partition # readListPrec :: ReadPrec [Partition] #
Show Partition Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> Partition -> ShowS # show :: Partition -> String # showList :: [Partition] -> ShowS #
Generic Partition Source #
Instance details Defined in B9.DiskImages Associated Types type Rep Partition :: Type -> Type # Methods from :: Partition -> Rep Partition x # to :: Rep Partition x -> Partition #
Arbitrary Partition Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen Partition # shrink :: Partition -> [Partition] #
Hashable Partition Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> Partition -> Int # hash :: Partition -> Int #
Binary Partition Source #
Instance details Defined in B9.DiskImages Methods put :: Partition -> Put # get :: Get Partition # putList :: [Partition] -> Put #
NFData Partition Source #
Instance details Defined in B9.DiskImages Methods rnf :: Partition -> () #
type Rep Partition Source #
Instance details Defined in B9.DiskImages type Rep Partition = D1 (MetaData "Partition" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "NoPT" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Partition" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Image Source #

A vm disk image file consisting of a path to the image file, and the type and file system.

Constructors

Image FilePath ImageType FileSystem

Instances

Eq Image Source #
Instance details Defined in B9.DiskImages Methods (==) :: Image -> Image -> Bool # (/=) :: Image -> Image -> Bool #
Data Image Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Image -> c Image # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Image # toConstr :: Image -> Constr # dataTypeOf :: Image -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Image) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Image) # gmapT :: (forall b. Data b => b -> b) -> Image -> Image # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r # gmapQ :: (forall d. Data d => d -> u) -> Image -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Image -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Image -> m Image # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image #
Read Image Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS Image # readList :: ReadS [Image] # readPrec :: ReadPrec Image # readListPrec :: ReadPrec [Image] #
Show Image Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> Image -> ShowS # show :: Image -> String # showList :: [Image] -> ShowS #
Generic Image Source #
Instance details Defined in B9.DiskImages Associated Types type Rep Image :: Type -> Type # Methods from :: Image -> Rep Image x # to :: Rep Image x -> Image #
Arbitrary Image Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen Image # shrink :: Image -> [Image] #
Hashable Image Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> Image -> Int # hash :: Image -> Int #
Binary Image Source #
Instance details Defined in B9.DiskImages Methods put :: Image -> Put # get :: Get Image # putList :: [Image] -> Put #
NFData Image Source #
Instance details Defined in B9.DiskImages Methods rnf :: Image -> () #
type Rep Image Source #
Instance details Defined in B9.DiskImages type Rep Image = D1 (MetaData "Image" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "Image" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileSystem))))

data ImageType Source #

An image type defines the actual file format of a file containing file systems. These are like virtual harddrives

Constructors

Raw
QCow2
Vmdk

Instances

Eq ImageType Source #
Instance details Defined in B9.DiskImages Methods (==) :: ImageType -> ImageType -> Bool # (/=) :: ImageType -> ImageType -> Bool #
Data ImageType Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageType -> c ImageType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageType # toConstr :: ImageType -> Constr # dataTypeOf :: ImageType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageType) # gmapT :: (forall b. Data b => b -> b) -> ImageType -> ImageType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageType -> r # gmapQ :: (forall d. Data d => d -> u) -> ImageType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageType -> m ImageType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageType -> m ImageType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageType -> m ImageType #
Read ImageType Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS ImageType # readList :: ReadS [ImageType] # readPrec :: ReadPrec ImageType # readListPrec :: ReadPrec [ImageType] #
Show ImageType Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> ImageType -> ShowS # show :: ImageType -> String # showList :: [ImageType] -> ShowS #
Generic ImageType Source #
Instance details Defined in B9.DiskImages Associated Types type Rep ImageType :: Type -> Type # Methods from :: ImageType -> Rep ImageType x # to :: Rep ImageType x -> ImageType #
Arbitrary ImageType Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen ImageType # shrink :: ImageType -> [ImageType] #
Hashable ImageType Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> ImageType -> Int # hash :: ImageType -> Int #
Binary ImageType Source #
Instance details Defined in B9.DiskImages Methods put :: ImageType -> Put # get :: Get ImageType # putList :: [ImageType] -> Put #
NFData ImageType Source #
Instance details Defined in B9.DiskImages Methods rnf :: ImageType -> () #
type Rep ImageType Source #
Instance details Defined in B9.DiskImages type Rep ImageType = D1 (MetaData "ImageType" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "Raw" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "QCow2" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Vmdk" PrefixI False) (U1 :: Type -> Type)))

data FileSystem Source #

The file systems that b9 can use and convert.

Constructors

NoFileSystem
Ext4
Ext4_64
ISO9660
VFAT

Instances

Eq FileSystem Source #
Instance details Defined in B9.DiskImages Methods (==) :: FileSystem -> FileSystem -> Bool # (/=) :: FileSystem -> FileSystem -> Bool #
Data FileSystem Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileSystem -> c FileSystem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileSystem # toConstr :: FileSystem -> Constr # dataTypeOf :: FileSystem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FileSystem) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileSystem) # gmapT :: (forall b. Data b => b -> b) -> FileSystem -> FileSystem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileSystem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileSystem -> r # gmapQ :: (forall d. Data d => d -> u) -> FileSystem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FileSystem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FileSystem -> m FileSystem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FileSystem -> m FileSystem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FileSystem -> m FileSystem #
Read FileSystem Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS FileSystem # readList :: ReadS [FileSystem] # readPrec :: ReadPrec FileSystem # readListPrec :: ReadPrec [FileSystem] #
Show FileSystem Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> FileSystem -> ShowS # show :: FileSystem -> String # showList :: [FileSystem] -> ShowS #
Generic FileSystem Source #
Instance details Defined in B9.DiskImages Associated Types type Rep FileSystem :: Type -> Type # Methods from :: FileSystem -> Rep FileSystem x # to :: Rep FileSystem x -> FileSystem #
Arbitrary FileSystem Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen FileSystem # shrink :: FileSystem -> [FileSystem] #
Hashable FileSystem Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> FileSystem -> Int # hash :: FileSystem -> Int #
Binary FileSystem Source #
Instance details Defined in B9.DiskImages Methods put :: FileSystem -> Put # get :: Get FileSystem # putList :: [FileSystem] -> Put #
NFData FileSystem Source #
Instance details Defined in B9.DiskImages Methods rnf :: FileSystem -> () #
type Rep FileSystem Source #
Instance details Defined in B9.DiskImages type Rep FileSystem = D1 (MetaData "FileSystem" "B9.DiskImages" "b9-1.0.1-inplace" False) ((C1 (MetaCons "NoFileSystem" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Ext4" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Ext4_64" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ISO9660" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VFAT" PrefixI False) (U1 :: Type -> Type))))

data ImageSize Source #

A data type for image file or file system size; instead of passing Ints around this also captures a size unit so that the Int can be kept small

Constructors

ImageSize Int SizeUnit

Instances

Eq ImageSize Source #
Instance details Defined in B9.DiskImages Methods (==) :: ImageSize -> ImageSize -> Bool # (/=) :: ImageSize -> ImageSize -> Bool #
Data ImageSize Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageSize -> c ImageSize # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageSize # toConstr :: ImageSize -> Constr # dataTypeOf :: ImageSize -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageSize) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageSize) # gmapT :: (forall b. Data b => b -> b) -> ImageSize -> ImageSize # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageSize -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageSize -> r # gmapQ :: (forall d. Data d => d -> u) -> ImageSize -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageSize -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageSize -> m ImageSize # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSize -> m ImageSize # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSize -> m ImageSize #
Read ImageSize Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS ImageSize # readList :: ReadS [ImageSize] # readPrec :: ReadPrec ImageSize # readListPrec :: ReadPrec [ImageSize] #
Show ImageSize Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> ImageSize -> ShowS # show :: ImageSize -> String # showList :: [ImageSize] -> ShowS #
Generic ImageSize Source #
Instance details Defined in B9.DiskImages Associated Types type Rep ImageSize :: Type -> Type # Methods from :: ImageSize -> Rep ImageSize x # to :: Rep ImageSize x -> ImageSize #
Arbitrary ImageSize Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen ImageSize # shrink :: ImageSize -> [ImageSize] #
Hashable ImageSize Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> ImageSize -> Int # hash :: ImageSize -> Int #
Binary ImageSize Source #
Instance details Defined in B9.DiskImages Methods put :: ImageSize -> Put # get :: Get ImageSize # putList :: [ImageSize] -> Put #
NFData ImageSize Source #
Instance details Defined in B9.DiskImages Methods rnf :: ImageSize -> () #
type Rep ImageSize Source #
Instance details Defined in B9.DiskImages type Rep ImageSize = D1 (MetaData "ImageSize" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "ImageSize" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SizeUnit)))

bytesToKiloBytes :: Int -> ImageSize Source #

Convert a size in bytes to an ImageSize

imageSizeToKiB :: ImageSize -> Int Source #

Convert an ImageSize to kibi bytes.

sizeUnitKiB :: SizeUnit -> Int Source #

Convert a SizeUnit to the number of kibi bytes one element represents.

normalizeSize :: ImageSize -> ImageSize Source #

Choose the greatest unit possible to exactly represent an ImageSize.

addImageSize :: ImageSize -> ImageSize -> ImageSize Source #

Return the sum of two ImageSizes.

data SizeUnit Source #

Enumeration of size multipliers. The exact semantics may vary depending on what external tools look at these. E.g. the size unit is convert to a size parameter of the qemu-img command line tool.

Constructors

KB
MB
GB

Instances

Bounded SizeUnit Source #
Instance details Defined in B9.DiskImages Methods minBound :: SizeUnit # maxBound :: SizeUnit #
Enum SizeUnit Source #
Instance details Defined in B9.DiskImages Methods succ :: SizeUnit -> SizeUnit # pred :: SizeUnit -> SizeUnit # toEnum :: Int -> SizeUnit # fromEnum :: SizeUnit -> Int # enumFrom :: SizeUnit -> [SizeUnit] # enumFromThen :: SizeUnit -> SizeUnit -> [SizeUnit] # enumFromTo :: SizeUnit -> SizeUnit -> [SizeUnit] # enumFromThenTo :: SizeUnit -> SizeUnit -> SizeUnit -> [SizeUnit] #
Eq SizeUnit Source #
Instance details Defined in B9.DiskImages Methods (==) :: SizeUnit -> SizeUnit -> Bool # (/=) :: SizeUnit -> SizeUnit -> Bool #
Data SizeUnit Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SizeUnit -> c SizeUnit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SizeUnit # toConstr :: SizeUnit -> Constr # dataTypeOf :: SizeUnit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SizeUnit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SizeUnit) # gmapT :: (forall b. Data b => b -> b) -> SizeUnit -> SizeUnit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SizeUnit -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SizeUnit -> r # gmapQ :: (forall d. Data d => d -> u) -> SizeUnit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SizeUnit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SizeUnit -> m SizeUnit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SizeUnit -> m SizeUnit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SizeUnit -> m SizeUnit #
Ord SizeUnit Source #
Instance details Defined in B9.DiskImages Methods compare :: SizeUnit -> SizeUnit -> Ordering # (<) :: SizeUnit -> SizeUnit -> Bool # (<=) :: SizeUnit -> SizeUnit -> Bool # (>) :: SizeUnit -> SizeUnit -> Bool # (>=) :: SizeUnit -> SizeUnit -> Bool # max :: SizeUnit -> SizeUnit -> SizeUnit # min :: SizeUnit -> SizeUnit -> SizeUnit #
Read SizeUnit Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS SizeUnit # readList :: ReadS [SizeUnit] # readPrec :: ReadPrec SizeUnit # readListPrec :: ReadPrec [SizeUnit] #
Show SizeUnit Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> SizeUnit -> ShowS # show :: SizeUnit -> String # showList :: [SizeUnit] -> ShowS #
Generic SizeUnit Source #
Instance details Defined in B9.DiskImages Associated Types type Rep SizeUnit :: Type -> Type # Methods from :: SizeUnit -> Rep SizeUnit x # to :: Rep SizeUnit x -> SizeUnit #
Arbitrary SizeUnit Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen SizeUnit # shrink :: SizeUnit -> [SizeUnit] #
Hashable SizeUnit Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> SizeUnit -> Int # hash :: SizeUnit -> Int #
Binary SizeUnit Source #
Instance details Defined in B9.DiskImages Methods put :: SizeUnit -> Put # get :: Get SizeUnit # putList :: [SizeUnit] -> Put #
NFData SizeUnit Source #
Instance details Defined in B9.DiskImages Methods rnf :: SizeUnit -> () #
type Rep SizeUnit Source #
Instance details Defined in B9.DiskImages type Rep SizeUnit = D1 (MetaData "SizeUnit" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "KB" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MB" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GB" PrefixI False) (U1 :: Type -> Type)))

data ImageResize Source #

How to resize an image file.

Constructors

ResizeImage ImageSize	Resize the image but not the file system. Note that a file system contained in the image file might be corrupted by this operation. To not only resize the image file but also the fil system contained in it, use `Resize`.
Resize ImageSize	Resize an image and the contained file system.
ShrinkToMinimumAndIncrease ImageSize	Shrink to minimum size needed and increase by the amount given.
ShrinkToMinimum	Resize an image and the contained file system to the smallest size to fit the contents of the file system.
KeepSize	Do not change the image size.

Instances

Eq ImageResize Source #
Instance details Defined in B9.DiskImages Methods (==) :: ImageResize -> ImageResize -> Bool # (/=) :: ImageResize -> ImageResize -> Bool #
Data ImageResize Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageResize -> c ImageResize # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageResize # toConstr :: ImageResize -> Constr # dataTypeOf :: ImageResize -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageResize) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageResize) # gmapT :: (forall b. Data b => b -> b) -> ImageResize -> ImageResize # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageResize -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageResize -> r # gmapQ :: (forall d. Data d => d -> u) -> ImageResize -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageResize -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageResize -> m ImageResize # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageResize -> m ImageResize # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageResize -> m ImageResize #
Read ImageResize Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS ImageResize # readList :: ReadS [ImageResize] # readPrec :: ReadPrec ImageResize # readListPrec :: ReadPrec [ImageResize] #
Show ImageResize Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> ImageResize -> ShowS # show :: ImageResize -> String # showList :: [ImageResize] -> ShowS #
Generic ImageResize Source #
Instance details Defined in B9.DiskImages Associated Types type Rep ImageResize :: Type -> Type # Methods from :: ImageResize -> Rep ImageResize x # to :: Rep ImageResize x -> ImageResize #
Arbitrary ImageResize Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen ImageResize # shrink :: ImageResize -> [ImageResize] #
Hashable ImageResize Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> ImageResize -> Int # hash :: ImageResize -> Int #
Binary ImageResize Source #
Instance details Defined in B9.DiskImages Methods put :: ImageResize -> Put # get :: Get ImageResize # putList :: [ImageResize] -> Put #
NFData ImageResize Source #
Instance details Defined in B9.DiskImages Methods rnf :: ImageResize -> () #
type Rep ImageResize Source #
Instance details Defined in B9.DiskImages type Rep ImageResize = D1 (MetaData "ImageResize" "B9.DiskImages" "b9-1.0.1-inplace" False) ((C1 (MetaCons "ResizeImage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize)) :+: C1 (MetaCons "Resize" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize))) :+: (C1 (MetaCons "ShrinkToMinimumAndIncrease" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize)) :+: (C1 (MetaCons "ShrinkToMinimum" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "KeepSize" PrefixI False) (U1 :: Type -> Type))))

type Mounted a = (a, MountPoint) Source #

A type alias that indicates that something of type a is mount at a MountPoint

Shared Images

data SharedImage Source #

SharedImage holds all data necessary to describe an instance of a shared image identified by a SharedImageName. Shared images are stored in Repositorys.

Constructors

SharedImage SharedImageName SharedImageDate SharedImageBuildId ImageType FileSystem

Instances

Eq SharedImage Source #
Instance details Defined in B9.DiskImages Methods (==) :: SharedImage -> SharedImage -> Bool # (/=) :: SharedImage -> SharedImage -> Bool #
Data SharedImage Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImage -> c SharedImage # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImage # toConstr :: SharedImage -> Constr # dataTypeOf :: SharedImage -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImage) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImage) # gmapT :: (forall b. Data b => b -> b) -> SharedImage -> SharedImage # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImage -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImage -> r # gmapQ :: (forall d. Data d => d -> u) -> SharedImage -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImage -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImage -> m SharedImage # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImage -> m SharedImage # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImage -> m SharedImage #
Ord SharedImage Source #	Shared images are ordered by name, build date and build id
Instance details Defined in B9.DiskImages Methods compare :: SharedImage -> SharedImage -> Ordering # (<) :: SharedImage -> SharedImage -> Bool # (<=) :: SharedImage -> SharedImage -> Bool # (>) :: SharedImage -> SharedImage -> Bool # (>=) :: SharedImage -> SharedImage -> Bool # max :: SharedImage -> SharedImage -> SharedImage # min :: SharedImage -> SharedImage -> SharedImage #
Read SharedImage Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS SharedImage # readList :: ReadS [SharedImage] # readPrec :: ReadPrec SharedImage # readListPrec :: ReadPrec [SharedImage] #
Show SharedImage Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> SharedImage -> ShowS # show :: SharedImage -> String # showList :: [SharedImage] -> ShowS #
Generic SharedImage Source #
Instance details Defined in B9.DiskImages Associated Types type Rep SharedImage :: Type -> Type # Methods from :: SharedImage -> Rep SharedImage x # to :: Rep SharedImage x -> SharedImage #
Hashable SharedImage Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> SharedImage -> Int # hash :: SharedImage -> Int #
Binary SharedImage Source #
Instance details Defined in B9.DiskImages Methods put :: SharedImage -> Put # get :: Get SharedImage # putList :: [SharedImage] -> Put #
NFData SharedImage Source #
Instance details Defined in B9.DiskImages Methods rnf :: SharedImage -> () #
type Rep SharedImage Source #
Instance details Defined in B9.DiskImages type Rep SharedImage = D1 (MetaData "SharedImage" "B9.DiskImages" "b9-1.0.1-inplace" False) (C1 (MetaCons "SharedImage" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageDate)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageBuildId) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileSystem)))))

newtype SharedImageName Source #

The name of the image is the de-facto identifier for push, pull, From and Share. B9 always selects the newest version the shared image identified by that name when using a shared image as an ImageSource. This is a wrapper around a string that identifies a SharedImage

Constructors

SharedImageName String

Instances

Eq SharedImageName Source #
Instance details Defined in B9.DiskImages Methods (==) :: SharedImageName -> SharedImageName -> Bool # (/=) :: SharedImageName -> SharedImageName -> Bool #
Data SharedImageName Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImageName -> c SharedImageName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImageName # toConstr :: SharedImageName -> Constr # dataTypeOf :: SharedImageName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImageName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImageName) # gmapT :: (forall b. Data b => b -> b) -> SharedImageName -> SharedImageName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageName -> r # gmapQ :: (forall d. Data d => d -> u) -> SharedImageName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImageName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImageName -> m SharedImageName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageName -> m SharedImageName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageName -> m SharedImageName #
Ord SharedImageName Source #
Instance details Defined in B9.DiskImages Methods compare :: SharedImageName -> SharedImageName -> Ordering # (<) :: SharedImageName -> SharedImageName -> Bool # (<=) :: SharedImageName -> SharedImageName -> Bool # (>) :: SharedImageName -> SharedImageName -> Bool # (>=) :: SharedImageName -> SharedImageName -> Bool # max :: SharedImageName -> SharedImageName -> SharedImageName # min :: SharedImageName -> SharedImageName -> SharedImageName #
Read SharedImageName Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS SharedImageName # readList :: ReadS [SharedImageName] # readPrec :: ReadPrec SharedImageName # readListPrec :: ReadPrec [SharedImageName] #
Show SharedImageName Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> SharedImageName -> ShowS # show :: SharedImageName -> String # showList :: [SharedImageName] -> ShowS #
Arbitrary SharedImageName Source #
Instance details Defined in B9.DiskImages Methods arbitrary :: Gen SharedImageName # shrink :: SharedImageName -> [SharedImageName] #
Hashable SharedImageName Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> SharedImageName -> Int # hash :: SharedImageName -> Int #
Binary SharedImageName Source #
Instance details Defined in B9.DiskImages Methods put :: SharedImageName -> Put # get :: Get SharedImageName # putList :: [SharedImageName] -> Put #
NFData SharedImageName Source #
Instance details Defined in B9.DiskImages Methods rnf :: SharedImageName -> () #
type RuleResult SharedImageName Source #
Instance details Defined in B9.Shake.SharedImageRules type RuleResult SharedImageName = SharedImageBuildId

fromSharedImageName :: SharedImageName -> String Source #

Get the String representation of a SharedImageName.

newtype SharedImageDate Source #

The exact time that build job started. This is a wrapper around a string contains the build date of a SharedImage; this is purely additional convenience and typesafety

Constructors

SharedImageDate String

Instances

Eq SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods (==) :: SharedImageDate -> SharedImageDate -> Bool # (/=) :: SharedImageDate -> SharedImageDate -> Bool #
Data SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImageDate -> c SharedImageDate # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImageDate # toConstr :: SharedImageDate -> Constr # dataTypeOf :: SharedImageDate -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImageDate) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImageDate) # gmapT :: (forall b. Data b => b -> b) -> SharedImageDate -> SharedImageDate # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageDate -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageDate -> r # gmapQ :: (forall d. Data d => d -> u) -> SharedImageDate -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImageDate -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImageDate -> m SharedImageDate # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageDate -> m SharedImageDate # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageDate -> m SharedImageDate #
Ord SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods compare :: SharedImageDate -> SharedImageDate -> Ordering # (<) :: SharedImageDate -> SharedImageDate -> Bool # (<=) :: SharedImageDate -> SharedImageDate -> Bool # (>) :: SharedImageDate -> SharedImageDate -> Bool # (>=) :: SharedImageDate -> SharedImageDate -> Bool # max :: SharedImageDate -> SharedImageDate -> SharedImageDate # min :: SharedImageDate -> SharedImageDate -> SharedImageDate #
Read SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS SharedImageDate # readList :: ReadS [SharedImageDate] # readPrec :: ReadPrec SharedImageDate # readListPrec :: ReadPrec [SharedImageDate] #
Show SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> SharedImageDate -> ShowS # show :: SharedImageDate -> String # showList :: [SharedImageDate] -> ShowS #
Hashable SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> SharedImageDate -> Int # hash :: SharedImageDate -> Int #
Binary SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods put :: SharedImageDate -> Put # get :: Get SharedImageDate # putList :: [SharedImageDate] -> Put #
NFData SharedImageDate Source #
Instance details Defined in B9.DiskImages Methods rnf :: SharedImageDate -> () #

newtype SharedImageBuildId Source #

Every B9 build running in a B9Monad contains a random unique id that is generated once per build (no matter how many artifacts are created in that build) This field contains the build id of the build that created the shared image instance. This is A wrapper around a string contains the build id of a SharedImage; this is purely additional convenience and typesafety

Constructors

SharedImageBuildId String

Instances

Eq SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods (==) :: SharedImageBuildId -> SharedImageBuildId -> Bool # (/=) :: SharedImageBuildId -> SharedImageBuildId -> Bool #
Data SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImageBuildId -> c SharedImageBuildId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImageBuildId # toConstr :: SharedImageBuildId -> Constr # dataTypeOf :: SharedImageBuildId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImageBuildId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImageBuildId) # gmapT :: (forall b. Data b => b -> b) -> SharedImageBuildId -> SharedImageBuildId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageBuildId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageBuildId -> r # gmapQ :: (forall d. Data d => d -> u) -> SharedImageBuildId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImageBuildId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImageBuildId -> m SharedImageBuildId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageBuildId -> m SharedImageBuildId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageBuildId -> m SharedImageBuildId #
Ord SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods compare :: SharedImageBuildId -> SharedImageBuildId -> Ordering # (<) :: SharedImageBuildId -> SharedImageBuildId -> Bool # (<=) :: SharedImageBuildId -> SharedImageBuildId -> Bool # (>) :: SharedImageBuildId -> SharedImageBuildId -> Bool # (>=) :: SharedImageBuildId -> SharedImageBuildId -> Bool # max :: SharedImageBuildId -> SharedImageBuildId -> SharedImageBuildId # min :: SharedImageBuildId -> SharedImageBuildId -> SharedImageBuildId #
Read SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods readsPrec :: Int -> ReadS SharedImageBuildId # readList :: ReadS [SharedImageBuildId] # readPrec :: ReadPrec SharedImageBuildId # readListPrec :: ReadPrec [SharedImageBuildId] #
Show SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods showsPrec :: Int -> SharedImageBuildId -> ShowS # show :: SharedImageBuildId -> String # showList :: [SharedImageBuildId] -> ShowS #
Hashable SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods hashWithSalt :: Int -> SharedImageBuildId -> Int # hash :: SharedImageBuildId -> Int #
Binary SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods put :: SharedImageBuildId -> Put # get :: Get SharedImageBuildId # putList :: [SharedImageBuildId] -> Put #
NFData SharedImageBuildId Source #
Instance details Defined in B9.DiskImages Methods rnf :: SharedImageBuildId -> () #

fromSharedImageBuildId :: SharedImageBuildId -> String Source #

Get the String representation of a SharedImageBuildId.

Constructor and accessors for `Image` `ImageTarget` `ImageSource`

imageFileName :: Image -> FilePath Source #

Return the name of the file corresponding to an Image

imageImageType :: Image -> ImageType Source #

Return the ImageType of an Image

getImageDestinationOutputFiles :: ImageTarget -> [FilePath] Source #

Return the files generated for a LocalFile or a LiveInstallerImage; SharedImage and Transient are treated like they have no output files because the output files are manged by B9.

imageDestinationSharedImageName :: ImageDestination -> Maybe SharedImageName Source #

Return the name of a shared image, if the ImageDestination is a Share destination

imageSourceSharedImageName :: ImageSource -> Maybe SharedImageName Source #

Return the name of a shared source image, if the ImageSource is a From source

itImageDestination :: ImageTarget -> ImageDestination Source #

Get the ImageDestination of an ImageTarget

itImageSource :: ImageTarget -> ImageSource Source #

Get the ImageSource of an ImageTarget

itImageMountPoint :: ImageTarget -> MountPoint Source #

Get the MountPoint of an ImageTarget

isPartitioned :: Partition -> Bool Source #

Return true if a Partition parameter is actually referring to a partition, false if it is NoPT

getPartition :: Partition -> Int Source #

Return the Partition index or throw a runtime error if applied to NoPT

imageFileExtension :: ImageType -> String Source #

Return the file name extension of an image file with a specific image format.

changeImageFormat :: ImageType -> Image -> Image Source #

Change the image file format and also rename the image file name to have the appropriate file name extension. See imageFileExtension and replaceExtension

changeImageDirectory :: FilePath -> Image -> Image Source #

Constructors and accessors for `ImageSource`s

getImageSourceImageType :: ImageSource -> Maybe ImageType Source #

Constructors and accessors for `SharedImage`s

sharedImageName :: SharedImage -> SharedImageName Source #

Return the name of a shared image.

sharedImageDate :: SharedImage -> SharedImageDate Source #

Return the build date of a shared image.

sharedImageBuildId :: SharedImage -> SharedImageBuildId Source #

Return the build id of a shared image.

prettyPrintSharedImages :: [SharedImage] -> String Source #

Print the contents of the shared image in one line

sharedImageImage :: SharedImage -> Image Source #

Return the disk image of an sharedImage

sharedImageFileName :: SharedImage -> FilePath Source #

Calculate the path to the text file holding the serialized SharedImage relative to the directory of shared images in a repository.

sharedImagesRootDirectory :: FilePath Source #

sharedImageFileExtension :: String Source #

sharedImageDefaultImageType :: ImageType Source #

The internal image type to use as best guess when dealing with a From value.

Constructors for `ImageTarget`s

transientCOWImage :: FilePath -> FilePath -> ImageTarget Source #

Use a QCow2 image with an Ext4 file system

transientSharedImage :: SharedImageName -> FilePath -> ImageTarget Source #

Use a shared image

transientLocalImage :: FilePath -> FilePath -> ImageTarget Source #

Use a shared image

shareCOWImage :: FilePath -> SharedImageName -> FilePath -> ImageTarget Source #

Share a QCow2 image with Ext4 fs

shareSharedImage :: SharedImageName -> SharedImageName -> FilePath -> ImageTarget Source #

Share an image based on a shared image

shareLocalImage :: FilePath -> SharedImageName -> FilePath -> ImageTarget Source #

Share a QCow2 image with Ext4 fs

cowToliveInstallerImage :: String -> FilePath -> FilePath -> FilePath -> ImageTarget Source #

Export a QCow2 image with Ext4 fs

cowToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget Source #

Export a QCow2 image file with Ext4 fs as a local file

localToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget Source #

Export a QCow2 image file with Ext4 fs as a local file

partition1ToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget Source #

Create a local image file from the contents of the first partition of a local QCow2 image.

`ImageTarget` Transformations

splitToIntermediateSharedImage :: ImageTarget -> SharedImageName -> (ImageTarget, ImageTarget) Source #

Split any image target into two image targets, one for creating an intermediate shared image and one from the intermediate shared image to the output image.

`Arbitrary` instances for quickcheck

arbitrarySharedImageName :: Gen String Source #

unitTests :: Spec Source #

Data types for disk image description, e.g. ImageTarget,

Shared Images

Constructor and accessors for Image ImageTarget ImageSource

Constructors and accessors for ImageSources

Constructors and accessors for SharedImages

Constructors for ImageTargets

ImageTarget Transformations

Arbitrary instances for quickcheck

Data types for disk image description, e.g. `ImageTarget`,

Constructor and accessors for `Image` `ImageTarget` `ImageSource`

Constructors and accessors for `ImageSource`s

Constructors and accessors for `SharedImage`s

Constructors for `ImageTarget`s

`ImageTarget` Transformations

`Arbitrary` instances for quickcheck