CurryInfo: spicey-4.2.0 / Spicey.SpiceUp.createStructure

createStructure :: String -> String -> ERD -> String -> String -> DirTree
                -> IO ()
createStructure target_path resource_dir _ _ _
                (ResourceFile fmode filename) = do
  let infile     = resource_dir </> filename
      targetfile = target_path  </> takeFileName filename
  ifNotExistsDo targetfile $ do
    putStrLn $ "Creating file '" ++ targetfile ++ "'..."
    system $ "cp \"" ++ infile ++ "\" \"" ++ targetfile ++ "\""
    setFileMode fmode targetfile

createStructure target_path resource_dir erd _ _
                (ResourcePatchFile fmode filename patchfun) = do
  let full_path = target_path </> filename
  ifNotExistsDo full_path $ do
    putStrLn ("Creating file '" ++ full_path ++ "'...")
    cnt <- readFile (resource_dir </> filename)
    let outfile = target_path </> filename
    writeFile outfile (patchfun erd cnt)
    setFileMode fmode outfile

createStructure target_path resource_dir erd erprogpath db_path
                (Directory dirname subtree) = do
  let full_path = target_path </> dirname
  ifNotExistsDo full_path $ do
    putStrLn $ "Creating directory '" ++ full_path ++ "'..."
    createDirectory full_path
  mapM_ (createStructure full_path resource_dir erd erprogpath db_path) subtree

createStructure target_path _ erd erprogpath db_path
                (GeneratedFromERD generatorFunction) =
  generatorFunction erprogpath erd target_path db_path

argument 6

deterministic operation

--- Creates the structure of the source files of the new package.

<FAILING>

referentially transparent operation

no fixity defined

{(_,_,_,_,_,{ResourceFile}) |-> _ || (_,_,_,_,_,{ResourcePatchFile}) |-> _ || (_,_,_,_,_,{Directory}) |-> _ || (_,_,_,_,_,{GeneratedFromERD}) |-> _}

createStructure

no precedence defined

_

String -> String -> Database.ERD.ERD -> String -> String -> DirTree
-> Prelude.IO ()

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term