Adapt the wasp clean command and fix dep installation

waspc/cli/exe/Main.hs

@@ -19,7 +19,6 @@ import Wasp.Cli.Command.CreateNewProject (createNewProject)
 import qualified Wasp.Cli.Command.CreateNewProject.AI as Command.CreateNewProject.AI
 import Wasp.Cli.Command.Db (runDbCommand)
 import qualified Wasp.Cli.Command.Db.Migrate as Command.Db.Migrate
-import qualified Wasp.Cli.Command.Db.Reset as Command.Db.Reset
 import qualified Wasp.Cli.Command.Db.Seed as Command.Db.Seed
 import qualified Wasp.Cli.Command.Db.Studio as Command.Db.Studio
 import Wasp.Cli.Command.Deploy (deploy)
@@ -158,7 +157,7 @@ printUsage =
         cmd   "    start                 Runs Wasp app in development mode, watching for file changes.",
         cmd   "    start db              Starts managed development database for you.",
         cmd   "    db <db-cmd> [args]    Executes a database command. Run 'wasp db' for more info.",
-        cmd   "    clean                 Deletes all generated code and other cached artifacts.",
+        cmd   "    clean                 Deletes all generated code, all cached artifacts, and the node_modules dir.",
               "                          Wasp equivalent of 'have you tried closing and opening it again?'.",
         cmd   "    build                 Generates full web app code, ready for deployment. Use when deploying or ejecting.",
         cmd   "    deploy                Deploys your Wasp app to cloud hosting providers.",
@@ -200,7 +199,6 @@ dbCli :: [String] -> IO ()
 dbCli args = case args of
   ["start"] -> runCommand Command.Start.Db.start
   "migrate-dev" : optionalMigrateArgs -> runDbCommand $ Command.Db.Migrate.migrateDev optionalMigrateArgs
-  ["reset"] -> runDbCommand Command.Db.Reset.reset
   ["seed"] -> runDbCommand $ Command.Db.Seed.seed Nothing
   ["seed", seedName] -> runDbCommand $ Command.Db.Seed.seed $ Just seedName
   ["studio"] -> runDbCommand Command.Db.Studio.studio

waspc/cli/src/Wasp/Cli/Command/BashCompletion.hs

@@ -26,7 +26,26 @@ bashCompletion = do
     ["db", cmdPrefix] -> listMatchingCommands cmdPrefix dbSubCommands
     _ -> liftIO . putStrLn $ ""
   where
-    commands = ["new", "version", "waspls", "start", "db", "clean", "uninstall", "build", "telemetry", "deps", "info", "completion", "completion:generate"]
+    commands =
+      [ "new",
+        "new:ai",
+        "version",
+        "waspls",
+        "completion",
+        "completion:generate",
+        "uninstall",
+        "start",
+        "db",
+        "clean",
+        "build",
+        "deploy",
+        "telemetry",
+        "deps",
+        "dockerfile",
+        "info",
+        "test",
+        "studio"
+      ]
     dbSubCommands = ["migrate-dev", "studio"]
     listMatchingCommands :: String -> [String] -> Command ()
     listMatchingCommands cmdPrefix cmdList = listCommands $ filter (cmdPrefix `isPrefixOf`) cmdList

waspc/cli/src/Wasp/Cli/Command/Clean.hs

@@ -3,26 +3,18 @@ module Wasp.Cli.Command.Clean
   )
 where
 
-import Control.Monad.IO.Class (liftIO)
 import qualified StrongPath as SP
-import System.Directory
-  ( doesDirectoryExist,
-    removeDirectoryRecursive,
-  )
 import Wasp.Cli.Command (Command)
-import Wasp.Cli.Command.Message (cliSendMessageC)
+import Wasp.Cli.Command.Common (deleteDirectoryIfExistsVerbosely)
 import Wasp.Cli.Command.Require (InWaspProject (InWaspProject), require)
-import qualified Wasp.Message as Msg
-import Wasp.Project.Common (dotWaspDirInWaspProjectDir)
+import Wasp.Project.Common (dotWaspDirInWaspProjectDir, nodeModulesDirInWaspProjectDir)
 
 clean :: Command ()
 clean = do
   InWaspProject waspProjectDir <- require
-  let dotWaspDirFp = SP.toFilePath $ waspProjectDir SP.</> dotWaspDirInWaspProjectDir
-  cliSendMessageC $ Msg.Start "Deleting .wasp/ directory..."
-  doesDotWaspDirExist <- liftIO $ doesDirectoryExist dotWaspDirFp
-  if doesDotWaspDirExist
-    then do
-      liftIO $ removeDirectoryRecursive dotWaspDirFp
-      cliSendMessageC $ Msg.Success "Deleted .wasp/ directory."
-    else cliSendMessageC $ Msg.Success "Nothing to delete: .wasp directory does not exist."
+
+  let dotWaspDir = waspProjectDir SP.</> dotWaspDirInWaspProjectDir
+  let nodeModulesDir = waspProjectDir SP.</> nodeModulesDirInWaspProjectDir
+
+  deleteDirectoryIfExistsVerbosely dotWaspDir
+  deleteDirectoryIfExistsVerbosely nodeModulesDir

waspc/cli/src/Wasp/Cli/Command/Common.hs

@@ -1,15 +1,21 @@
 module Wasp.Cli.Command.Common
   ( readWaspCompileInfo,
     throwIfExeIsNotAvailable,
+    deleteDirectoryIfExistsVerbosely,
   )
 where
 
 import Control.Monad.Except
 import qualified Control.Monad.Except as E
 import StrongPath (Abs, Dir, Path')
+import qualified StrongPath as SP
 import StrongPath.Operations
-import System.Directory (findExecutable)
+import System.Directory
+  ( findExecutable,
+  )
 import Wasp.Cli.Command (Command, CommandError (..))
+import Wasp.Cli.Command.Message (cliSendMessageC)
+import qualified Wasp.Message as Msg
 import Wasp.Project (WaspProjectDir)
 import qualified Wasp.Project.Common as Project.Common
 import Wasp.Util (ifM)
@@ -34,3 +40,16 @@ throwIfExeIsNotAvailable exeName explanationMsg = do
     Nothing ->
       E.throwError $
         CommandError ("Couldn't find `" <> exeName <> "` executable") explanationMsg
+
+deleteDirectoryIfExistsVerbosely :: Path' Abs (Dir d) -> Command ()
+deleteDirectoryIfExistsVerbosely dir = do
+  cliSendMessageC $ Msg.Start $ "Deleting the " ++ dirName ++ " directory..."
+  dirExist <- liftIO $ IOUtil.doesDirectoryExist dir
+  if dirExist
+    then do
+      liftIO $ IOUtil.removeDirectory dir
+      cliSendMessageC $ Msg.Success $ "Deleted the " ++ dirName ++ " directory."
+    else do
+      cliSendMessageC $ Msg.Success $ "Nothing to delete: The " ++ dirName ++ " directory does not exist."
+  where
+    dirName = SP.toFilePath $ basename dir

waspc/cli/src/Wasp/Cli/Command/Watch.hs

@@ -19,33 +19,50 @@ import Wasp.Cli.Message (cliSendMessage)
 import qualified Wasp.Generator.Common as Wasp.Generator
 import qualified Wasp.Message as Msg
 import Wasp.Project (CompileError, CompileWarning, WaspProjectDir)
-import Wasp.Project.Common (extClientCodeDirInWaspProjectDir, extServerCodeDirInWaspProjectDir, extSharedCodeDirInWaspProjectDir)
+import Wasp.Project.Common (srcDirInWaspProjectDir)
 
 -- TODO: Idea: Read .gitignore file, and ignore everything from it. This will then also cover the
 --   .wasp dir, and users can easily add any custom stuff they want ignored. But, we also have to
 --   be ready for the case when there is no .gitignore, that could be possible.
 
--- | Forever listens for any file changes in waspProjectDir, and if there is a change,
---   compiles Wasp source files in waspProjectDir and regenerates files in outDir.
---   It will defer recompilation until no new change was detected in the last second.
---   It also takes 'ongoingCompilationResultMVar' MVar, into which it stores the result
---   (warnings, errors) of the latest (re)compile whenever it happens. If there is already
---   something in the MVar, it will get overwritten.
+-- | Forever listens for any file changes at the very top level of @waspProjectDir@, and also for
+-- any changes at any depth in the @waspProjectDir@/src/ dir. If there is a change, compiles Wasp
+-- source files in @waspProjectDir@ and regenerates files in @outDir@. It will defer recompilation
+-- until no new change was detected in the last second. It also takes 'ongoingCompilationResultMVar'
+-- MVar, into which it stores the result (warnings, errors) of the latest (re)compile whenever it
+-- happens. If there is already something in the MVar, it will get overwritten.
 watch ::
   Path' Abs (Dir WaspProjectDir) ->
   Path' Abs (Dir Wasp.Generator.ProjectRootDir) ->
   MVar ([CompileWarning], [CompileError]) ->
   IO ()
 watch waspProjectDir outDir ongoingCompilationResultMVar = FSN.withManager $ \mgr -> do
-  currentTime <- getCurrentTime
   chan <- newChan
-  _ <- FSN.watchDirChan mgr (SP.fromAbsDir waspProjectDir) eventFilter chan
-  let watchProjectSubdirTree path = FSN.watchTreeChan mgr (SP.fromAbsDir $ waspProjectDir </> path) eventFilter chan
-  _ <- watchProjectSubdirTree extClientCodeDirInWaspProjectDir
-  _ <- watchProjectSubdirTree extServerCodeDirInWaspProjectDir
-  _ <- watchProjectSubdirTree extSharedCodeDirInWaspProjectDir
-  listenForEvents chan currentTime
+  _ <- watchFilesAtTopLevelOfWaspProjectDir mgr chan
+  _ <- watchFilesAtAllLevelsOfSrcDirInWaspProjectDir mgr chan
+  listenForEvents chan =<< getCurrentTime
   where
+    watchFilesAtTopLevelOfWaspProjectDir mgr chan =
+      FSN.watchDirChan mgr (SP.fromAbsDir waspProjectDir) eventFilter chan
+      where
+        eventFilter :: FSN.Event -> Bool
+        eventFilter event =
+          -- TODO: Might be valuable to also filter out files from .gitignore.
+          not (isEditorTmpFile filename)
+            && filename /= "package-lock.json"
+          where
+            filename = FP.takeFileName $ FSN.eventPath event
+
+    watchFilesAtAllLevelsOfSrcDirInWaspProjectDir mgr chan =
+      FSN.watchTreeChan mgr (SP.fromAbsDir $ waspProjectDir </> srcDirInWaspProjectDir) eventFilter chan
+      where
+        eventFilter :: FSN.Event -> Bool
+        eventFilter event =
+          -- TODO: Might be valuable to also filter out files from .gitignore.
+          not (isEditorTmpFile filename)
+          where
+            filename = FP.takeFileName $ FSN.eventPath event
+
     listenForEvents :: Chan FSN.Event -> UTCTime -> IO ()
     listenForEvents chan lastCompileTime = do
       event <- readChan chan
@@ -114,12 +131,13 @@ watch waspProjectDir outDir ongoingCompilationResultMVar = FSN.withManager $ \mg
     --   create next to the source code. Bad thing here is that users can't modify this,
     --   so better approach would be probably to use information from .gitignore instead, or
     --   maybe combining the two somehow.
-    eventFilter :: FSN.Event -> Bool
-    eventFilter event =
-      let filename = FP.takeFileName $ FSN.eventPath event
-       in not (null filename)
-            && take 2 filename /= ".#" -- Ignore emacs lock files.
-            && not (head filename == '#' && last filename == '#') -- Ignore emacs auto-save files.
-            && last filename /= '~' -- Ignore emacs and vim backup files.
-            && not (head filename == '.' && ".swp" `isSuffixOf` filename) -- Ignore vim swp files.
-            && not (head filename == '.' && ".un~" `isSuffixOf` filename) -- Ignore vim undo files.
+    isEditorTmpFile :: String -> Bool
+    isEditorTmpFile "" = False
+    isEditorTmpFile filename =
+      or
+        [ take 2 filename == ".#", -- Emacs lock files.
+          head filename == '#' && last filename == '#', -- Emacs auto-save files.
+          last filename == '~', -- Emacs and vim backup files.
+          head filename == '.' && ".swp" `isSuffixOf` filename, -- Vim swp files.
+          head filename == '.' && ".un~" `isSuffixOf` filename -- Vim undo files.
+        ]

waspc/src/Wasp/Generator/NpmDependencies.hs

@@ -4,15 +4,16 @@ module Wasp.Generator.NpmDependencies
   ( DependencyConflictError (..),
     getDependenciesPackageJsonEntry,
     getDevDependenciesPackageJsonEntry,
+    getUserNpmDepsForPackage,
     combineNpmDepsForPackage,
     NpmDepsForPackage (..),
     NpmDepsForPackageError (..),
     conflictErrorToMessage,
     genNpmDepsForPackage,
-    NpmDepsForFullStack,
+    NpmDepsForFramework,
     NpmDepsForWasp (..),
     NpmDepsForUser (..),
-    buildNpmDepsForFullStack,
+    buildWaspFrameworkNpmDeps,
   )
 where
 
@@ -27,23 +28,26 @@ import qualified Wasp.AppSpec.App.Dependency as D
 import qualified Wasp.AppSpec.PackageJson as AS.PackageJson
 import Wasp.Generator.Monad (Generator, GeneratorError (..), logAndThrowGeneratorError)
 
-data NpmDepsForFullStack = NpmDepsForFullStack
+data NpmDepsForFramework = NpmDepsForFramework
   { npmDepsForServer :: NpmDepsForPackage,
     npmDepsForWebApp :: NpmDepsForPackage
   }
   deriving (Show, Eq, Generic)
 
-instance ToJSON NpmDepsForFullStack where
-  toEncoding = genericToEncoding defaultOptions
+instance ToJSON NpmDepsForFramework
 
-instance FromJSON NpmDepsForFullStack
+instance FromJSON NpmDepsForFramework
 
 data NpmDepsForPackage = NpmDepsForPackage
   { dependencies :: [D.Dependency],
     devDependencies :: [D.Dependency]
   }
   deriving (Show, Generic)
 
+instance ToJSON NpmDepsForPackage
+
+instance FromJSON NpmDepsForPackage
+
 data NpmDepsForWasp = NpmDepsForWasp
   { waspDependencies :: [D.Dependency],
     waspDevDependencies :: [D.Dependency]
@@ -54,12 +58,11 @@ data NpmDepsForUser = NpmDepsForUser
   { userDependencies :: [D.Dependency],
     userDevDependencies :: [D.Dependency]
   }
-  deriving (Show)
+  deriving (Show, Eq, Generic)
 
-instance ToJSON NpmDepsForPackage where
-  toEncoding = genericToEncoding defaultOptions
+instance ToJSON NpmDepsForUser
 
-instance FromJSON NpmDepsForPackage
+instance FromJSON NpmDepsForUser
 
 data NpmDepsForPackageError = NpmDepsForPackageError
   { dependenciesConflictErrors :: [DependencyConflictError],
@@ -89,12 +92,12 @@ genNpmDepsForPackage spec npmDepsForWasp =
                   ++ devDependenciesConflictErrors conflictErrorDeps
               )
 
-buildNpmDepsForFullStack :: AppSpec -> NpmDepsForWasp -> NpmDepsForWasp -> Either String NpmDepsForFullStack
-buildNpmDepsForFullStack spec forServer forWebApp =
+buildWaspFrameworkNpmDeps :: AppSpec -> NpmDepsForWasp -> NpmDepsForWasp -> Either String NpmDepsForFramework
+buildWaspFrameworkNpmDeps spec forServer forWebApp =
   case (combinedServerDeps, combinedWebAppDeps) of
     (Right a, Right b) ->
       Right
-        NpmDepsForFullStack
+        NpmDepsForFramework
           { npmDepsForServer = a,
             npmDepsForWebApp = b
           }
@@ -135,6 +138,12 @@ sortedDependencies a = (sort $ dependencies a, sort $ devDependencies a)
 --   to combine them together, returning (Right) a new NpmDepsForPackage
 --   that combines them, and on error (Left), returns a NpmDepsForPackageError
 --   which describes which dependencies are in conflict.
+-- TODO: The comment above and function name are not exactly correct any more,
+-- as user deps don't get combined with the wasp deps any more, instead user deps
+-- are just checked against wasp deps to see if there are any conflicts, and then
+-- wasp deps are more or less returned as they are (maybe with some changes? But certainly no user deps added).
+-- This function deserves rewriting / rethinking. This should be addressed while solving
+-- GH issue https://github.com/wasp-lang/wasp/issues/1644 .
 combineNpmDepsForPackage :: NpmDepsForWasp -> NpmDepsForUser -> Either NpmDepsForPackageError NpmDepsForPackage
 combineNpmDepsForPackage npmDepsForWasp npmDepsForUser =
   if null conflictErrors && null devConflictErrors