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

Defined in B9.DiskImages

Methods

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

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

Data ImageTarget

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageTarget -> c ImageTarget

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageTarget

toConstr :: ImageTarget -> Constr

dataTypeOf :: ImageTarget -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageTarget)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageTarget)

gmapT :: (forall b. Data b => b -> b) -> ImageTarget -> ImageTarget

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageTarget -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageTarget -> r

gmapQ :: (forall d. Data d => d -> u) -> ImageTarget -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageTarget -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageTarget -> m ImageTarget

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageTarget -> m ImageTarget

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageTarget -> m ImageTarget

Read ImageTarget

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS ImageTarget

readList :: ReadS [ImageTarget]

readPrec :: ReadPrec ImageTarget

readListPrec :: ReadPrec [ImageTarget]

Show ImageTarget

Defined in B9.DiskImages

Methods

showsPrec :: Int -> ImageTarget -> ShowS

show :: ImageTarget -> String

showList :: [ImageTarget] -> ShowS

Generic ImageTarget

Defined in B9.DiskImages

Associated Types

type Rep ImageTarget :: Type -> Type

Methods

from :: ImageTarget -> Rep ImageTarget x

to :: Rep ImageTarget x -> ImageTarget

Arbitrary ImageTarget

Defined in B9.DiskImages

Methods

arbitrary :: Gen ImageTarget

shrink :: ImageTarget -> [ImageTarget]

Hashable ImageTarget

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> ImageTarget -> Int

hash :: ImageTarget -> Int

Binary ImageTarget

Defined in B9.DiskImages

Methods

put :: ImageTarget -> Put

get :: Get ImageTarget

putList :: [ImageTarget] -> Put

NFData ImageTarget

Defined in B9.DiskImages

Methods

rnf :: ImageTarget -> ()

type Rep ImageTarget

Defined in B9.DiskImages

type Rep ImageTarget = D1 (MetaData "ImageTarget" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "ImageTarget" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageDestination) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSource) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MountPoint))))

data MountPoint

A mount point or NotMounted

Constructors

MountPoint FilePath

NotMounted

Instances

Eq MountPoint

Defined in B9.DiskImages

Methods

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

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

Data MountPoint

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MountPoint -> c MountPoint

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MountPoint

toConstr :: MountPoint -> Constr

dataTypeOf :: MountPoint -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MountPoint)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MountPoint)

gmapT :: (forall b. Data b => b -> b) -> MountPoint -> MountPoint

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MountPoint -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MountPoint -> r

gmapQ :: (forall d. Data d => d -> u) -> MountPoint -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MountPoint -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MountPoint -> m MountPoint

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MountPoint -> m MountPoint

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MountPoint -> m MountPoint

Read MountPoint

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS MountPoint

readList :: ReadS [MountPoint]

readPrec :: ReadPrec MountPoint

readListPrec :: ReadPrec [MountPoint]

Show MountPoint

Defined in B9.DiskImages

Methods

showsPrec :: Int -> MountPoint -> ShowS

show :: MountPoint -> String

showList :: [MountPoint] -> ShowS

Generic MountPoint

Defined in B9.DiskImages

Associated Types

type Rep MountPoint :: Type -> Type

Methods

from :: MountPoint -> Rep MountPoint x

to :: Rep MountPoint x -> MountPoint

Arbitrary MountPoint

Defined in B9.DiskImages

Methods

arbitrary :: Gen MountPoint

shrink :: MountPoint -> [MountPoint]

Hashable MountPoint

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> MountPoint -> Int

hash :: MountPoint -> Int

Binary MountPoint

Defined in B9.DiskImages

Methods

put :: MountPoint -> Put

get :: Get MountPoint

putList :: [MountPoint] -> Put

NFData MountPoint

Defined in B9.DiskImages

Methods

rnf :: MountPoint -> ()

type Rep MountPoint

Defined in B9.DiskImages

type Rep MountPoint = D1 (MetaData "MountPoint" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "MountPoint" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)) :+: C1 (MetaCons "NotMounted" PrefixI False) (U1 :: Type -> Type))

data ImageDestination

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

Defined in B9.DiskImages

Methods

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

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

Data ImageDestination

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageDestination -> c ImageDestination

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageDestination

toConstr :: ImageDestination -> Constr

dataTypeOf :: ImageDestination -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageDestination)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageDestination)

gmapT :: (forall b. Data b => b -> b) -> ImageDestination -> ImageDestination

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageDestination -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageDestination -> r

gmapQ :: (forall d. Data d => d -> u) -> ImageDestination -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageDestination -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageDestination -> m ImageDestination

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageDestination -> m ImageDestination

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageDestination -> m ImageDestination

Read ImageDestination

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS ImageDestination

readList :: ReadS [ImageDestination]

readPrec :: ReadPrec ImageDestination

readListPrec :: ReadPrec [ImageDestination]

Show ImageDestination

Defined in B9.DiskImages

Methods

showsPrec :: Int -> ImageDestination -> ShowS

show :: ImageDestination -> String

showList :: [ImageDestination] -> ShowS

Generic ImageDestination

Defined in B9.DiskImages

Associated Types

type Rep ImageDestination :: Type -> Type

Methods

from :: ImageDestination -> Rep ImageDestination x

to :: Rep ImageDestination x -> ImageDestination

Arbitrary ImageDestination

Defined in B9.DiskImages

Methods

arbitrary :: Gen ImageDestination

shrink :: ImageDestination -> [ImageDestination]

Hashable ImageDestination

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> ImageDestination -> Int

hash :: ImageDestination -> Int

Binary ImageDestination

Defined in B9.DiskImages

Methods

put :: ImageDestination -> Put

get :: Get ImageDestination

putList :: [ImageDestination] -> Put

NFData ImageDestination

Defined in B9.DiskImages

Methods

rnf :: ImageDestination -> ()

type Rep ImageDestination

Defined in B9.DiskImages

type Rep ImageDestination = D1 (MetaData "ImageDestination" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) ((C1 (MetaCons "Share" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))) :+: C1 (MetaCons "LiveInstallerImage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize)))) :+: (C1 (MetaCons "LocalFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize)) :+: C1 (MetaCons "Transient" PrefixI False) (U1 :: Type -> Type)))

data ImageSource

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

Defined in B9.DiskImages

Methods

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

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

Data ImageSource

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageSource -> c ImageSource

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageSource

toConstr :: ImageSource -> Constr

dataTypeOf :: ImageSource -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageSource)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageSource)

gmapT :: (forall b. Data b => b -> b) -> ImageSource -> ImageSource

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageSource -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageSource -> r

gmapQ :: (forall d. Data d => d -> u) -> ImageSource -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageSource -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageSource -> m ImageSource

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSource -> m ImageSource

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSource -> m ImageSource

Read ImageSource

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS ImageSource

readList :: ReadS [ImageSource]

readPrec :: ReadPrec ImageSource

readListPrec :: ReadPrec [ImageSource]

Show ImageSource

Defined in B9.DiskImages

Methods

showsPrec :: Int -> ImageSource -> ShowS

show :: ImageSource -> String

showList :: [ImageSource] -> ShowS

Generic ImageSource

Defined in B9.DiskImages

Associated Types

type Rep ImageSource :: Type -> Type

Methods

from :: ImageSource -> Rep ImageSource x

to :: Rep ImageSource x -> ImageSource

Arbitrary ImageSource

Defined in B9.DiskImages

Methods

arbitrary :: Gen ImageSource

shrink :: ImageSource -> [ImageSource]

Hashable ImageSource

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> ImageSource -> Int

hash :: ImageSource -> Int

Binary ImageSource

Defined in B9.DiskImages

Methods

put :: ImageSource -> Put

get :: Get ImageSource

putList :: [ImageSource] -> Put

NFData ImageSource

Defined in B9.DiskImages

Methods

rnf :: ImageSource -> ()

type Rep ImageSource

Defined in B9.DiskImages

type Rep ImageSource = D1 (MetaData "ImageSource" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) ((C1 (MetaCons "EmptyImage" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileSystem)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize))) :+: C1 (MetaCons "CopyOnWrite" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image))) :+: (C1 (MetaCons "SourceImage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Image) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Partition) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))) :+: C1 (MetaCons "From" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageResize))))

data Partition

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

Defined in B9.DiskImages

Methods

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

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

Data Partition

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Partition -> c Partition

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Partition

toConstr :: Partition -> Constr

dataTypeOf :: Partition -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Partition)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Partition)

gmapT :: (forall b. Data b => b -> b) -> Partition -> Partition

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Partition -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Partition -> r

gmapQ :: (forall d. Data d => d -> u) -> Partition -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Partition -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Partition -> m Partition

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Partition -> m Partition

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Partition -> m Partition

Read Partition

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS Partition

readList :: ReadS [Partition]

readPrec :: ReadPrec Partition

readListPrec :: ReadPrec [Partition]

Show Partition

Defined in B9.DiskImages

Methods

showsPrec :: Int -> Partition -> ShowS

show :: Partition -> String

showList :: [Partition] -> ShowS

Generic Partition

Defined in B9.DiskImages

Associated Types

type Rep Partition :: Type -> Type

Methods

from :: Partition -> Rep Partition x

to :: Rep Partition x -> Partition

Arbitrary Partition

Defined in B9.DiskImages

Methods

arbitrary :: Gen Partition

shrink :: Partition -> [Partition]

Hashable Partition

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> Partition -> Int

hash :: Partition -> Int

Binary Partition

Defined in B9.DiskImages

Methods

put :: Partition -> Put

get :: Get Partition

putList :: [Partition] -> Put

NFData Partition

Defined in B9.DiskImages

Methods

rnf :: Partition -> ()

type Rep Partition

Defined in B9.DiskImages

type Rep Partition = D1 (MetaData "Partition" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "NoPT" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Partition" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Image

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

Defined in B9.DiskImages

Methods

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

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

Data Image

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Image -> c Image

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Image

toConstr :: Image -> Constr

dataTypeOf :: Image -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Image)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Image)

gmapT :: (forall b. Data b => b -> b) -> Image -> Image

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r

gmapQ :: (forall d. Data d => d -> u) -> Image -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Image -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Image -> m Image

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image

Read Image

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS Image

readList :: ReadS [Image]

readPrec :: ReadPrec Image

readListPrec :: ReadPrec [Image]

Show Image

Defined in B9.DiskImages

Methods

showsPrec :: Int -> Image -> ShowS

show :: Image -> String

showList :: [Image] -> ShowS

Generic Image

Defined in B9.DiskImages

Associated Types

type Rep Image :: Type -> Type

Methods

from :: Image -> Rep Image x

to :: Rep Image x -> Image

Arbitrary Image

Defined in B9.DiskImages

Methods

arbitrary :: Gen Image

shrink :: Image -> [Image]

Hashable Image

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> Image -> Int

hash :: Image -> Int

Binary Image

Defined in B9.DiskImages

Methods

put :: Image -> Put

get :: Get Image

putList :: [Image] -> Put

NFData Image

Defined in B9.DiskImages

Methods

rnf :: Image -> ()

type Rep Image

Defined in B9.DiskImages

type Rep Image = D1 (MetaData "Image" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "Image" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileSystem))))

data ImageType

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

Defined in B9.DiskImages

Methods

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

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

Data ImageType

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageType -> c ImageType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageType

toConstr :: ImageType -> Constr

dataTypeOf :: ImageType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageType)

gmapT :: (forall b. Data b => b -> b) -> ImageType -> ImageType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageType -> r

gmapQ :: (forall d. Data d => d -> u) -> ImageType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageType -> m ImageType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageType -> m ImageType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageType -> m ImageType

Read ImageType

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS ImageType

readList :: ReadS [ImageType]

readPrec :: ReadPrec ImageType

readListPrec :: ReadPrec [ImageType]

Show ImageType

Defined in B9.DiskImages

Methods

showsPrec :: Int -> ImageType -> ShowS

show :: ImageType -> String

showList :: [ImageType] -> ShowS

Generic ImageType

Defined in B9.DiskImages

Associated Types

type Rep ImageType :: Type -> Type

Methods

from :: ImageType -> Rep ImageType x

to :: Rep ImageType x -> ImageType

Function ImageType

Defined in B9.DiskImages

Methods

function :: (ImageType -> b) -> ImageType :-> b

Arbitrary ImageType

Defined in B9.DiskImages

Methods

arbitrary :: Gen ImageType

shrink :: ImageType -> [ImageType]

CoArbitrary ImageType

Defined in B9.DiskImages

Methods

coarbitrary :: ImageType -> Gen b -> Gen b

Hashable ImageType

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> ImageType -> Int

hash :: ImageType -> Int

Binary ImageType

Defined in B9.DiskImages

Methods

put :: ImageType -> Put

get :: Get ImageType

putList :: [ImageType] -> Put

NFData ImageType

Defined in B9.DiskImages

Methods

rnf :: ImageType -> ()

type Rep ImageType

Defined in B9.DiskImages

type Rep ImageType = D1 (MetaData "ImageType" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "Raw" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "QCow2" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Vmdk" PrefixI False) (U1 :: Type -> Type)))

data FileSystem

The file systems that b9 can use and convert.

Constructors

NoFileSystem

Ext4

Ext4_64

ISO9660

VFAT

Instances

Eq FileSystem

Defined in B9.DiskImages

Methods

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

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

Data FileSystem

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileSystem -> c FileSystem

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileSystem

toConstr :: FileSystem -> Constr

dataTypeOf :: FileSystem -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FileSystem)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileSystem)

gmapT :: (forall b. Data b => b -> b) -> FileSystem -> FileSystem

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileSystem -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileSystem -> r

gmapQ :: (forall d. Data d => d -> u) -> FileSystem -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FileSystem -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FileSystem -> m FileSystem

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FileSystem -> m FileSystem

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FileSystem -> m FileSystem

Read FileSystem

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS FileSystem

readList :: ReadS [FileSystem]

readPrec :: ReadPrec FileSystem

readListPrec :: ReadPrec [FileSystem]

Show FileSystem

Defined in B9.DiskImages

Methods

showsPrec :: Int -> FileSystem -> ShowS

show :: FileSystem -> String

showList :: [FileSystem] -> ShowS

Generic FileSystem

Defined in B9.DiskImages

Associated Types

type Rep FileSystem :: Type -> Type

Methods

from :: FileSystem -> Rep FileSystem x

to :: Rep FileSystem x -> FileSystem

Function FileSystem

Defined in B9.DiskImages

Methods

function :: (FileSystem -> b) -> FileSystem :-> b

Arbitrary FileSystem

Defined in B9.DiskImages

Methods

arbitrary :: Gen FileSystem

shrink :: FileSystem -> [FileSystem]

CoArbitrary FileSystem

Defined in B9.DiskImages

Methods

coarbitrary :: FileSystem -> Gen b -> Gen b

Hashable FileSystem

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> FileSystem -> Int

hash :: FileSystem -> Int

Binary FileSystem

Defined in B9.DiskImages

Methods

put :: FileSystem -> Put

get :: Get FileSystem

putList :: [FileSystem] -> Put

NFData FileSystem

Defined in B9.DiskImages

Methods

rnf :: FileSystem -> ()

type Rep FileSystem

Defined in B9.DiskImages

type Rep FileSystem = D1 (MetaData "FileSystem" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) ((C1 (MetaCons "NoFileSystem" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Ext4" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Ext4_64" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ISO9660" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VFAT" PrefixI False) (U1 :: Type -> Type))))

data ImageSize

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

Defined in B9.DiskImages

Methods

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

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

Data ImageSize

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageSize -> c ImageSize

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageSize

toConstr :: ImageSize -> Constr

dataTypeOf :: ImageSize -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageSize)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageSize)

gmapT :: (forall b. Data b => b -> b) -> ImageSize -> ImageSize

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageSize -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageSize -> r

gmapQ :: (forall d. Data d => d -> u) -> ImageSize -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageSize -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageSize -> m ImageSize

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSize -> m ImageSize

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageSize -> m ImageSize

Read ImageSize

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS ImageSize

readList :: ReadS [ImageSize]

readPrec :: ReadPrec ImageSize

readListPrec :: ReadPrec [ImageSize]

Show ImageSize

Defined in B9.DiskImages

Methods

showsPrec :: Int -> ImageSize -> ShowS

show :: ImageSize -> String

showList :: [ImageSize] -> ShowS

Generic ImageSize

Defined in B9.DiskImages

Associated Types

type Rep ImageSize :: Type -> Type

Methods

from :: ImageSize -> Rep ImageSize x

to :: Rep ImageSize x -> ImageSize

Arbitrary ImageSize

Defined in B9.DiskImages

Methods

arbitrary :: Gen ImageSize

shrink :: ImageSize -> [ImageSize]

Hashable ImageSize

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> ImageSize -> Int

hash :: ImageSize -> Int

Binary ImageSize

Defined in B9.DiskImages

Methods

put :: ImageSize -> Put

get :: Get ImageSize

putList :: [ImageSize] -> Put

NFData ImageSize

Defined in B9.DiskImages

Methods

rnf :: ImageSize -> ()

type Rep ImageSize

Defined in B9.DiskImages

type Rep ImageSize = D1 (MetaData "ImageSize" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "ImageSize" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SizeUnit)))

bytesToKiloBytes :: Int -> ImageSize

Convert a size in bytes to an ImageSize

imageSizeToKiB :: ImageSize -> Int

Convert an ImageSize to kibi bytes.

sizeUnitKiB :: SizeUnit -> Int

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

normalizeSize :: ImageSize -> ImageSize

Choose the greatest unit possible to exactly represent an ImageSize.

addImageSize :: ImageSize -> ImageSize -> ImageSize

Return the sum of two ImageSizes.

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

KB

MB

GB

Instances

Bounded SizeUnit

Defined in B9.DiskImages

Methods

minBound :: SizeUnit

maxBound :: SizeUnit

Enum SizeUnit

Defined in B9.DiskImages

Methods

succ :: SizeUnit -> SizeUnit

pred :: SizeUnit -> SizeUnit

toEnum :: Int -> SizeUnit

fromEnum :: SizeUnit -> Int

enumFrom :: SizeUnit -> [SizeUnit]

enumFromThen :: SizeUnit -> SizeUnit -> [SizeUnit]

enumFromTo :: SizeUnit -> SizeUnit -> [SizeUnit]

enumFromThenTo :: SizeUnit -> SizeUnit -> SizeUnit -> [SizeUnit]

Eq SizeUnit

Defined in B9.DiskImages

Methods

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

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

Data SizeUnit

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SizeUnit -> c SizeUnit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SizeUnit

toConstr :: SizeUnit -> Constr

dataTypeOf :: SizeUnit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SizeUnit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SizeUnit)

gmapT :: (forall b. Data b => b -> b) -> SizeUnit -> SizeUnit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SizeUnit -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SizeUnit -> r

gmapQ :: (forall d. Data d => d -> u) -> SizeUnit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SizeUnit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SizeUnit -> m SizeUnit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SizeUnit -> m SizeUnit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SizeUnit -> m SizeUnit

Ord SizeUnit

Defined in B9.DiskImages

Methods

compare :: SizeUnit -> SizeUnit -> Ordering

(<) :: SizeUnit -> SizeUnit -> Bool

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

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

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

max :: SizeUnit -> SizeUnit -> SizeUnit

min :: SizeUnit -> SizeUnit -> SizeUnit

Read SizeUnit

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS SizeUnit

readList :: ReadS [SizeUnit]

readPrec :: ReadPrec SizeUnit

readListPrec :: ReadPrec [SizeUnit]

Show SizeUnit

Defined in B9.DiskImages

Methods

showsPrec :: Int -> SizeUnit -> ShowS

show :: SizeUnit -> String

showList :: [SizeUnit] -> ShowS

Generic SizeUnit

Defined in B9.DiskImages

Associated Types

type Rep SizeUnit :: Type -> Type

Methods

from :: SizeUnit -> Rep SizeUnit x

to :: Rep SizeUnit x -> SizeUnit

Arbitrary SizeUnit

Defined in B9.DiskImages

Methods

arbitrary :: Gen SizeUnit

shrink :: SizeUnit -> [SizeUnit]

Hashable SizeUnit

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> SizeUnit -> Int

hash :: SizeUnit -> Int

Binary SizeUnit

Defined in B9.DiskImages

Methods

put :: SizeUnit -> Put

get :: Get SizeUnit

putList :: [SizeUnit] -> Put

NFData SizeUnit

Defined in B9.DiskImages

Methods

rnf :: SizeUnit -> ()

type Rep SizeUnit

Defined in B9.DiskImages

type Rep SizeUnit = D1 (MetaData "SizeUnit" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "KB" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MB" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GB" PrefixI False) (U1 :: Type -> Type)))

data ImageResize

How to resize an image file.

Constructors

ResizeImage ImageSize

Resize the image but not the file system. Note that a file system contained in the image file might be corrupted by this operation. To not only resize the image file but also the fil system contained in it, use Resize.

Resize ImageSize

Resize an image and the contained file system.

ShrinkToMinimumAndIncrease ImageSize

Shrink to minimum size needed and increase by the amount given.

ShrinkToMinimum

Resize an image and the contained file system to the smallest size to fit the contents of the file system.

KeepSize

Do not change the image size.

Instances

Eq ImageResize

Defined in B9.DiskImages

Methods

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

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

Data ImageResize

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageResize -> c ImageResize

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageResize

toConstr :: ImageResize -> Constr

dataTypeOf :: ImageResize -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImageResize)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageResize)

gmapT :: (forall b. Data b => b -> b) -> ImageResize -> ImageResize

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageResize -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageResize -> r

gmapQ :: (forall d. Data d => d -> u) -> ImageResize -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageResize -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageResize -> m ImageResize

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageResize -> m ImageResize

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageResize -> m ImageResize

Read ImageResize

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS ImageResize

readList :: ReadS [ImageResize]

readPrec :: ReadPrec ImageResize

readListPrec :: ReadPrec [ImageResize]

Show ImageResize

Defined in B9.DiskImages

Methods

showsPrec :: Int -> ImageResize -> ShowS

show :: ImageResize -> String

showList :: [ImageResize] -> ShowS

Generic ImageResize

Defined in B9.DiskImages

Associated Types

type Rep ImageResize :: Type -> Type

Methods

from :: ImageResize -> Rep ImageResize x

to :: Rep ImageResize x -> ImageResize

Arbitrary ImageResize

Defined in B9.DiskImages

Methods

arbitrary :: Gen ImageResize

shrink :: ImageResize -> [ImageResize]

Hashable ImageResize

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> ImageResize -> Int

hash :: ImageResize -> Int

Binary ImageResize

Defined in B9.DiskImages

Methods

put :: ImageResize -> Put

get :: Get ImageResize

putList :: [ImageResize] -> Put

NFData ImageResize

Defined in B9.DiskImages

Methods

rnf :: ImageResize -> ()

type Rep ImageResize

Defined in B9.DiskImages

type Rep ImageResize = D1 (MetaData "ImageResize" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) ((C1 (MetaCons "ResizeImage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize)) :+: C1 (MetaCons "Resize" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize))) :+: (C1 (MetaCons "ShrinkToMinimumAndIncrease" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageSize)) :+: (C1 (MetaCons "ShrinkToMinimum" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "KeepSize" PrefixI False) (U1 :: Type -> Type))))

type Mounted a = (a, MountPoint)

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

Defined in B9.DiskImages

Methods

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

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

Data SharedImage

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImage -> c SharedImage

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImage

toConstr :: SharedImage -> Constr

dataTypeOf :: SharedImage -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImage)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImage)

gmapT :: (forall b. Data b => b -> b) -> SharedImage -> SharedImage

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImage -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImage -> r

gmapQ :: (forall d. Data d => d -> u) -> SharedImage -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImage -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImage -> m SharedImage

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImage -> m SharedImage

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImage -> m SharedImage

Ord SharedImage

Shared images are ordered by name, build date and build id

Defined in B9.DiskImages

Methods

compare :: SharedImage -> SharedImage -> Ordering

(<) :: SharedImage -> SharedImage -> Bool

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

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

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

max :: SharedImage -> SharedImage -> SharedImage

min :: SharedImage -> SharedImage -> SharedImage

Read SharedImage

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS SharedImage

readList :: ReadS [SharedImage]

readPrec :: ReadPrec SharedImage

readListPrec :: ReadPrec [SharedImage]

Show SharedImage

Defined in B9.DiskImages

Methods

showsPrec :: Int -> SharedImage -> ShowS

show :: SharedImage -> String

showList :: [SharedImage] -> ShowS

Generic SharedImage

Defined in B9.DiskImages

Associated Types

type Rep SharedImage :: Type -> Type

Methods

from :: SharedImage -> Rep SharedImage x

to :: Rep SharedImage x -> SharedImage

Function SharedImage

Defined in B9.DiskImages

Methods

function :: (SharedImage -> b) -> SharedImage :-> b

Arbitrary SharedImage

Defined in B9.DiskImages

Methods

arbitrary :: Gen SharedImage

shrink :: SharedImage -> [SharedImage]

CoArbitrary SharedImage

Defined in B9.DiskImages

Methods

coarbitrary :: SharedImage -> Gen b -> Gen b

Hashable SharedImage

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> SharedImage -> Int

hash :: SharedImage -> Int

Binary SharedImage

Defined in B9.DiskImages

Methods

put :: SharedImage -> Put

get :: Get SharedImage

putList :: [SharedImage] -> Put

NFData SharedImage

Defined in B9.DiskImages

Methods

rnf :: SharedImage -> ()

type Rep SharedImage

Defined in B9.DiskImages

type Rep SharedImage = D1 (MetaData "SharedImage" "B9.DiskImages" "b9-2.0.0-4v7Psu2Zb0SKZH2VQDRc40" False) (C1 (MetaCons "SharedImage" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageDate)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SharedImageBuildId) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileSystem)))))

newtype SharedImageName

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

Defined in B9.DiskImages

Methods

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

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

Data SharedImageName

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImageName -> c SharedImageName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImageName

toConstr :: SharedImageName -> Constr

dataTypeOf :: SharedImageName -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImageName)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImageName)

gmapT :: (forall b. Data b => b -> b) -> SharedImageName -> SharedImageName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageName -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageName -> r

gmapQ :: (forall d. Data d => d -> u) -> SharedImageName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImageName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImageName -> m SharedImageName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageName -> m SharedImageName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageName -> m SharedImageName

Ord SharedImageName

Defined in B9.DiskImages

Methods

compare :: SharedImageName -> SharedImageName -> Ordering

(<) :: SharedImageName -> SharedImageName -> Bool

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

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

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

max :: SharedImageName -> SharedImageName -> SharedImageName

min :: SharedImageName -> SharedImageName -> SharedImageName

Read SharedImageName

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS SharedImageName

readList :: ReadS [SharedImageName]

readPrec :: ReadPrec SharedImageName

readListPrec :: ReadPrec [SharedImageName]

Show SharedImageName

Defined in B9.DiskImages

Methods

showsPrec :: Int -> SharedImageName -> ShowS

show :: SharedImageName -> String

showList :: [SharedImageName] -> ShowS

Function SharedImageName

Defined in B9.DiskImages

Methods

function :: (SharedImageName -> b) -> SharedImageName :-> b

Arbitrary SharedImageName

Defined in B9.DiskImages

Methods

arbitrary :: Gen SharedImageName

shrink :: SharedImageName -> [SharedImageName]

CoArbitrary SharedImageName

Defined in B9.DiskImages

Methods

coarbitrary :: SharedImageName -> Gen b -> Gen b

Hashable SharedImageName

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> SharedImageName -> Int

hash :: SharedImageName -> Int

Binary SharedImageName

Defined in B9.DiskImages

Methods

put :: SharedImageName -> Put

get :: Get SharedImageName

putList :: [SharedImageName] -> Put

NFData SharedImageName

Defined in B9.DiskImages

Methods

rnf :: SharedImageName -> ()

type RuleResult SharedImageName

Defined in B9.Shake.SharedImageRules

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

Defined in B9.DiskImages

Methods

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

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

Data SharedImageDate

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImageDate -> c SharedImageDate

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImageDate

toConstr :: SharedImageDate -> Constr

dataTypeOf :: SharedImageDate -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImageDate)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImageDate)

gmapT :: (forall b. Data b => b -> b) -> SharedImageDate -> SharedImageDate

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageDate -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageDate -> r

gmapQ :: (forall d. Data d => d -> u) -> SharedImageDate -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImageDate -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImageDate -> m SharedImageDate

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageDate -> m SharedImageDate

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageDate -> m SharedImageDate

Ord SharedImageDate

Defined in B9.DiskImages

Methods

compare :: SharedImageDate -> SharedImageDate -> Ordering

(<) :: SharedImageDate -> SharedImageDate -> Bool

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

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

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

max :: SharedImageDate -> SharedImageDate -> SharedImageDate

min :: SharedImageDate -> SharedImageDate -> SharedImageDate

Read SharedImageDate

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS SharedImageDate

readList :: ReadS [SharedImageDate]

readPrec :: ReadPrec SharedImageDate

readListPrec :: ReadPrec [SharedImageDate]

Show SharedImageDate

Defined in B9.DiskImages

Methods

showsPrec :: Int -> SharedImageDate -> ShowS

show :: SharedImageDate -> String

showList :: [SharedImageDate] -> ShowS

Function SharedImageDate

Defined in B9.DiskImages

Methods

function :: (SharedImageDate -> b) -> SharedImageDate :-> b

Arbitrary SharedImageDate

Defined in B9.DiskImages

Methods

arbitrary :: Gen SharedImageDate

shrink :: SharedImageDate -> [SharedImageDate]

CoArbitrary SharedImageDate

Defined in B9.DiskImages

Methods

coarbitrary :: SharedImageDate -> Gen b -> Gen b

Hashable SharedImageDate

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> SharedImageDate -> Int

hash :: SharedImageDate -> Int

Binary SharedImageDate

Defined in B9.DiskImages

Methods

put :: SharedImageDate -> Put

get :: Get SharedImageDate

putList :: [SharedImageDate] -> Put

NFData SharedImageDate

Defined in B9.DiskImages

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

Defined in B9.DiskImages

Methods

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

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

Data SharedImageBuildId

Defined in B9.DiskImages

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SharedImageBuildId -> c SharedImageBuildId

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SharedImageBuildId

toConstr :: SharedImageBuildId -> Constr

dataTypeOf :: SharedImageBuildId -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SharedImageBuildId)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SharedImageBuildId)

gmapT :: (forall b. Data b => b -> b) -> SharedImageBuildId -> SharedImageBuildId

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageBuildId -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SharedImageBuildId -> r

gmapQ :: (forall d. Data d => d -> u) -> SharedImageBuildId -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SharedImageBuildId -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SharedImageBuildId -> m SharedImageBuildId

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageBuildId -> m SharedImageBuildId

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SharedImageBuildId -> m SharedImageBuildId

Ord SharedImageBuildId

Defined in B9.DiskImages

Methods

compare :: SharedImageBuildId -> SharedImageBuildId -> Ordering

(<) :: SharedImageBuildId -> SharedImageBuildId -> Bool

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

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

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

max :: SharedImageBuildId -> SharedImageBuildId -> SharedImageBuildId

min :: SharedImageBuildId -> SharedImageBuildId -> SharedImageBuildId

Read SharedImageBuildId

Defined in B9.DiskImages

Methods

readsPrec :: Int -> ReadS SharedImageBuildId

readList :: ReadS [SharedImageBuildId]

readPrec :: ReadPrec SharedImageBuildId

readListPrec :: ReadPrec [SharedImageBuildId]

Show SharedImageBuildId

Defined in B9.DiskImages

Methods

showsPrec :: Int -> SharedImageBuildId -> ShowS

show :: SharedImageBuildId -> String

showList :: [SharedImageBuildId] -> ShowS

Function SharedImageBuildId

Defined in B9.DiskImages

Methods

function :: (SharedImageBuildId -> b) -> SharedImageBuildId :-> b

Arbitrary SharedImageBuildId

Defined in B9.DiskImages

Methods

arbitrary :: Gen SharedImageBuildId

shrink :: SharedImageBuildId -> [SharedImageBuildId]

CoArbitrary SharedImageBuildId

Defined in B9.DiskImages

Methods

coarbitrary :: SharedImageBuildId -> Gen b -> Gen b

Hashable SharedImageBuildId

Defined in B9.DiskImages

Methods

hashWithSalt :: Int -> SharedImageBuildId -> Int

hash :: SharedImageBuildId -> Int

Binary SharedImageBuildId

Defined in B9.DiskImages

Methods

put :: SharedImageBuildId -> Put

get :: Get SharedImageBuildId

putList :: [SharedImageBuildId] -> Put

NFData SharedImageBuildId

Defined in B9.DiskImages

Methods

rnf :: SharedImageBuildId -> ()

fromSharedImageBuildId :: SharedImageBuildId -> String

Get the String representation of a SharedImageBuildId.

sharedImagesToMap :: [SharedImage] -> Map SharedImageName (Set SharedImage)

Transform a list of SharedImage values into a Map that associates each SharedImageName with a Set of the actual images with that name.

The Set contains values of type SharedImage.

The Ord instance of SharedImage sorts by name first and then by sharedImageDate, since the values in a Set share the same sharedImageName, they are effectively orderd by build date, which is useful the shared image cleanup.

Since: 1.1.0

takeLatestSharedImage :: [SharedImage] -> Maybe SharedImage

Return the SharedImage with the highest sharedImageDate.

Since: 1.1.0

Constructor 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 output 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 referring to a partition, false if it is NoPT

getPartition :: Partition -> Int

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

unitTests :: Spec