Safe Haskell	None
Language	Haskell2010

B9.DiskImages

Contents

Data types for disk image description, e.g. ImageTarget,
Shared Images
Constroctor 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 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 #
Methods (==) :: ImageTarget -> ImageTarget -> Bool # (/=) :: ImageTarget -> ImageTarget -> Bool #
Data ImageTarget Source #
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 #
Methods readsPrec :: Int -> ReadS ImageTarget # readList :: ReadS [ImageTarget] # readPrec :: ReadPrec ImageTarget # readListPrec :: ReadPrec [ImageTarget] #
Show ImageTarget Source #
Methods showsPrec :: Int -> ImageTarget -> ShowS # show :: ImageTarget -> String # showList :: [ImageTarget] -> ShowS #
Generic ImageTarget Source #
Associated Types type Rep ImageTarget :: * -> * # Methods from :: ImageTarget -> Rep ImageTarget x # to :: Rep ImageTarget x -> ImageTarget #
Arbitrary ImageTarget Source #
Methods arbitrary :: Gen ImageTarget # shrink :: ImageTarget -> [ImageTarget] #
Hashable ImageTarget Source #
Methods hashWithSalt :: Int -> ImageTarget -> Int # hash :: ImageTarget -> Int #
Binary ImageTarget Source #
Methods put :: ImageTarget -> Put # get :: Get ImageTarget # putList :: [ImageTarget] -> Put #
NFData ImageTarget Source #
Methods rnf :: ImageTarget -> () #
type Rep ImageTarget Source #
type Rep ImageTarget = D1 (MetaData "ImageTarget" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) (C1 (MetaCons "ImageTarget" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageDestination)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSource)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MountPoint)))))

data MountPoint Source #

A mount point or NotMounted

Constructors

MountPoint FilePath
NotMounted

Instances

Eq MountPoint Source #
Methods (==) :: MountPoint -> MountPoint -> Bool # (/=) :: MountPoint -> MountPoint -> Bool #
Data MountPoint Source #
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 #
Methods readsPrec :: Int -> ReadS MountPoint # readList :: ReadS [MountPoint] # readPrec :: ReadPrec MountPoint # readListPrec :: ReadPrec [MountPoint] #
Show MountPoint Source #
Methods showsPrec :: Int -> MountPoint -> ShowS # show :: MountPoint -> String # showList :: [MountPoint] -> ShowS #
Generic MountPoint Source #
Associated Types type Rep MountPoint :: * -> * # Methods from :: MountPoint -> Rep MountPoint x # to :: Rep MountPoint x -> MountPoint #
Arbitrary MountPoint Source #
Methods arbitrary :: Gen MountPoint # shrink :: MountPoint -> [MountPoint] #
Hashable MountPoint Source #
Methods hashWithSalt :: Int -> MountPoint -> Int # hash :: MountPoint -> Int #
Binary MountPoint Source #
Methods put :: MountPoint -> Put # get :: Get MountPoint # putList :: [MountPoint] -> Put #
NFData MountPoint Source #
Methods rnf :: MountPoint -> () #
type Rep MountPoint Source #
type Rep MountPoint = D1 (MetaData "MountPoint" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) (C1 (MetaCons "MountPoint" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath))) (C1 (MetaCons "NotMounted" PrefixI False) U1))

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 #
Methods (==) :: ImageDestination -> ImageDestination -> Bool # (/=) :: ImageDestination -> ImageDestination -> Bool #
Data ImageDestination Source #
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 #
Methods readsPrec :: Int -> ReadS ImageDestination # readList :: ReadS [ImageDestination] # readPrec :: ReadPrec ImageDestination # readListPrec :: ReadPrec [ImageDestination] #
Show ImageDestination Source #
Methods showsPrec :: Int -> ImageDestination -> ShowS # show :: ImageDestination -> String # showList :: [ImageDestination] -> ShowS #
Generic ImageDestination Source #
Associated Types type Rep ImageDestination :: * -> * # Methods from :: ImageDestination -> Rep ImageDestination x # to :: Rep ImageDestination x -> ImageDestination #
Arbitrary ImageDestination Source #
Methods arbitrary :: Gen ImageDestination # shrink :: ImageDestination -> [ImageDestination] #
Hashable ImageDestination Source #
Methods hashWithSalt :: Int -> ImageDestination -> Int # hash :: ImageDestination -> Int #
Binary ImageDestination Source #
Methods put :: ImageDestination -> Put # get :: Get ImageDestination # putList :: [ImageDestination] -> Put #
NFData ImageDestination Source #
Methods rnf :: ImageDestination -> () #
type Rep ImageDestination Source #
type Rep ImageDestination = D1 (MetaData "ImageDestination" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) ((:+:) (C1 (MetaCons "Share" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))))) (C1 (MetaCons "LiveInstallerImage" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize)))))) ((:+:) (C1 (MetaCons "LocalFile" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize)))) (C1 (MetaCons "Transient" PrefixI False) U1)))

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 #
Methods (==) :: ImageSource -> ImageSource -> Bool # (/=) :: ImageSource -> ImageSource -> Bool #
Data ImageSource Source #
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 #
Methods readsPrec :: Int -> ReadS ImageSource # readList :: ReadS [ImageSource] # readPrec :: ReadPrec ImageSource # readListPrec :: ReadPrec [ImageSource] #
Show ImageSource Source #
Methods showsPrec :: Int -> ImageSource -> ShowS # show :: ImageSource -> String # showList :: [ImageSource] -> ShowS #
Generic ImageSource Source #
Associated Types type Rep ImageSource :: * -> * # Methods from :: ImageSource -> Rep ImageSource x # to :: Rep ImageSource x -> ImageSource #
Arbitrary ImageSource Source #
Methods arbitrary :: Gen ImageSource # shrink :: ImageSource -> [ImageSource] #
Hashable ImageSource Source #
Methods hashWithSalt :: Int -> ImageSource -> Int # hash :: ImageSource -> Int #
Binary ImageSource Source #
Methods put :: ImageSource -> Put # get :: Get ImageSource # putList :: [ImageSource] -> Put #
NFData ImageSource Source #
Methods rnf :: ImageSource -> () #
type Rep ImageSource Source #
type Rep ImageSource = D1 (MetaData "ImageSource" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) ((:+:) (C1 (MetaCons "EmptyImage" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileSystem))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize))))) (C1 (MetaCons "CopyOnWrite" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image)))) ((:+:) (C1 (MetaCons "SourceImage" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Partition)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))))) (C1 (MetaCons "From" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing 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 #
Methods (==) :: Partition -> Partition -> Bool # (/=) :: Partition -> Partition -> Bool #
Data Partition Source #
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 #
Methods readsPrec :: Int -> ReadS Partition # readList :: ReadS [Partition] # readPrec :: ReadPrec Partition # readListPrec :: ReadPrec [Partition] #
Show Partition Source #
Methods showsPrec :: Int -> Partition -> ShowS # show :: Partition -> String # showList :: [Partition] -> ShowS #
Generic Partition Source #
Associated Types type Rep Partition :: * -> * # Methods from :: Partition -> Rep Partition x # to :: Rep Partition x -> Partition #
Arbitrary Partition Source #
Methods arbitrary :: Gen Partition # shrink :: Partition -> [Partition] #
Hashable Partition Source #
Methods hashWithSalt :: Int -> Partition -> Int # hash :: Partition -> Int #
Binary Partition Source #
Methods put :: Partition -> Put # get :: Get Partition # putList :: [Partition] -> Put #
NFData Partition Source #
Methods rnf :: Partition -> () #
type Rep Partition Source #
type Rep Partition = D1 (MetaData "Partition" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) (C1 (MetaCons "NoPT" PrefixI False) U1) (C1 (MetaCons "Partition" PrefixI False) (S1 (MetaSel (Nothing 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 #
Methods (==) :: Image -> Image -> Bool # (/=) :: Image -> Image -> Bool #
Data Image Source #
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 #
Methods readsPrec :: Int -> ReadS Image # readList :: ReadS [Image] # readPrec :: ReadPrec Image # readListPrec :: ReadPrec [Image] #
Show Image Source #
Methods showsPrec :: Int -> Image -> ShowS # show :: Image -> String # showList :: [Image] -> ShowS #
Generic Image Source #
Associated Types type Rep Image :: * -> * # Methods from :: Image -> Rep Image x # to :: Rep Image x -> Image #
Arbitrary Image Source #
Methods arbitrary :: Gen Image # shrink :: Image -> [Image] #
Hashable Image Source #
Methods hashWithSalt :: Int -> Image -> Int # hash :: Image -> Int #
Binary Image Source #
Methods put :: Image -> Put # get :: Get Image # putList :: [Image] -> Put #
NFData Image Source #
Methods rnf :: Image -> () #
type Rep Image Source #
type Rep Image = D1 (MetaData "Image" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) (C1 (MetaCons "Image" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType)) (S1 (MetaSel (Nothing 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 #
Methods (==) :: ImageType -> ImageType -> Bool # (/=) :: ImageType -> ImageType -> Bool #
Data ImageType Source #
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 #
Methods readsPrec :: Int -> ReadS ImageType # readList :: ReadS [ImageType] # readPrec :: ReadPrec ImageType # readListPrec :: ReadPrec [ImageType] #
Show ImageType Source #
Methods showsPrec :: Int -> ImageType -> ShowS # show :: ImageType -> String # showList :: [ImageType] -> ShowS #
Generic ImageType Source #
Associated Types type Rep ImageType :: * -> * # Methods from :: ImageType -> Rep ImageType x # to :: Rep ImageType x -> ImageType #
Arbitrary ImageType Source #
Methods arbitrary :: Gen ImageType # shrink :: ImageType -> [ImageType] #
Hashable ImageType Source #
Methods hashWithSalt :: Int -> ImageType -> Int # hash :: ImageType -> Int #
Binary ImageType Source #
Methods put :: ImageType -> Put # get :: Get ImageType # putList :: [ImageType] -> Put #
NFData ImageType Source #
Methods rnf :: ImageType -> () #
type Rep ImageType Source #
type Rep ImageType = D1 (MetaData "ImageType" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) (C1 (MetaCons "Raw" PrefixI False) U1) ((:+:) (C1 (MetaCons "QCow2" PrefixI False) U1) (C1 (MetaCons "Vmdk" PrefixI False) U1)))

data FileSystem Source #

The file systems that b9 can use and convert.

Constructors

NoFileSystem
Ext4
ISO9660
VFAT

Instances

Eq FileSystem Source #
Methods (==) :: FileSystem -> FileSystem -> Bool # (/=) :: FileSystem -> FileSystem -> Bool #
Data FileSystem Source #
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 #
Methods readsPrec :: Int -> ReadS FileSystem # readList :: ReadS [FileSystem] # readPrec :: ReadPrec FileSystem # readListPrec :: ReadPrec [FileSystem] #
Show FileSystem Source #
Methods showsPrec :: Int -> FileSystem -> ShowS # show :: FileSystem -> String # showList :: [FileSystem] -> ShowS #
Generic FileSystem Source #
Associated Types type Rep FileSystem :: * -> * # Methods from :: FileSystem -> Rep FileSystem x # to :: Rep FileSystem x -> FileSystem #
Arbitrary FileSystem Source #
Methods arbitrary :: Gen FileSystem # shrink :: FileSystem -> [FileSystem] #
Hashable FileSystem Source #
Methods hashWithSalt :: Int -> FileSystem -> Int # hash :: FileSystem -> Int #
Binary FileSystem Source #
Methods put :: FileSystem -> Put # get :: Get FileSystem # putList :: [FileSystem] -> Put #
NFData FileSystem Source #
Methods rnf :: FileSystem -> () #
type Rep FileSystem Source #
type Rep FileSystem = D1 (MetaData "FileSystem" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) ((:+:) (C1 (MetaCons "NoFileSystem" PrefixI False) U1) (C1 (MetaCons "Ext4" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ISO9660" PrefixI False) U1) (C1 (MetaCons "VFAT" PrefixI False) U1)))

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 #
Methods (==) :: ImageSize -> ImageSize -> Bool # (/=) :: ImageSize -> ImageSize -> Bool #
Data ImageSize Source #
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 #
Methods readsPrec :: Int -> ReadS ImageSize # readList :: ReadS [ImageSize] # readPrec :: ReadPrec ImageSize # readListPrec :: ReadPrec [ImageSize] #
Show ImageSize Source #
Methods showsPrec :: Int -> ImageSize -> ShowS # show :: ImageSize -> String # showList :: [ImageSize] -> ShowS #
Generic ImageSize Source #
Associated Types type Rep ImageSize :: * -> * # Methods from :: ImageSize -> Rep ImageSize x # to :: Rep ImageSize x -> ImageSize #
Arbitrary ImageSize Source #
Methods arbitrary :: Gen ImageSize # shrink :: ImageSize -> [ImageSize] #
Hashable ImageSize Source #
Methods hashWithSalt :: Int -> ImageSize -> Int # hash :: ImageSize -> Int #
Binary ImageSize Source #
Methods put :: ImageSize -> Put # get :: Get ImageSize # putList :: [ImageSize] -> Put #
NFData ImageSize Source #
Methods rnf :: ImageSize -> () #
type Rep ImageSize Source #
type Rep ImageSize = D1 (MetaData "ImageSize" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) (C1 (MetaCons "ImageSize" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SizeUnit))))

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

B
KB
MB
GB

Instances

Eq SizeUnit Source #
Methods (==) :: SizeUnit -> SizeUnit -> Bool # (/=) :: SizeUnit -> SizeUnit -> Bool #
Data SizeUnit Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS SizeUnit # readList :: ReadS [SizeUnit] # readPrec :: ReadPrec SizeUnit # readListPrec :: ReadPrec [SizeUnit] #
Show SizeUnit Source #
Methods showsPrec :: Int -> SizeUnit -> ShowS # show :: SizeUnit -> String # showList :: [SizeUnit] -> ShowS #
Generic SizeUnit Source #
Associated Types type Rep SizeUnit :: * -> * # Methods from :: SizeUnit -> Rep SizeUnit x # to :: Rep SizeUnit x -> SizeUnit #
Arbitrary SizeUnit Source #
Methods arbitrary :: Gen SizeUnit # shrink :: SizeUnit -> [SizeUnit] #
Hashable SizeUnit Source #
Methods hashWithSalt :: Int -> SizeUnit -> Int # hash :: SizeUnit -> Int #
Binary SizeUnit Source #
Methods put :: SizeUnit -> Put # get :: Get SizeUnit # putList :: [SizeUnit] -> Put #
NFData SizeUnit Source #
Methods rnf :: SizeUnit -> () #
type Rep SizeUnit Source #
type Rep SizeUnit = D1 (MetaData "SizeUnit" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) ((:+:) (C1 (MetaCons "B" PrefixI False) U1) (C1 (MetaCons "KB" PrefixI False) U1)) ((:+:) (C1 (MetaCons "MB" PrefixI False) U1) (C1 (MetaCons "GB" PrefixI False) U1)))

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.
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 #
Methods (==) :: ImageResize -> ImageResize -> Bool # (/=) :: ImageResize -> ImageResize -> Bool #
Data ImageResize Source #
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 #
Methods readsPrec :: Int -> ReadS ImageResize # readList :: ReadS [ImageResize] # readPrec :: ReadPrec ImageResize # readListPrec :: ReadPrec [ImageResize] #
Show ImageResize Source #
Methods showsPrec :: Int -> ImageResize -> ShowS # show :: ImageResize -> String # showList :: [ImageResize] -> ShowS #
Generic ImageResize Source #
Associated Types type Rep ImageResize :: * -> * # Methods from :: ImageResize -> Rep ImageResize x # to :: Rep ImageResize x -> ImageResize #
Arbitrary ImageResize Source #
Methods arbitrary :: Gen ImageResize # shrink :: ImageResize -> [ImageResize] #
Hashable ImageResize Source #
Methods hashWithSalt :: Int -> ImageResize -> Int # hash :: ImageResize -> Int #
Binary ImageResize Source #
Methods put :: ImageResize -> Put # get :: Get ImageResize # putList :: [ImageResize] -> Put #
NFData ImageResize Source #
Methods rnf :: ImageResize -> () #
type Rep ImageResize Source #
type Rep ImageResize = D1 (MetaData "ImageResize" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) ((:+:) ((:+:) (C1 (MetaCons "ResizeImage" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize))) (C1 (MetaCons "Resize" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize)))) ((:+:) (C1 (MetaCons "ShrinkToMinimum" PrefixI False) U1) (C1 (MetaCons "KeepSize" PrefixI False) U1)))

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 #
Methods (==) :: SharedImage -> SharedImage -> Bool # (/=) :: SharedImage -> SharedImage -> Bool #
Data SharedImage Source #
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 orderd by name, build date and build id
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 #
Methods readsPrec :: Int -> ReadS SharedImage # readList :: ReadS [SharedImage] # readPrec :: ReadPrec SharedImage # readListPrec :: ReadPrec [SharedImage] #
Show SharedImage Source #
Methods showsPrec :: Int -> SharedImage -> ShowS # show :: SharedImage -> String # showList :: [SharedImage] -> ShowS #
Generic SharedImage Source #
Associated Types type Rep SharedImage :: * -> * # Methods from :: SharedImage -> Rep SharedImage x # to :: Rep SharedImage x -> SharedImage #
Hashable SharedImage Source #
Methods hashWithSalt :: Int -> SharedImage -> Int # hash :: SharedImage -> Int #
Binary SharedImage Source #
Methods put :: SharedImage -> Put # get :: Get SharedImage # putList :: [SharedImage] -> Put #
NFData SharedImage Source #
Methods rnf :: SharedImage -> () #
type Rep SharedImage Source #
type Rep SharedImage = D1 (MetaData "SharedImage" "B9.DiskImages" "b9-0.5.30-JIpfhe2WUzZ314Dg9ph204" False) (C1 (MetaCons "SharedImage" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageDate))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageBuildId)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType)) (S1 (MetaSel (Nothing 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 #
Methods (==) :: SharedImageName -> SharedImageName -> Bool # (/=) :: SharedImageName -> SharedImageName -> Bool #
Data SharedImageName Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS SharedImageName # readList :: ReadS [SharedImageName] # readPrec :: ReadPrec SharedImageName # readListPrec :: ReadPrec [SharedImageName] #
Show SharedImageName Source #
Methods showsPrec :: Int -> SharedImageName -> ShowS # show :: SharedImageName -> String # showList :: [SharedImageName] -> ShowS #
Arbitrary SharedImageName Source #
Methods arbitrary :: Gen SharedImageName # shrink :: SharedImageName -> [SharedImageName] #
Hashable SharedImageName Source #
Methods hashWithSalt :: Int -> SharedImageName -> Int # hash :: SharedImageName -> Int #
Binary SharedImageName Source #
Methods put :: SharedImageName -> Put # get :: Get SharedImageName # putList :: [SharedImageName] -> Put #
NFData SharedImageName Source #
Methods rnf :: 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 #
Methods (==) :: SharedImageDate -> SharedImageDate -> Bool # (/=) :: SharedImageDate -> SharedImageDate -> Bool #
Data SharedImageDate Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS SharedImageDate # readList :: ReadS [SharedImageDate] # readPrec :: ReadPrec SharedImageDate # readListPrec :: ReadPrec [SharedImageDate] #
Show SharedImageDate Source #
Methods showsPrec :: Int -> SharedImageDate -> ShowS # show :: SharedImageDate -> String # showList :: [SharedImageDate] -> ShowS #
Hashable SharedImageDate Source #
Methods hashWithSalt :: Int -> SharedImageDate -> Int # hash :: SharedImageDate -> Int #
Binary SharedImageDate Source #
Methods put :: SharedImageDate -> Put # get :: Get SharedImageDate # putList :: [SharedImageDate] -> Put #
NFData SharedImageDate Source #
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 #
Methods (==) :: SharedImageBuildId -> SharedImageBuildId -> Bool # (/=) :: SharedImageBuildId -> SharedImageBuildId -> Bool #
Data SharedImageBuildId Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS SharedImageBuildId # readList :: ReadS [SharedImageBuildId] # readPrec :: ReadPrec SharedImageBuildId # readListPrec :: ReadPrec [SharedImageBuildId] #
Show SharedImageBuildId Source #
Methods showsPrec :: Int -> SharedImageBuildId -> ShowS # show :: SharedImageBuildId -> String # showList :: [SharedImageBuildId] -> ShowS #
Hashable SharedImageBuildId Source #
Methods hashWithSalt :: Int -> SharedImageBuildId -> Int # hash :: SharedImageBuildId -> Int #
Binary SharedImageBuildId Source #
Methods put :: SharedImageBuildId -> Put # get :: Get SharedImageBuildId # putList :: [SharedImageBuildId] -> Put #
NFData SharedImageBuildId Source #
Methods rnf :: SharedImageBuildId -> () #

Constroctor 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 ouput 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 refering to a partition, false if it is NoPT

getPartition :: Partition -> Int Source #

Return the Partition index or throw a runtime error if aplied 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

siName :: SharedImage -> SharedImageName Source #

Return the name of a shared image.

siDate :: SharedImage -> SharedImageDate Source #

Return the date of a shared image.

siBuildId :: 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 #

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

Shared Images

Constroctor 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`,

Constroctor 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