elm-pages 3.0.0-beta.13 → 3.0.0-beta.15

package/src/Pages/Generate.elm

@@ -101,10 +101,8 @@ preRender input =
         , pages =
             input.pages
                 |> Elm.withType
-                    (Elm.Annotation.namedWith [ "DataSource" ]
-                        "DataSource"
-                        [ Elm.Annotation.list <| Elm.Annotation.named [] "RouteParams"
-                        ]
+                    (throwableTask
+                        (Elm.Annotation.list <| Elm.Annotation.named [] "RouteParams")
                     )
                 |> Just
         , head = input.head
@@ -130,7 +128,7 @@ single input =
 
 {-| -}
 buildNoState :
-    { view : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
+    { view : { maybeUrl : Elm.Expression, sharedModel : Elm.Expression, app : Elm.Expression } -> Elm.Expression
     }
     -> Builder
     -> Elm.File
@@ -138,7 +136,13 @@ buildNoState definitions builder_ =
     case builder_ of
         ServerRender builder ->
             userFunction builder.moduleName
-                { view = \_ -> definitions.view
+                { view =
+                    \maybeUrl sharedModel _ app ->
+                        definitions.view
+                            { maybeUrl = maybeUrl
+                            , sharedModel = sharedModel
+                            , app = app
+                            }
                 , localState = Nothing
                 , data = builder.data |> Tuple.second
                 , action = builder.action |> Tuple.second |> Action
@@ -153,7 +157,13 @@ buildNoState definitions builder_ =
 
         PreRender builder ->
             userFunction builder.moduleName
-                { view = \_ -> definitions.view
+                { view =
+                    \maybeUrl sharedModel _ app ->
+                        definitions.view
+                            { maybeUrl = maybeUrl
+                            , sharedModel = sharedModel
+                            , app = app
+                            }
                 , localState = Nothing
                 , data = builder.data |> Tuple.second
                 , action = builder.pages |> Pages
@@ -163,10 +173,8 @@ buildNoState definitions builder_ =
                     , msg = Alias Elm.Annotation.unit
                     , data = builder.data |> Tuple.first
                     , actionData =
-                        Elm.Annotation.namedWith [ "DataSource" ]
-                            "DataSource"
-                            [ Elm.Annotation.list (Elm.Annotation.named [] "RouteParams")
-                            ]
+                        throwableTask
+                            (Elm.Annotation.list (Elm.Annotation.named [] "RouteParams"))
                             |> Alias
                     }
                 }
@@ -174,10 +182,30 @@ buildNoState definitions builder_ =
 
 {-| -}
 buildWithLocalState :
-    { view : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
-    , update : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
-    , init : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
-    , subscriptions : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
+    { view :
+        { maybeUrl : Elm.Expression, sharedModel : Elm.Expression, model : Elm.Expression, app : Elm.Expression } -> Elm.Expression
+    , update :
+        { pageUrl : Elm.Expression
+        , sharedModel : Elm.Expression
+        , app : Elm.Expression
+        , msg : Elm.Expression
+        , model : Elm.Expression
+        }
+        -> Elm.Expression
+    , init :
+        { pageUrl : Elm.Expression
+        , sharedModel : Elm.Expression
+        , app : Elm.Expression
+        }
+        -> Elm.Expression
+    , subscriptions :
+        { maybePageUrl : Elm.Expression
+        , routeParams : Elm.Expression
+        , path : Elm.Expression
+        , sharedModel : Elm.Expression
+        , model : Elm.Expression
+        }
+        -> Elm.Expression
     , msg : Type
     , model : Type
     }
@@ -187,12 +215,41 @@ buildWithLocalState definitions builder_ =
     case builder_ of
         ServerRender builder ->
             userFunction builder.moduleName
-                { view = definitions.view
+                { view =
+                    \maybeUrl sharedModel model app ->
+                        definitions.view
+                            { maybeUrl = maybeUrl
+                            , sharedModel = sharedModel
+                            , model = model
+                            , app = app
+                            }
                 , localState =
                     Just
-                        { update = definitions.update
-                        , init = definitions.init
-                        , subscriptions = definitions.subscriptions
+                        { update =
+                            \pageUrl sharedModel app msg model ->
+                                definitions.update
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    , msg = msg
+                                    , model = model
+                                    }
+                        , init =
+                            \pageUrl sharedModel app ->
+                                definitions.init
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    }
+                        , subscriptions =
+                            \maybePageUrl routeParams path sharedModel model ->
+                                definitions.subscriptions
+                                    { maybePageUrl = maybePageUrl
+                                    , routeParams = routeParams
+                                    , path = path
+                                    , sharedModel = sharedModel
+                                    , model = model
+                                    }
                         , state = LocalState
                         }
                 , data = builder.data |> Tuple.second
@@ -208,12 +265,41 @@ buildWithLocalState definitions builder_ =
 
         PreRender builder ->
             userFunction builder.moduleName
-                { view = definitions.view
+                { view =
+                    \maybeUrl sharedModel model app ->
+                        definitions.view
+                            { maybeUrl = maybeUrl
+                            , sharedModel = sharedModel
+                            , model = model
+                            , app = app
+                            }
                 , localState =
                     Just
-                        { update = definitions.update
-                        , init = definitions.init
-                        , subscriptions = definitions.subscriptions
+                        { update =
+                            \pageUrl sharedModel app msg model ->
+                                definitions.update
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    , msg = msg
+                                    , model = model
+                                    }
+                        , init =
+                            \pageUrl sharedModel app ->
+                                definitions.init
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    }
+                        , subscriptions =
+                            \maybePageUrl routeParams path sharedModel model ->
+                                definitions.subscriptions
+                                    { maybePageUrl = maybePageUrl
+                                    , routeParams = routeParams
+                                    , path = path
+                                    , sharedModel = sharedModel
+                                    , model = model
+                                    }
                         , state = LocalState
                         }
                 , data = builder.data |> Tuple.second
@@ -224,10 +310,8 @@ buildWithLocalState definitions builder_ =
                     , msg = definitions.msg
                     , data = builder.data |> Tuple.first
                     , actionData =
-                        Elm.Annotation.namedWith [ "DataSource" ]
-                            "DataSource"
-                            [ Elm.Annotation.list (Elm.Annotation.named [] "RouteParams")
-                            ]
+                        throwableTask
+                            (Elm.Annotation.list (Elm.Annotation.named [] "RouteParams"))
                             |> Alias
                     }
                 }
@@ -235,10 +319,30 @@ buildWithLocalState definitions builder_ =
 
 {-| -}
 buildWithSharedState :
-    { view : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
-    , update : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
-    , init : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
-    , subscriptions : Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression -> Elm.Expression
+    { view :
+        { maybeUrl : Elm.Expression, sharedModel : Elm.Expression, model : Elm.Expression, app : Elm.Expression } -> Elm.Expression
+    , update :
+        { pageUrl : Elm.Expression
+        , sharedModel : Elm.Expression
+        , app : Elm.Expression
+        , msg : Elm.Expression
+        , model : Elm.Expression
+        }
+        -> Elm.Expression
+    , init :
+        { pageUrl : Elm.Expression
+        , sharedModel : Elm.Expression
+        , app : Elm.Expression
+        }
+        -> Elm.Expression
+    , subscriptions :
+        { maybePageUrl : Elm.Expression
+        , routeParams : Elm.Expression
+        , path : Elm.Expression
+        , sharedModel : Elm.Expression
+        , model : Elm.Expression
+        }
+        -> Elm.Expression
     , msg : Type
     , model : Type
     }
@@ -248,12 +352,41 @@ buildWithSharedState definitions builder_ =
     case builder_ of
         ServerRender builder ->
             userFunction builder.moduleName
-                { view = definitions.view
+                { view =
+                    \maybeUrl sharedModel model app ->
+                        definitions.view
+                            { maybeUrl = maybeUrl
+                            , sharedModel = sharedModel
+                            , model = model
+                            , app = app
+                            }
                 , localState =
                     Just
-                        { update = definitions.update
-                        , init = definitions.init
-                        , subscriptions = definitions.subscriptions
+                        { update =
+                            \pageUrl sharedModel app msg model ->
+                                definitions.update
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    , msg = msg
+                                    , model = model
+                                    }
+                        , init =
+                            \pageUrl sharedModel app ->
+                                definitions.init
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    }
+                        , subscriptions =
+                            \maybePageUrl routeParams path sharedModel model ->
+                                definitions.subscriptions
+                                    { maybePageUrl = maybePageUrl
+                                    , routeParams = routeParams
+                                    , path = path
+                                    , sharedModel = sharedModel
+                                    , model = model
+                                    }
                         , state = SharedState
                         }
                 , data = builder.data |> Tuple.second
@@ -269,12 +402,41 @@ buildWithSharedState definitions builder_ =
 
         PreRender builder ->
             userFunction builder.moduleName
-                { view = definitions.view
+                { view =
+                    \maybeUrl sharedModel model app ->
+                        definitions.view
+                            { maybeUrl = maybeUrl
+                            , sharedModel = sharedModel
+                            , model = model
+                            , app = app
+                            }
                 , localState =
                     Just
-                        { update = definitions.update
-                        , init = definitions.init
-                        , subscriptions = definitions.subscriptions
+                        { update =
+                            \pageUrl sharedModel app msg model ->
+                                definitions.update
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    , msg = msg
+                                    , model = model
+                                    }
+                        , init =
+                            \pageUrl sharedModel app ->
+                                definitions.init
+                                    { pageUrl = pageUrl
+                                    , sharedModel = sharedModel
+                                    , app = app
+                                    }
+                        , subscriptions =
+                            \maybePageUrl routeParams path sharedModel model ->
+                                definitions.subscriptions
+                                    { maybePageUrl = maybePageUrl
+                                    , routeParams = routeParams
+                                    , path = path
+                                    , sharedModel = sharedModel
+                                    , model = model
+                                    }
                         , state = SharedState
                         }
                 , data = builder.data |> Tuple.second
@@ -285,10 +447,8 @@ buildWithSharedState definitions builder_ =
                     , msg = definitions.msg
                     , data = builder.data |> Tuple.first
                     , actionData =
-                        Elm.Annotation.namedWith [ "DataSource" ]
-                            "DataSource"
-                            [ Elm.Annotation.list (Elm.Annotation.named [] "RouteParams")
-                            ]
+                        throwableTask
+                            (Elm.Annotation.list (Elm.Annotation.named [] "RouteParams"))
                             |> Alias
                     }
                 }
@@ -340,11 +500,22 @@ userFunction moduleName definitions =
                             |> Just
                         )
                         ( "sharedModel"
-                        , Nothing
+                        , Just (Elm.Annotation.named [ "Shared" ] "Model")
                         )
                         ( "model", Just (Elm.Annotation.named [] "Model") )
                         ( "app", Just appType )
-                        definitions.view
+                        (\maybeUrl sharedModel model app ->
+                            definitions.view maybeUrl sharedModel model app
+                                |> Elm.withType
+                                    (Elm.Annotation.namedWith [ "View" ]
+                                        "View"
+                                        [ Elm.Annotation.namedWith [ "Pages", "Msg" ]
+                                            "Msg"
+                                            [ localType "Msg"
+                                            ]
+                                        ]
+                                    )
+                        )
 
                 Nothing ->
                     let
@@ -362,7 +533,7 @@ userFunction moduleName definitions =
                                     |> Just
                                 )
                                 ( "sharedModel"
-                                , Nothing
+                                , Just (Elm.Annotation.named [ "Shared" ] "Model")
                                 )
                                 ( "app", Just appType )
                                 (definitions.view Elm.unit)
@@ -394,7 +565,7 @@ userFunction moduleName definitions =
                                     |> Elm.Annotation.named [ "Pages", "PageUrl" ]
                                     |> Just
                                 )
-                                ( "sharedModel", Nothing )
+                                ( "sharedModel", Just (Elm.Annotation.named [ "Shared" ] "Model") )
                                 ( "app", Just appType )
                                 ( "msg", Just (Elm.Annotation.named [] "Msg") )
                                 ( "model", Just (Elm.Annotation.named [] "Model") )
@@ -407,9 +578,16 @@ userFunction moduleName definitions =
                                     |> Elm.Annotation.maybe
                                     |> Just
                                 )
-                                ( "sharedModel", Nothing )
+                                ( "sharedModel", Just (Elm.Annotation.named [ "Shared" ] "Model") )
                                 ( "app", Just appType )
-                                localState.init
+                                (\pageUrl sharedModel app ->
+                                    localState.init pageUrl sharedModel app
+                                        |> Elm.withType
+                                            (Elm.Annotation.tuple
+                                                (localType "Model")
+                                                effectType
+                                            )
+                                )
                         , subscriptionsFn =
                             Elm.Declare.fn5
                                 "subscriptions"
@@ -419,11 +597,14 @@ userFunction moduleName definitions =
                                     |> Elm.Annotation.maybe
                                     |> Just
                                 )
-                                ( "routeParams", Nothing )
-                                ( "path", Nothing )
-                                ( "sharedModel", Nothing )
-                                ( "model", Nothing )
-                                localState.subscriptions
+                                ( "routeParams", "RouteParams" |> Elm.Annotation.named [] |> Just )
+                                ( "path", Elm.Annotation.namedWith [ "Path" ] "Path" [] |> Just )
+                                ( "sharedModel", Just (Elm.Annotation.named [ "Shared" ] "Model") )
+                                ( "model", localType "Model" |> Just )
+                                (\maybePageUrl routeParams path sharedModel model ->
+                                    localState.subscriptions maybePageUrl routeParams path sharedModel model
+                                        |> Elm.withType (Elm.Annotation.namedWith [] "Sub" [ localType "Msg" ])
+                                )
                         , state = localState.state
                         }
                     )
@@ -439,10 +620,7 @@ userFunction moduleName definitions =
                                 |> Elm.withType
                                     (case definitions.action of
                                         Pages _ ->
-                                            Elm.Annotation.namedWith [ "DataSource" ]
-                                                "DataSource"
-                                                [ Elm.Annotation.named [] "Data"
-                                                ]
+                                            throwableTask (Elm.Annotation.named [] "Data")
 
                                         Action _ ->
                                             myType "Data"
@@ -464,10 +642,7 @@ userFunction moduleName definitions =
                                         |> Elm.withType
                                             (case definitions.action of
                                                 Pages _ ->
-                                                    Elm.Annotation.namedWith [ "DataSource" ]
-                                                        "DataSource"
-                                                        [ Elm.Annotation.named [] "Data"
-                                                        ]
+                                                    throwableTask (Elm.Annotation.named [] "Data")
 
                                                 Action _ ->
                                                     myType "Data"
@@ -530,7 +705,7 @@ userFunction moduleName definitions =
                 )
             )
          , Elm.declaration "route"
-            (case definitions.action of
+            ((case definitions.action of
                 Action _ ->
                     serverRender_
                         { action =
@@ -550,16 +725,14 @@ userFunction moduleName definitions =
                         }
 
                 Pages _ ->
-                    (case actionFn of
+                    case actionFn of
                         Nothing ->
                             single_
                                 { data =
                                     dataFn.call []
                                         |> Elm.withType
-                                            (Elm.Annotation.namedWith [ "DataSource" ]
-                                                "DataSource"
-                                                [ Elm.Annotation.named [] "Data"
-                                                ]
+                                            (throwableTask
+                                                (Elm.Annotation.named [] "Data")
                                             )
                                 , head = headFn.call
                                 }
@@ -571,47 +744,43 @@ userFunction moduleName definitions =
                                     \routeParams ->
                                         dataFn.call [ routeParams ]
                                             |> Elm.withType
-                                                (Elm.Annotation.namedWith [ "DataSource" ]
-                                                    "DataSource"
-                                                    [ Elm.Annotation.named [] "Data"
-                                                    ]
-                                                )
+                                                (throwableTask (Elm.Annotation.named [] "Data"))
                                 , head = headFn.call
                                 }
-                    )
-                        |> (case localDefinitions of
-                                Just local ->
-                                    buildWithLocalState_
-                                        { view = viewFn.call
-                                        , update = local.updateFn.call
-                                        , init = local.initFn.call
-                                        , subscriptions = local.subscriptionsFn.call
-                                        , state = local.state
-                                        }
-                                        >> Elm.withType
-                                            (Elm.Annotation.namedWith [ "RouteBuilder" ]
-                                                "StatefulRoute"
-                                                [ localType "RouteParams"
-                                                , localType "Data"
-                                                , localType "ActionData"
-                                                , localType "Model"
-                                                , localType "Msg"
-                                                ]
-                                            )
+             )
+                |> (case localDefinitions of
+                        Just local ->
+                            buildWithLocalState_
+                                { view = viewFn.call
+                                , update = local.updateFn.call
+                                , init = local.initFn.call
+                                , subscriptions = local.subscriptionsFn.call
+                                , state = local.state
+                                }
+                                >> Elm.withType
+                                    (Elm.Annotation.namedWith [ "RouteBuilder" ]
+                                        "StatefulRoute"
+                                        [ localType "RouteParams"
+                                        , localType "Data"
+                                        , localType "ActionData"
+                                        , localType "Model"
+                                        , localType "Msg"
+                                        ]
+                                    )
 
-                                Nothing ->
-                                    buildNoState_
-                                        { view = viewFn.call Elm.unit
-                                        }
-                                        >> Elm.withType
-                                            (Elm.Annotation.namedWith [ "RouteBuilder" ]
-                                                "StatelessRoute"
-                                                [ localType "RouteParams"
-                                                , localType "Data"
-                                                , localType "ActionData"
-                                                ]
-                                            )
-                           )
+                        Nothing ->
+                            buildNoState_
+                                { view = viewFn.call Elm.unit
+                                }
+                                >> Elm.withType
+                                    (Elm.Annotation.namedWith [ "RouteBuilder" ]
+                                        "StatelessRoute"
+                                        [ localType "RouteParams"
+                                        , localType "Data"
+                                        , localType "ActionData"
+                                        ]
+                                    )
+                   )
             )
          ]
             ++ (case localDefinitions of
@@ -646,14 +815,13 @@ myType : String -> Elm.Annotation.Annotation
 myType dataType =
     Elm.Annotation.namedWith [ "Server", "Request" ]
         "Parser"
-        [ Elm.Annotation.namedWith [ "DataSource" ]
-            "DataSource"
-            [ Elm.Annotation.namedWith [ "Server", "Response" ]
+        [ throwableTask
+            (Elm.Annotation.namedWith [ "Server", "Response" ]
                 "Response"
                 [ Elm.Annotation.named [] dataType
                 , Elm.Annotation.named [ "ErrorPage" ] "ErrorPage"
                 ]
-            ]
+            )
         ]
 
 
@@ -688,10 +856,8 @@ serverRender_ serverRenderArg =
                                     (Elm.Annotation.namedWith
                                         [ "Server", "Request" ]
                                         "Parser"
-                                        [ Elm.Annotation.namedWith
-                                            [ "DataSource" ]
-                                            "DataSource"
-                                            [ Elm.Annotation.namedWith
+                                        [ throwableTask
+                                            (Elm.Annotation.namedWith
                                                 [ "Server", "Response" ]
                                                 "Response"
                                                 [ Elm.Annotation.var "data"
@@ -700,7 +866,7 @@ serverRender_ serverRenderArg =
                                                     "ErrorPage"
                                                     []
                                                 ]
-                                            ]
+                                            )
                                         ]
                                     )
                               )
@@ -710,10 +876,8 @@ serverRender_ serverRenderArg =
                                     (Elm.Annotation.namedWith
                                         [ "Server", "Request" ]
                                         "Parser"
-                                        [ Elm.Annotation.namedWith
-                                            [ "DataSource" ]
-                                            "DataSource"
-                                            [ Elm.Annotation.namedWith
+                                        [ throwableTask
+                                            (Elm.Annotation.namedWith
                                                 [ "Server", "Response" ]
                                                 "Response"
                                                 [ Elm.Annotation.var "action"
@@ -722,7 +886,7 @@ serverRender_ serverRenderArg =
                                                     "ErrorPage"
                                                     []
                                                 ]
-                                            ]
+                                            )
                                         ]
                                     )
                               )
@@ -785,19 +949,11 @@ preRender_ serverRenderArg =
                             [ ( "data"
                               , Elm.Annotation.function
                                     [ Elm.Annotation.var "routeParams" ]
-                                    (Elm.Annotation.namedWith
-                                        [ "DataSource" ]
-                                        "DataSource"
-                                        [ Elm.Annotation.var "data"
-                                        ]
-                                    )
+                                    (throwableTask (Elm.Annotation.var "data"))
                               )
                             , ( "pages"
-                              , Elm.Annotation.namedWith
-                                    [ "DataSource" ]
-                                    "DataSource"
-                                    [ Elm.Annotation.list (Elm.Annotation.named [] "RouteParams")
-                                    ]
+                              , throwableTask
+                                    (Elm.Annotation.list (Elm.Annotation.named [] "RouteParams"))
                               )
                             , ( "head"
                               , Elm.Annotation.function
@@ -849,11 +1005,7 @@ single_ serverRenderArg =
                     (Elm.Annotation.function
                         [ Elm.Annotation.record
                             [ ( "data"
-                              , Elm.Annotation.namedWith
-                                    [ "DataSource" ]
-                                    "DataSource"
-                                    [ Elm.Annotation.var "data"
-                                    ]
+                              , throwableTask (Elm.Annotation.var "data")
                               )
                             , ( "head"
                               , Elm.Annotation.function
@@ -977,11 +1129,11 @@ buildWithLocalState_ buildWithLocalStateArg buildWithLocalStateArg0 =
                                         ]
                                     ]
                                     (Elm.Annotation.tuple
-                                        (Elm.Annotation.var "model")
+                                        (Elm.Annotation.named [] "Model")
                                         (Elm.Annotation.namedWith
                                             [ "Effect" ]
                                             "Effect"
-                                            [ Elm.Annotation.var "msg" ]
+                                            [ Elm.Annotation.named [] "Msg" ]
                                         )
                                     )
                               )
@@ -995,30 +1147,30 @@ buildWithLocalState_ buildWithLocalStateArg buildWithLocalStateArg0 =
                                     , Elm.Annotation.namedWith
                                         [ "RouteBuilder" ]
                                         "StaticPayload"
-                                        [ Elm.Annotation.var "data"
-                                        , Elm.Annotation.var "action"
-                                        , Elm.Annotation.var "routeParams"
+                                        [ localType "Data"
+                                        , localType "ActionData"
+                                        , localType "RouteParams"
                                         ]
-                                    , Elm.Annotation.var "msg"
-                                    , Elm.Annotation.var "model"
+                                    , Elm.Annotation.named [] "Msg"
+                                    , Elm.Annotation.named [] "Model"
                                     ]
                                     (case buildWithLocalStateArg.state of
                                         LocalState ->
                                             Elm.Annotation.tuple
-                                                (Elm.Annotation.var "model")
+                                                (localType "Model")
                                                 (Elm.Annotation.namedWith
                                                     [ "Effect" ]
                                                     "Effect"
-                                                    [ Elm.Annotation.var "msg" ]
+                                                    [ localType "Msg" ]
                                                 )
 
                                         SharedState ->
                                             Elm.Annotation.triple
-                                                (Elm.Annotation.var "model")
+                                                (localType "Model")
                                                 (Elm.Annotation.namedWith
                                                     [ "Effect" ]
                                                     "Effect"
-                                                    [ Elm.Annotation.var "msg" ]
+                                                    [ localType "Msg" ]
                                                 )
                                                 (Elm.Annotation.maybe (Elm.Annotation.named [ "Shared" ] "Msg"))
                                     )
@@ -1036,25 +1188,25 @@ buildWithLocalState_ buildWithLocalStateArg buildWithLocalStateArg0 =
                                     , Elm.Annotation.namedWith [ "Shared" ] "Model" []
                                     , Elm.Annotation.var "model"
                                     ]
-                                    (Elm.Annotation.namedWith [] "Sub" [ Elm.Annotation.var "msg" ])
+                                    (Elm.Annotation.namedWith [] "Sub" [ localType "Msg" ])
                               )
                             ]
                         , Elm.Annotation.namedWith
                             [ "RouteBuilder" ]
                             "Builder"
-                            [ Elm.Annotation.var "routeParams"
-                            , Elm.Annotation.var "data"
-                            , Elm.Annotation.var "action"
+                            [ localType "RouteParams"
+                            , localType "Data"
+                            , localType "ActionData"
                             ]
                         ]
                         (Elm.Annotation.namedWith
                             [ "RouteBuilder" ]
                             "StatefulRoute"
-                            [ Elm.Annotation.var "routeParams"
-                            , Elm.Annotation.var "data"
-                            , Elm.Annotation.var "action"
-                            , Elm.Annotation.var "model"
-                            , Elm.Annotation.var "msg"
+                            [ localType "RouteParams"
+                            , localType "Data"
+                            , localType "ActionData"
+                            , localType "Model"
+                            , localType "Msg"
                             ]
                         )
                     )
@@ -1186,9 +1338,9 @@ buildNoState_ buildNoStateArg buildNoStateArg0 =
                                     , Elm.Annotation.namedWith
                                         [ "RouteBuilder" ]
                                         "StaticPayload"
-                                        [ Elm.Annotation.var "data"
-                                        , Elm.Annotation.var "action"
-                                        , Elm.Annotation.var "routeParams"
+                                        [ Elm.Annotation.named [] "Data"
+                                        , Elm.Annotation.named [] "ActionData"
+                                        , Elm.Annotation.named [] "RouteParams"
                                         ]
                                     ]
                                     (Elm.Annotation.namedWith
@@ -1205,17 +1357,17 @@ buildNoState_ buildNoStateArg buildNoStateArg0 =
                         , Elm.Annotation.namedWith
                             [ "RouteBuilder" ]
                             "Builder"
-                            [ Elm.Annotation.var "routeParams"
-                            , Elm.Annotation.var "data"
-                            , Elm.Annotation.var "action"
+                            [ Elm.Annotation.named [] "RouteParams"
+                            , Elm.Annotation.named [] "Data"
+                            , Elm.Annotation.named [] "ActionData"
                             ]
                         ]
                         (Elm.Annotation.namedWith
                             [ "RouteBuilder" ]
                             "StatefulRoute"
-                            [ Elm.Annotation.var "routeParams"
-                            , Elm.Annotation.var "data"
-                            , Elm.Annotation.var "action"
+                            [ Elm.Annotation.named [] "RouteParams"
+                            , Elm.Annotation.named [] "Data"
+                            , Elm.Annotation.named [] "ActionData"
                             , Elm.Annotation.record []
                             , Elm.Annotation.unit
                             ]
@@ -1243,3 +1395,20 @@ buildNoState_ buildNoStateArg buildNoStateArg0 =
             ]
         , buildNoStateArg0
         ]
+
+
+effectType : Elm.Annotation.Annotation
+effectType =
+    Elm.Annotation.namedWith
+        [ "Effect" ]
+        "Effect"
+        [ Elm.Annotation.named [] "Msg" ]
+
+
+throwableTask : Elm.Annotation.Annotation -> Elm.Annotation.Annotation
+throwableTask dataType =
+    Elm.Annotation.namedWith [ "BackendTask" ]
+        "BackendTask"
+        [ Elm.Annotation.named [ "Exception" ] "Throwable"
+        , dataType
+        ]