Update documentation for new response handling

Remove references to ResponseException which is no longer used.
Document earlyReturn for conditional early exits.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: mpscholten

Guide/controller.markdown

@@ -398,19 +398,26 @@ action ExampleAction = do
 
 ## Action Execution
 
-When calling a function to send the response, IHP will stop executing the action. Internally this is implemented by throwing and catching a [`ResponseException`](https://ihp.digitallyinduced.com/api-docs/src/IHP.ControllerSupport.html#ResponseException). Any code after e.g. a `render SomeView { .. }` call will not be called. This also applies to all redirect helpers.
+When calling a function to send the response like `render` or `redirectTo`, the response is sent to the client and the action returns. Since these functions return `IO ResponseReceived`, any code after them would be unreachable.
 
-Here is an example of this behavior:
+Here is an example:
 
 ```haskell
 action ExampleAction = do
     redirectTo SomeOtherAction
-    putStrLn "This line here is not reachable"
+    -- Any code here would be unreachable since redirectTo returns the response
 ```
 
-The [`putStrLn`](https://ihp.digitallyinduced.com/api-docs/IHP-Prelude.html#v:putStrLn) will never be called because the [`redirectTo`](https://ihp.digitallyinduced.com/api-docs/IHP-Controller-Redirect.html#v:redirectTo) already stops execution.
+For conditional early exits (like access control), use `earlyReturn`:
 
-When you have created a [`Response`](https://hackage.haskell.org/package/wai-3.2.2.1/docs/Network-Wai.html#t:Response) manually, you can use [`respondAndExit`](https://ihp.digitallyinduced.com/api-docs/src/IHP.ControllerSupport.html#respondAndExit) to send your response and stop action execution.
+```haskell
+action ExampleAction = do
+    when (not loggedIn) do
+        earlyReturn (redirectTo LoginAction)
+
+    -- This code runs only if loggedIn is True
+    render MyView
+```
 
 ## Controller Context
 

Guide/database.markdown

@@ -822,16 +822,7 @@ incomplete data is left in the database when there's an error.
 
 The [`withTransaction`](https://ihp.digitallyinduced.com/api-docs/IHP-ModelSupport.html#v:withTransaction) function will automatically commit after it succesfully executed the passed do-block. When any exception is thrown, it will automatically rollback.
 
-Keep in mind that some IHP functions like [`redirectTo`](https://ihp.digitallyinduced.com/api-docs/IHP-Controller-Redirect.html#v:redirectTo) or [`render`](https://ihp.digitallyinduced.com/api-docs/IHP-Controller-Render.html#v:render) throw a [`ResponseException`](https://ihp.digitallyinduced.com/api-docs/IHP-ControllerSupport.html#t:ResponseException). So code like below will not work as expected:
-
-```haskell
-action CreateUserAction = do
-    withTransaction do
-        user <- newRecord @User |> createRecord
-        redirectTo NewSessionAction
-```
-
-The [`redirectTo`](https://ihp.digitallyinduced.com/api-docs/IHP-Controller-Redirect.html#v:redirectTo) throws a [`ResponseException`](https://ihp.digitallyinduced.com/api-docs/IHP-ControllerSupport.html#t:ResponseException) and will cause a rollback. This code should be structured like this:
+It's good practice to keep your transaction blocks focused on database operations only:
 
 ```haskell
 action CreateUserAction = do