Safe Haskell	None
Language	Haskell2010

B9.ArtifactGeneratorImpl

Description

Mostly effectful functions to assemble artifacts.

Synopsis

Documentation

getArtifactOutputFiles :: ArtifactGenerator -> Either String [FilePath] Source #

Return a list of relative paths for the local files to be generated by the ArtifactGenerator. This excludes Shared and Transient image targets.

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 Source #
Methods (>>=) :: CGParser a -> (a -> CGParser b) -> CGParser b # (>>) :: CGParser a -> CGParser b -> CGParser b # return :: a -> CGParser a # fail :: String -> CGParser a #
Functor CGParser Source #
Methods fmap :: (a -> b) -> CGParser a -> CGParser b # (<$) :: a -> CGParser b -> CGParser a #
Applicative CGParser Source #
Methods pure :: a -> CGParser a # (<>) :: CGParser (a -> b) -> CGParser a -> CGParser b # (>) :: CGParser a -> CGParser b -> CGParser b # (<*) :: CGParser a -> CGParser b -> CGParser a #
MonadError CGError CGParser Source #
Methods throwError :: CGError -> CGParser a # catchError :: CGParser a -> (CGError -> CGParser a) -> CGParser a #
MonadReader CGEnv CGParser Source #
Methods ask :: CGParser CGEnv # local :: (CGEnv -> CGEnv) -> CGParser a -> CGParser a # reader :: (CGEnv -> a) -> CGParser a #
MonadWriter [InstanceGenerator CGEnv] CGParser Source #
Methods writer :: (a, [InstanceGenerator CGEnv]) -> CGParser a # tell :: [InstanceGenerator CGEnv] -> CGParser () # listen :: CGParser a -> CGParser (a, [InstanceGenerator CGEnv]) # pass :: CGParser (a, [InstanceGenerator CGEnv] -> [InstanceGenerator CGEnv]) -> CGParser a #

data CGEnv Source #

Constructors

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

Instances

Eq CGEnv Source #
Methods (==) :: CGEnv -> CGEnv -> Bool # (/=) :: CGEnv -> CGEnv -> Bool #
Read CGEnv Source #
Methods readsPrec :: Int -> ReadS CGEnv # readList :: ReadS [CGEnv] # readPrec :: ReadPrec CGEnv # readListPrec :: ReadPrec [CGEnv] #
Show CGEnv Source #
Methods showsPrec :: Int -> CGEnv -> ShowS # show :: CGEnv -> String # showList :: [CGEnv] -> ShowS #
MonadReader CGEnv CGParser Source #
Methods ask :: CGParser CGEnv # local :: (CGEnv -> CGEnv) -> CGParser a -> CGParser a # reader :: (CGEnv -> a) -> CGParser a #
MonadWriter [InstanceGenerator CGEnv] CGParser Source #
Methods writer :: (a, [InstanceGenerator CGEnv]) -> CGParser a # tell :: [InstanceGenerator CGEnv] -> CGParser () # listen :: CGParser a -> CGParser (a, [InstanceGenerator CGEnv]) # pass :: CGParser (a, [InstanceGenerator CGEnv] -> [InstanceGenerator CGEnv]) -> CGParser a #

data InstanceGenerator e Source #

Constructors

IG InstanceId e ArtifactAssembly

Instances

Eq e => Eq (InstanceGenerator e) Source #
Methods (==) :: InstanceGenerator e -> InstanceGenerator e -> Bool # (/=) :: InstanceGenerator e -> InstanceGenerator e -> Bool #
Data e => Data (InstanceGenerator e) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InstanceGenerator e -> c (InstanceGenerator e) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (InstanceGenerator e) # toConstr :: InstanceGenerator e -> Constr # dataTypeOf :: InstanceGenerator e -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (InstanceGenerator e)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d a. (Data d, Data a) => c (t d a)) -> Maybe (c (InstanceGenerator e)) # gmapT :: (forall b. Data b => b -> b) -> InstanceGenerator e -> InstanceGenerator e # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InstanceGenerator e -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InstanceGenerator e -> r # gmapQ :: (forall d. Data d => d -> u) -> InstanceGenerator e -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InstanceGenerator e -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InstanceGenerator e -> m (InstanceGenerator e) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InstanceGenerator e -> m (InstanceGenerator e) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InstanceGenerator e -> m (InstanceGenerator e) #
Read e => Read (InstanceGenerator e) Source #
Methods readsPrec :: Int -> ReadS (InstanceGenerator e) # readList :: ReadS [InstanceGenerator e] # readPrec :: ReadPrec (InstanceGenerator e) # readListPrec :: ReadPrec [InstanceGenerator e] #
Show e => Show (InstanceGenerator e) Source #
Methods showsPrec :: Int -> InstanceGenerator e -> ShowS # show :: InstanceGenerator e -> String # showList :: [InstanceGenerator e] -> ShowS #
MonadWriter [InstanceGenerator CGEnv] CGParser Source #
Methods writer :: (a, [InstanceGenerator CGEnv]) -> CGParser a # tell :: [InstanceGenerator CGEnv] -> CGParser () # listen :: CGParser a -> CGParser (a, [InstanceGenerator CGEnv]) # pass :: CGParser (a, [InstanceGenerator CGEnv] -> [InstanceGenerator CGEnv]) -> CGParser a #

newtype CGError Source #

Constructors

CGError String

Instances

Eq CGError Source #
Methods (==) :: CGError -> CGError -> Bool # (/=) :: CGError -> CGError -> Bool #
Data CGError Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CGError -> c CGError # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CGError # toConstr :: CGError -> Constr # dataTypeOf :: CGError -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c CGError) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CGError) # gmapT :: (forall b. Data b => b -> b) -> CGError -> CGError # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CGError -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CGError -> r # gmapQ :: (forall d. Data d => d -> u) -> CGError -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CGError -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CGError -> m CGError # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CGError -> m CGError # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CGError -> m CGError #
Read CGError Source #
Methods readsPrec :: Int -> ReadS CGError # readList :: ReadS [CGError] # readPrec :: ReadPrec CGError # readListPrec :: ReadPrec [CGError] #
Show CGError Source #
Methods showsPrec :: Int -> CGError -> ShowS # show :: CGError -> String # showList :: [CGError] -> ShowS #
MonadError CGError CGParser Source #
Methods throwError :: CGError -> CGParser a # catchError :: CGParser a -> (CGError -> CGParser a) -> CGParser a #

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

SG [(String, String)] SGSource SGPerm FilePath

Instances

Eq SourceGenerator Source #
Methods (==) :: SourceGenerator -> SourceGenerator -> Bool # (/=) :: SourceGenerator -> SourceGenerator -> Bool #
Read SourceGenerator Source #
Methods readsPrec :: Int -> ReadS SourceGenerator # readList :: ReadS [SourceGenerator] # readPrec :: ReadPrec SourceGenerator # readListPrec :: ReadPrec [SourceGenerator] #
Show SourceGenerator Source #
Methods showsPrec :: Int -> SourceGenerator -> ShowS # show :: SourceGenerator -> String # showList :: [SourceGenerator] -> ShowS #

sourceGeneratorOutputFile :: SourceGenerator -> FilePath Source #

Return the (internal-)output file of the source file that is generated.

data SGSource Source #

Constructors

SGFiles [SourceFile]
SGContent Content

Instances

Eq SGSource Source #
Methods (==) :: SGSource -> SGSource -> Bool # (/=) :: SGSource -> SGSource -> Bool #
Read SGSource Source #
Methods readsPrec :: Int -> ReadS SGSource # readList :: ReadS [SGSource] # readPrec :: ReadPrec SGSource # readListPrec :: ReadPrec [SGSource] #
Show SGSource Source #
Methods showsPrec :: Int -> SGSource -> ShowS # show :: SGSource -> String # showList :: [SGSource] -> ShowS #

data SGPerm Source #

Constructors

SGSetPerm (Int, Int, Int)
KeepPerm

Instances

Eq SGPerm Source #
Methods (==) :: SGPerm -> SGPerm -> Bool # (/=) :: SGPerm -> SGPerm -> Bool #
Data SGPerm Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SGPerm -> c SGPerm # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SGPerm # toConstr :: SGPerm -> Constr # dataTypeOf :: SGPerm -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SGPerm) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SGPerm) # gmapT :: (forall b. Data b => b -> b) -> SGPerm -> SGPerm # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SGPerm -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SGPerm -> r # gmapQ :: (forall d. Data d => d -> u) -> SGPerm -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SGPerm -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SGPerm -> m SGPerm # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SGPerm -> m SGPerm # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SGPerm -> m SGPerm #
Read SGPerm Source #
Methods readsPrec :: Int -> ReadS SGPerm # readList :: ReadS [SGPerm] # readPrec :: ReadPrec SGPerm # readListPrec :: ReadPrec [SGPerm] #
Show SGPerm Source #
Methods showsPrec :: Int -> SGPerm -> ShowS # show :: SGPerm -> String # showList :: [SGPerm] -> ShowS #

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.