CurryInfo: spicey-4.2.0 / Spicey.Scaffolding.createViews

createViews :: String -> ERD -> String -> String -> IO ()
createViews _ (ERD name entities relationship) path _ =
  mapM_ (saveView name (getEntities erdt) (getRelationships erdt))
        (filter (not . Spicey.GenerationHelper.isGenerated) (getEntities erdt))
 where
  erdt = transform (ERD name entities relationship)

  saveView :: String -> [Entity] -> [Relationship] -> Entity -> IO ()
  saveView erdname allEntities relationships (Entity ename attrlist) = do
    putStrLn ("Saving view operations in 'View."++ename++".curry'...")
    writeFile (path </> ename ++ ".curry")
              (showCProg (generateViewsForEntity erdname allEntities
                            (Entity ename attrlist) relationships))

argument 2

deterministic operation

<FAILING>

referentially transparent operation

no fixity defined

{(_,{ERD},_,_) |-> _}

createViews

no precedence defined

_

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

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term