B9.DiskImages

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

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

data ImageTarget

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

Methods

(==) :: ImageTarget -> ImageTarget -> Bool

(/=) :: ImageTarget -> ImageTarget -> Bool

Data ImageTarget

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

Methods

readsPrec :: Int -> ReadS ImageTarget

readList :: ReadS [ImageTarget]

readPrec :: ReadPrec ImageTarget

readListPrec :: ReadPrec [ImageTarget]

Show ImageTarget

Methods

showsPrec :: Int -> ImageTarget -> ShowS

show :: ImageTarget -> String

showList :: [ImageTarget] -> ShowS

Generic ImageTarget

Associated Types

type Rep ImageTarget :: * -> *

Methods

from :: ImageTarget -> Rep ImageTarget x

to :: Rep ImageTarget x -> ImageTarget

Arbitrary ImageTarget

Methods

arbitrary :: Gen ImageTarget

shrink :: ImageTarget -> [ImageTarget]

Hashable ImageTarget

Methods

hashWithSalt :: Int -> ImageTarget -> Int

hash :: ImageTarget -> Int

Binary ImageTarget

Methods

put :: ImageTarget -> Put

get :: Get ImageTarget

putList :: [ImageTarget] -> Put

NFData ImageTarget

Methods

rnf :: ImageTarget -> ()

type Rep ImageTarget

type Rep ImageTarget = D1 * (MetaData "ImageTarget" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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

A mount point or NotMounted

Constructors

MountPoint FilePath

NotMounted

Instances

Eq MountPoint

Methods

(==) :: MountPoint -> MountPoint -> Bool

(/=) :: MountPoint -> MountPoint -> Bool

Data MountPoint

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

Methods

readsPrec :: Int -> ReadS MountPoint

readList :: ReadS [MountPoint]

readPrec :: ReadPrec MountPoint

readListPrec :: ReadPrec [MountPoint]

Show MountPoint

Methods

showsPrec :: Int -> MountPoint -> ShowS

show :: MountPoint -> String

showList :: [MountPoint] -> ShowS

Generic MountPoint

Associated Types

type Rep MountPoint :: * -> *

Methods

from :: MountPoint -> Rep MountPoint x

to :: Rep MountPoint x -> MountPoint

Arbitrary MountPoint

Methods

arbitrary :: Gen MountPoint

shrink :: MountPoint -> [MountPoint]

Hashable MountPoint

Methods

hashWithSalt :: Int -> MountPoint -> Int

hash :: MountPoint -> Int

Binary MountPoint

Methods

put :: MountPoint -> Put

get :: Get MountPoint

putList :: [MountPoint] -> Put

NFData MountPoint

Methods

rnf :: MountPoint -> ()

type Rep MountPoint

type Rep MountPoint = D1 * (MetaData "MountPoint" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" False) ((:+:) * (C1 * (MetaCons "MountPoint" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FilePath))) (C1 * (MetaCons "NotMounted" PrefixI False) (U1 *)))

data ImageDestination

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 ImageSources 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

Methods

(==) :: ImageDestination -> ImageDestination -> Bool

(/=) :: ImageDestination -> ImageDestination -> Bool

Data ImageDestination

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

Methods

readsPrec :: Int -> ReadS ImageDestination

readList :: ReadS [ImageDestination]

readPrec :: ReadPrec ImageDestination

readListPrec :: ReadPrec [ImageDestination]

Show ImageDestination

Methods

showsPrec :: Int -> ImageDestination -> ShowS

show :: ImageDestination -> String

showList :: [ImageDestination] -> ShowS

Generic ImageDestination

Associated Types

type Rep ImageDestination :: * -> *

Methods

from :: ImageDestination -> Rep ImageDestination x

to :: Rep ImageDestination x -> ImageDestination

Arbitrary ImageDestination

Methods

arbitrary :: Gen ImageDestination

shrink :: ImageDestination -> [ImageDestination]

Hashable ImageDestination

Methods

hashWithSalt :: Int -> ImageDestination -> Int

hash :: ImageDestination -> Int

Binary ImageDestination

Methods

put :: ImageDestination -> Put

get :: Get ImageDestination

putList :: [ImageDestination] -> Put

NFData ImageDestination

Methods

rnf :: ImageDestination -> ()

type Rep ImageDestination

type Rep ImageDestination = D1 * (MetaData "ImageDestination" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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

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

Methods

(==) :: ImageSource -> ImageSource -> Bool

(/=) :: ImageSource -> ImageSource -> Bool

Data ImageSource

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

Methods

readsPrec :: Int -> ReadS ImageSource

readList :: ReadS [ImageSource]

readPrec :: ReadPrec ImageSource

readListPrec :: ReadPrec [ImageSource]

Show ImageSource

Methods

showsPrec :: Int -> ImageSource -> ShowS

show :: ImageSource -> String

showList :: [ImageSource] -> ShowS

Generic ImageSource

Associated Types

type Rep ImageSource :: * -> *

Methods

from :: ImageSource -> Rep ImageSource x

to :: Rep ImageSource x -> ImageSource

Arbitrary ImageSource

Methods

arbitrary :: Gen ImageSource

shrink :: ImageSource -> [ImageSource]

Hashable ImageSource

Methods

hashWithSalt :: Int -> ImageSource -> Int

hash :: ImageSource -> Int

Binary ImageSource

Methods

put :: ImageSource -> Put

get :: Get ImageSource

putList :: [ImageSource] -> Put

NFData ImageSource

Methods

rnf :: ImageSource -> ()

type Rep ImageSource

type Rep ImageSource = D1 * (MetaData "ImageSource" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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

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

Methods

(==) :: Partition -> Partition -> Bool

(/=) :: Partition -> Partition -> Bool

Data Partition

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

Methods

readsPrec :: Int -> ReadS Partition

readList :: ReadS [Partition]

readPrec :: ReadPrec Partition

readListPrec :: ReadPrec [Partition]

Show Partition

Methods

showsPrec :: Int -> Partition -> ShowS

show :: Partition -> String

showList :: [Partition] -> ShowS

Generic Partition

Associated Types

type Rep Partition :: * -> *

Methods

from :: Partition -> Rep Partition x

to :: Rep Partition x -> Partition

Arbitrary Partition

Methods

arbitrary :: Gen Partition

shrink :: Partition -> [Partition]

Hashable Partition

Methods

hashWithSalt :: Int -> Partition -> Int

hash :: Partition -> Int

Binary Partition

Methods

put :: Partition -> Put

get :: Get Partition

putList :: [Partition] -> Put

NFData Partition

Methods

rnf :: Partition -> ()

type Rep Partition

type Rep Partition = D1 * (MetaData "Partition" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" False) ((:+:) * (C1 * (MetaCons "NoPT" PrefixI False) (U1 *)) (C1 * (MetaCons "Partition" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int))))

data Image

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

Methods

(==) :: Image -> Image -> Bool

(/=) :: Image -> Image -> Bool

Data Image

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

Methods

readsPrec :: Int -> ReadS Image

readList :: ReadS [Image]

readPrec :: ReadPrec Image

readListPrec :: ReadPrec [Image]

Show Image

Methods

showsPrec :: Int -> Image -> ShowS

show :: Image -> String

showList :: [Image] -> ShowS

Generic Image

Associated Types

type Rep Image :: * -> *

Methods

from :: Image -> Rep Image x

to :: Rep Image x -> Image

Arbitrary Image

Methods

arbitrary :: Gen Image

shrink :: Image -> [Image]

Hashable Image

Methods

hashWithSalt :: Int -> Image -> Int

hash :: Image -> Int

Binary Image

Methods

put :: Image -> Put

get :: Get Image

putList :: [Image] -> Put

NFData Image

Methods

rnf :: Image -> ()

type Rep Image

type Rep Image = D1 * (MetaData "Image" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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

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

Methods

(==) :: ImageType -> ImageType -> Bool

(/=) :: ImageType -> ImageType -> Bool

Data ImageType

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

Methods

readsPrec :: Int -> ReadS ImageType

readList :: ReadS [ImageType]

readPrec :: ReadPrec ImageType

readListPrec :: ReadPrec [ImageType]

Show ImageType

Methods

showsPrec :: Int -> ImageType -> ShowS

show :: ImageType -> String

showList :: [ImageType] -> ShowS

Generic ImageType

Associated Types

type Rep ImageType :: * -> *

Methods

from :: ImageType -> Rep ImageType x

to :: Rep ImageType x -> ImageType

Arbitrary ImageType

Methods

arbitrary :: Gen ImageType

shrink :: ImageType -> [ImageType]

Hashable ImageType

Methods

hashWithSalt :: Int -> ImageType -> Int

hash :: ImageType -> Int

Binary ImageType

Methods

put :: ImageType -> Put

get :: Get ImageType

putList :: [ImageType] -> Put

NFData ImageType

Methods

rnf :: ImageType -> ()

type Rep ImageType

type Rep ImageType = D1 * (MetaData "ImageType" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" False) ((:+:) * (C1 * (MetaCons "Raw" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "QCow2" PrefixI False) (U1 *)) (C1 * (MetaCons "Vmdk" PrefixI False) (U1 *))))

data FileSystem

The file systems that b9 can use and convert.

Constructors

NoFileSystem

Ext4

Ext4_64

ISO9660

VFAT

Instances

Eq FileSystem

Methods

(==) :: FileSystem -> FileSystem -> Bool

(/=) :: FileSystem -> FileSystem -> Bool

Data FileSystem

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

Methods

readsPrec :: Int -> ReadS FileSystem

readList :: ReadS [FileSystem]

readPrec :: ReadPrec FileSystem

readListPrec :: ReadPrec [FileSystem]

Show FileSystem

Methods

showsPrec :: Int -> FileSystem -> ShowS

show :: FileSystem -> String

showList :: [FileSystem] -> ShowS

Generic FileSystem

Associated Types

type Rep FileSystem :: * -> *

Methods

from :: FileSystem -> Rep FileSystem x

to :: Rep FileSystem x -> FileSystem

Arbitrary FileSystem

Methods

arbitrary :: Gen FileSystem

shrink :: FileSystem -> [FileSystem]

Hashable FileSystem

Methods

hashWithSalt :: Int -> FileSystem -> Int

hash :: FileSystem -> Int

Binary FileSystem

Methods

put :: FileSystem -> Put

get :: Get FileSystem

putList :: [FileSystem] -> Put

NFData FileSystem

Methods

rnf :: FileSystem -> ()

type Rep FileSystem

type Rep FileSystem = D1 * (MetaData "FileSystem" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" False) ((:+:) * ((:+:) * (C1 * (MetaCons "NoFileSystem" PrefixI False) (U1 *)) (C1 * (MetaCons "Ext4" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "Ext4_64" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "ISO9660" PrefixI False) (U1 *)) (C1 * (MetaCons "VFAT" PrefixI False) (U1 *)))))

data ImageSize

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

Methods

(==) :: ImageSize -> ImageSize -> Bool

(/=) :: ImageSize -> ImageSize -> Bool

Data ImageSize

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

Methods

readsPrec :: Int -> ReadS ImageSize

readList :: ReadS [ImageSize]

readPrec :: ReadPrec ImageSize

readListPrec :: ReadPrec [ImageSize]

Show ImageSize

Methods

showsPrec :: Int -> ImageSize -> ShowS

show :: ImageSize -> String

showList :: [ImageSize] -> ShowS

Generic ImageSize

Associated Types

type Rep ImageSize :: * -> *

Methods

from :: ImageSize -> Rep ImageSize x

to :: Rep ImageSize x -> ImageSize

Arbitrary ImageSize

Methods

arbitrary :: Gen ImageSize

shrink :: ImageSize -> [ImageSize]

Hashable ImageSize

Methods

hashWithSalt :: Int -> ImageSize -> Int

hash :: ImageSize -> Int

Binary ImageSize

Methods

put :: ImageSize -> Put

get :: Get ImageSize

putList :: [ImageSize] -> Put

NFData ImageSize

Methods

rnf :: ImageSize -> ()

type Rep ImageSize

type Rep ImageSize = D1 * (MetaData "ImageSize" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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

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

Methods

(==) :: SizeUnit -> SizeUnit -> Bool

(/=) :: SizeUnit -> SizeUnit -> Bool

Data SizeUnit

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

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

Methods

readsPrec :: Int -> ReadS SizeUnit

readList :: ReadS [SizeUnit]

readPrec :: ReadPrec SizeUnit

readListPrec :: ReadPrec [SizeUnit]

Show SizeUnit

Methods

showsPrec :: Int -> SizeUnit -> ShowS

show :: SizeUnit -> String

showList :: [SizeUnit] -> ShowS

Generic SizeUnit

Associated Types

type Rep SizeUnit :: * -> *

Methods

from :: SizeUnit -> Rep SizeUnit x

to :: Rep SizeUnit x -> SizeUnit

Arbitrary SizeUnit

Methods

arbitrary :: Gen SizeUnit

shrink :: SizeUnit -> [SizeUnit]

Hashable SizeUnit

Methods

hashWithSalt :: Int -> SizeUnit -> Int

hash :: SizeUnit -> Int

Binary SizeUnit

Methods

put :: SizeUnit -> Put

get :: Get SizeUnit

putList :: [SizeUnit] -> Put

NFData SizeUnit

Methods

rnf :: SizeUnit -> ()

type Rep SizeUnit

type Rep SizeUnit = D1 * (MetaData "SizeUnit" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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

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

Methods

(==) :: ImageResize -> ImageResize -> Bool

(/=) :: ImageResize -> ImageResize -> Bool

Data ImageResize

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

Methods

readsPrec :: Int -> ReadS ImageResize

readList :: ReadS [ImageResize]

readPrec :: ReadPrec ImageResize

readListPrec :: ReadPrec [ImageResize]

Show ImageResize

Methods

showsPrec :: Int -> ImageResize -> ShowS

show :: ImageResize -> String

showList :: [ImageResize] -> ShowS

Generic ImageResize

Associated Types

type Rep ImageResize :: * -> *

Methods

from :: ImageResize -> Rep ImageResize x

to :: Rep ImageResize x -> ImageResize

Arbitrary ImageResize

Methods

arbitrary :: Gen ImageResize

shrink :: ImageResize -> [ImageResize]

Hashable ImageResize

Methods

hashWithSalt :: Int -> ImageResize -> Int

hash :: ImageResize -> Int

Binary ImageResize

Methods

put :: ImageResize -> Put

get :: Get ImageResize

putList :: [ImageResize] -> Put

NFData ImageResize

Methods

rnf :: ImageResize -> ()

type Rep ImageResize

type Rep ImageResize = D1 * (MetaData "ImageResize" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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)

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

Shared Images

data SharedImage

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

Methods

(==) :: SharedImage -> SharedImage -> Bool

(/=) :: SharedImage -> SharedImage -> Bool

Data SharedImage

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

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

Methods

readsPrec :: Int -> ReadS SharedImage

readList :: ReadS [SharedImage]

readPrec :: ReadPrec SharedImage

readListPrec :: ReadPrec [SharedImage]

Show SharedImage

Methods

showsPrec :: Int -> SharedImage -> ShowS

show :: SharedImage -> String

showList :: [SharedImage] -> ShowS

Generic SharedImage

Associated Types

type Rep SharedImage :: * -> *

Methods

from :: SharedImage -> Rep SharedImage x

to :: Rep SharedImage x -> SharedImage

Hashable SharedImage

Methods

hashWithSalt :: Int -> SharedImage -> Int

hash :: SharedImage -> Int

Binary SharedImage

Methods

put :: SharedImage -> Put

get :: Get SharedImage

putList :: [SharedImage] -> Put

NFData SharedImage

Methods

rnf :: SharedImage -> ()

type Rep SharedImage

type Rep SharedImage = D1 * (MetaData "SharedImage" "B9.DiskImages" "b9-0.5.48-J0n1eP3yIuK7a2bmFVpoGi" 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

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

Methods

(==) :: SharedImageName -> SharedImageName -> Bool

(/=) :: SharedImageName -> SharedImageName -> Bool

Data SharedImageName

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

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

Methods

readsPrec :: Int -> ReadS SharedImageName

readList :: ReadS [SharedImageName]

readPrec :: ReadPrec SharedImageName

readListPrec :: ReadPrec [SharedImageName]

Show SharedImageName

Methods

showsPrec :: Int -> SharedImageName -> ShowS

show :: SharedImageName -> String

showList :: [SharedImageName] -> ShowS

Arbitrary SharedImageName

Methods

arbitrary :: Gen SharedImageName

shrink :: SharedImageName -> [SharedImageName]

Hashable SharedImageName

Methods

hashWithSalt :: Int -> SharedImageName -> Int

hash :: SharedImageName -> Int

Binary SharedImageName

Methods

put :: SharedImageName -> Put

get :: Get SharedImageName

putList :: [SharedImageName] -> Put

NFData SharedImageName

Methods

rnf :: SharedImageName -> ()

type RuleResult SharedImageName

type RuleResult SharedImageName = SharedImageBuildId

fromSharedImageName :: SharedImageName -> String

Get the String representation of a SharedImageName.

newtype SharedImageDate

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

Methods

(==) :: SharedImageDate -> SharedImageDate -> Bool

(/=) :: SharedImageDate -> SharedImageDate -> Bool

Data SharedImageDate

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

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

Methods

readsPrec :: Int -> ReadS SharedImageDate

readList :: ReadS [SharedImageDate]

readPrec :: ReadPrec SharedImageDate

readListPrec :: ReadPrec [SharedImageDate]

Show SharedImageDate

Methods

showsPrec :: Int -> SharedImageDate -> ShowS

show :: SharedImageDate -> String

showList :: [SharedImageDate] -> ShowS

Hashable SharedImageDate

Methods

hashWithSalt :: Int -> SharedImageDate -> Int

hash :: SharedImageDate -> Int

Binary SharedImageDate

Methods

put :: SharedImageDate -> Put

get :: Get SharedImageDate

putList :: [SharedImageDate] -> Put

NFData SharedImageDate

Methods

rnf :: SharedImageDate -> ()

newtype SharedImageBuildId

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

Methods

(==) :: SharedImageBuildId -> SharedImageBuildId -> Bool

(/=) :: SharedImageBuildId -> SharedImageBuildId -> Bool

Data SharedImageBuildId

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

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

Methods

readsPrec :: Int -> ReadS SharedImageBuildId

readList :: ReadS [SharedImageBuildId]

readPrec :: ReadPrec SharedImageBuildId

readListPrec :: ReadPrec [SharedImageBuildId]

Show SharedImageBuildId

Methods

showsPrec :: Int -> SharedImageBuildId -> ShowS

show :: SharedImageBuildId -> String

showList :: [SharedImageBuildId] -> ShowS

Hashable SharedImageBuildId

Methods

hashWithSalt :: Int -> SharedImageBuildId -> Int

hash :: SharedImageBuildId -> Int

Binary SharedImageBuildId

Methods

put :: SharedImageBuildId -> Put

get :: Get SharedImageBuildId

putList :: [SharedImageBuildId] -> Put

NFData SharedImageBuildId

Methods

rnf :: SharedImageBuildId -> ()

fromSharedImageBuildId :: SharedImageBuildId -> String

Get the String representation of a SharedImageBuildId.

Constroctor and accessors for Image ImageTarget ImageSource

imageFileName :: Image -> FilePath

Return the name of the file corresponding to an Image

imageImageType :: Image -> ImageType

Return the ImageType of an Image

getImageDestinationOutputFiles :: ImageTarget -> [FilePath]

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

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

imageSourceSharedImageName :: ImageSource -> Maybe SharedImageName

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

itImageDestination :: ImageTarget -> ImageDestination

Get the ImageDestination of an ImageTarget

itImageSource :: ImageTarget -> ImageSource

Get the ImageSource of an ImageTarget

itImageMountPoint :: ImageTarget -> MountPoint

Get the MountPoint of an ImageTarget

isPartitioned :: Partition -> Bool

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

getPartition :: Partition -> Int

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

imageFileExtension :: ImageType -> String

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

changeImageFormat :: ImageType -> Image -> Image

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

Constructors and accessors for ImageSources

getImageSourceImageType :: ImageSource -> Maybe ImageType

Constructors and accessors for SharedImages

sharedImageName :: SharedImage -> SharedImageName

Return the name of a shared image.

sharedImageDate :: SharedImage -> SharedImageDate

Return the build date of a shared image.

sharedImageBuildId :: SharedImage -> SharedImageBuildId

Return the build id of a shared image.

prettyPrintSharedImages :: [SharedImage] -> String

Print the contents of the shared image in one line

sharedImageImage :: SharedImage -> Image

Return the disk image of an sharedImage

sharedImageFileName :: SharedImage -> FilePath

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

sharedImagesRootDirectory :: FilePath

sharedImageFileExtension :: String

sharedImageDefaultImageType :: ImageType

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

Constructors for ImageTargets

transientCOWImage :: FilePath -> FilePath -> ImageTarget

Use a QCow2 image with an Ext4 file system

transientSharedImage :: SharedImageName -> FilePath -> ImageTarget

Use a shared image

transientLocalImage :: FilePath -> FilePath -> ImageTarget

Use a shared image

shareCOWImage :: FilePath -> SharedImageName -> FilePath -> ImageTarget

Share a QCow2 image with Ext4 fs

shareSharedImage :: SharedImageName -> SharedImageName -> FilePath -> ImageTarget

Share an image based on a shared image

shareLocalImage :: FilePath -> SharedImageName -> FilePath -> ImageTarget

Share a QCow2 image with Ext4 fs

cowToliveInstallerImage :: String -> FilePath -> FilePath -> FilePath -> ImageTarget

Export a QCow2 image with Ext4 fs

cowToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget

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

localToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget

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

partition1ToLocalImage :: FilePath -> FilePath -> FilePath -> ImageTarget

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

ImageTarget Transformations

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

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