Safe Haskell	None
Language	Haskell2010

B9.ArtifactGeneratorImpl

Description

Mostly effectful functions to assemble artifacts.

Synopsis

Documentation

assemble :: ArtifactGenerator -> B9 [AssembledArtifact] Source

Run an artifact generator to produce the artifacts.

evalArtifactGenerator :: String -> String -> BuildVariables -> ArtifactGenerator -> Either String [InstanceGenerator [SourceGenerator]] Source

Evaluate an ArtifactGenerator into a list of low-level build instructions that can be built with createAssembledArtifacts.

parseArtifactGenerator :: ArtifactGenerator -> CGParser () Source

Parse an artifacto generator inside a CGParser monad.

withArtifactSources :: [ArtifactSource] -> CGParser () -> CGParser () Source

Execute a CGParser action in an environment that contains a list of ArtifactSources.

withBindings :: [(String, String)] -> CGParser () -> CGParser () Source

addBindings :: [(String, String)] -> CGEnv -> CGEnv Source

withXBindings :: [(String, [String])] -> CGParser () -> CGParser () Source

eachBindingSetT :: ArtifactGenerator -> [String] -> [[String]] -> CGParser [[(String, String)]] Source

eachBindingSet :: ArtifactGenerator -> [(String, [String])] -> CGParser [[(String, String)]] Source

writeInstanceGenerator :: InstanceId -> ArtifactAssembly -> CGParser () Source

newtype CGParser a Source

Monad for creating Instance generators.

Constructors

CGParser
Fields runCGParser :: WriterT [InstanceGenerator CGEnv] (ReaderT CGEnv (Either CGError)) a

Instances

Monad CGParser
Functor CGParser
Applicative CGParser
MonadError CGError CGParser
MonadReader CGEnv CGParser
MonadWriter [InstanceGenerator CGEnv] CGParser

data CGEnv Source

Constructors

CGEnv
Fields agEnv :: [(String, String)] agSources :: [ArtifactSource]

Instances

Eq CGEnv
Read CGEnv
Show CGEnv
MonadReader CGEnv CGParser
MonadWriter [InstanceGenerator CGEnv] CGParser

data InstanceGenerator e Source

Constructors

IG InstanceId e ArtifactAssembly

Instances

Eq e => Eq (InstanceGenerator e)
Data e => Data (InstanceGenerator e)
Read e => Read (InstanceGenerator e)
Show e => Show (InstanceGenerator e)
MonadWriter [InstanceGenerator CGEnv] CGParser
Typeable (* -> *) InstanceGenerator

newtype CGError Source

Constructors

CGError String

Instances

Eq CGError
Data CGError
Read CGError
Show CGError
Error CGError
Typeable * CGError
MonadError CGError CGParser

cgError :: String -> CGParser a Source

execCGParser :: CGParser () -> CGEnv -> Either CGError [InstanceGenerator CGEnv] Source

execIGEnv :: InstanceGenerator CGEnv -> Either String (InstanceGenerator [SourceGenerator]) Source

substAssembly :: [(String, String)] -> ArtifactAssembly -> ArtifactAssembly Source

toSourceGen :: [(String, String)] -> ArtifactSource -> Either String [SourceGenerator] Source

createAssembledArtifacts :: [InstanceGenerator [SourceGenerator]] -> B9 [AssembledArtifact] Source

generateSources :: FilePath -> InstanceGenerator [SourceGenerator] -> B9 (InstanceGenerator FilePath) Source

createTargets :: InstanceGenerator FilePath -> B9 AssembledArtifact Source

generateUniqueIID :: InstanceId -> B9 InstanceId Source

generateSourceTo :: FilePath -> SourceGenerator -> B9 () Source

sgReadSourceFile :: [(String, String)] -> SourceFile -> B9 ByteString Source

sgChangePerm :: FilePath -> SGPerm -> B9 () Source

data SourceGenerator Source

Internal data type simplifying the rather complex source generation by bioling down ArtifactSources to a flat list of uniform SourceGenerators.

Constructors

SGConcat [(String, String)] SGSource SGPerm FilePath

Instances

Eq SourceGenerator
Read SourceGenerator
Show SourceGenerator

data SGSource Source

Constructors

SGFiles [SourceFile]
SGContent Content

Instances

Eq SGSource
Read SGSource
Show SGSource

data SGType Source

Constructors

SGT
SGF

Instances

Eq SGType
Data SGType
Read SGType
Show SGType
Typeable * SGType

data SGPerm Source

Constructors

SGSetPerm (Int, Int, Int)
KeepPerm

Instances

Eq SGPerm
Data SGPerm
Read SGPerm
Show SGPerm
Typeable * SGPerm

sgGetFroms :: SourceGenerator -> [SourceFile] Source

setSGPerm :: Int -> Int -> Int -> SourceGenerator -> Either String SourceGenerator Source

setSGFromDirectory :: FilePath -> SourceGenerator -> SourceGenerator Source

setSGToDirectory :: FilePath -> SourceGenerator -> SourceGenerator Source

createTarget :: InstanceId -> FilePath -> ArtifactAssembly -> B9 [ArtifactTarget] Source

Create the actual target, either just a mountpoint, or an ISO or VFAT image.