elm-pages 3.0.0-beta.9 → 3.0.0

package/src/Pages/Form.elm

@@ -0,0 +1,340 @@
+module Pages.Form exposing
+    ( renderHtml, renderStyledHtml
+    , Options
+    , withConcurrent
+    , FormWithServerValidations, Handler
+    )
+
+{-| `elm-pages` has a built-in integration with [`dillonkearns/elm-form`](https://package.elm-lang.org/packages/dillonkearns/elm-form/latest/). See the `dillonkearns/elm-form`
+docs and examples for more information on how to define your [`Form`](https://package.elm-lang.org/packages/dillonkearns/elm-form/latest/Form). This module is the interface for rendering your `Form` in your `elm-pages` app.
+
+By rendering your `Form` with this module,
+you get all of the boilerplate managed for you automatically by the `elm-pages` framework. That means you do not need to use `Form.init`, `Form.update`, `Form.Model` since these are all
+abstracted away. In addition to that, in-flight form state is automatically managed for you and exposed through the `app` argument in your Route modules.
+
+This means that you can declaratively derive Pending UI or Optimistic UI state from `app.navigation` or `app.concurrentSubmissions` in your Route modules, and even build a
+rich dynamic page that shows pending submissions in the UI without using your Route module's `Model`! This is the power of this abstraction - it's less error-prone to
+declaratively derive state rather than imperatively managing your `Model`.
+
+
+## Rendering Forms
+
+@docs renderHtml, renderStyledHtml
+
+@docs Options
+
+
+## Form Submission Strategies
+
+When you render with [`Pages.Form.renderHtml`](#renderHtml) or [`Pages.Form.renderStyledHtml`](#renderStyledHtml),
+`elm-pages` progressively enhances form submissions to manage the requests through Elm (instead of as a vanilla HTML form submission, which performs a full page reload).
+
+By default, `elm-pages` Forms will use the same mental model as the browser's default form submission behavior. That is, the form submission state will be tied to the page's navigation state.
+If you click a link while a form is submitting, the form submission will be cancelled and the page will navigate to the new page. Conceptually, you can think of this as being tied to the navigation state.
+A form submission is part of the page's navigation state, and so is a page navigation. So if you have a page with an edit form, a delete form (no inputs but only a delete button), and a link to a new page,
+you can interact with any of these and it will cancel the previous interactions.
+
+You can access this state through `app.navigation` in your `Route` module, which is a value of type [`Pages.Navigation`](Pages-Navigation).
+
+This default form submission strategy is a good fit for more linear actions. This is more traditional server submission behavior that you might be familiar with from Rails or other server frameworks without JavaScript enhancement.
+
+@docs withConcurrent
+
+
+## Server-Side Validation
+
+@docs FormWithServerValidations, Handler
+
+-}
+
+import BackendTask exposing (BackendTask)
+import Dict exposing (Dict)
+import FatalError exposing (FatalError)
+import Form
+import Form.Handler
+import Form.Validation exposing (Validation)
+import Html
+import Html.Styled
+import Pages.ConcurrentSubmission
+import Pages.Internal.Msg
+import Pages.Navigation
+import PagesMsg exposing (PagesMsg)
+
+
+{-| -}
+type alias FormWithServerValidations error combined input view =
+    Form.Form
+        error
+        { combine :
+            Validation
+                error
+                (BackendTask FatalError (Validation error combined Never Never))
+                Never
+                Never
+        , view : Form.Context error input -> view
+        }
+        (BackendTask FatalError (Validation error combined Never Never))
+        input
+
+
+{-| -}
+type alias Handler error combined =
+    Form.Handler.Handler error (BackendTask FatalError (Validation error combined Never Never))
+
+
+{-| A replacement for [`Form.Options`](https://package.elm-lang.org/packages/dillonkearns/elm-form/latest/Form#Options)
+with some extra configuration for the `elm-pages` integration. You can use this type to annotate your form's options.
+-}
+type alias Options error parsed input msg =
+    Form.Options error parsed input msg { concurrent : Bool }
+
+
+{-| Instead of using the default submission strategy (tied to the page's navigation state), you can use `withConcurrent`.
+`withConcurrent` allows multiple form submissions to be in flight at the same time. It is useful for more dynamic applications. A good rule of thumb
+is if you could have multiple pending spinners on the page at the same time, you should use `withConcurrent`. For example, if you have a page with a list of items,
+say a Twitter clone. If you click the like button on a Tweet, it won't result in a page navigation. You can click the like button on multiple Tweets at the same time
+and they will all submit independently.
+
+In the case of Twitter, there isn't an indication of a loading spinner on the like button because it is expected that it will succeed. This is an example of a User Experience (UX) pattern
+called Optimistic UI. Since it is very likely that liking a Tweet will be successful, the UI will update the UI as if it has immediately succeeded even though the request is still in flight.
+If the request fails, the UI will be updated to reflect the failure with an animation to show that something went wrong.
+
+The `withConcurrent` is a good fit for either of these UX patterns (Optimistic UI or Pending UI, i.e. showing a loading spinner). You can derive either of these
+visual states from the `app.concurrentSubmissions` field in your `Route` module.
+
+You can call `withConcurrent` on your `Form.Options`. Note that while `withConcurrent` will allow multiple form submissions to be in flight at the same time independently,
+the ID of the Form will still have a unique submission. For example, if you click submit on a form with the ID `"edit-123"` and then submit it again before the first submission has completed,
+the second submission will cancel the first submission. So it is important to use unique IDs for forms that represent unique operations.
+
+    import Form
+    import Pages.Form
+
+    todoItemView app todo =
+        deleteItemForm
+            |> Pages.Form.renderHtml []
+                (Form.options ("delete-" ++ todo.id)
+                    |> Form.withInput todo
+                    |> Pages.Form.withConcurrent
+                )
+                app
+
+-}
+withConcurrent : Options error parsed input msg -> Options error parsed input msg
+withConcurrent options_ =
+    { options_ | extras = Just { concurrent = True } }
+
+
+
+--init :
+--    (parsed -> combined)
+--    -> FormWithServerValidations error parsed input view
+--    -> Handler error combined
+--init mapFn form =
+--    Form.Handler.init
+--        (\something ->
+--            let
+--                foo : parsed
+--                foo =
+--                    something
+--
+--                goal : BackendTask FatalError (Validation error combined Never Never)
+--                goal =
+--                    Debug.todo ""
+--            in
+--            --Form.Validation.map (BackendTask.map (mapFn something))
+--            --Debug.todo ""
+--            goal
+--        )
+--        form
+
+
+{-| A replacement for `Form.renderHtml` from `dillonkearns/elm-form` that integrates with `elm-pages`. Use this to render your [`Form`](https://package.elm-lang.org/packages/dillonkearns/elm-form/latest/Form)
+as `elm/html` `Html`.
+-}
+renderHtml :
+    List (Html.Attribute (PagesMsg userMsg))
+    -> Options error parsed input userMsg
+    ->
+        { --path : Path
+          --, url : Maybe PageUrl
+          --, action : Maybe action
+          app
+            | pageFormState : Form.Model
+            , navigation : Maybe Pages.Navigation.Navigation
+            , concurrentSubmissions : Dict String (Pages.ConcurrentSubmission.ConcurrentSubmission (Maybe action))
+        }
+    -> Form.Form error { combine : Validation error parsed named constraints, view : Form.Context error input -> List (Html.Html (PagesMsg userMsg)) } parsed input
+    -> Html.Html (PagesMsg userMsg)
+renderHtml attrs options_ app form_ =
+    let
+        concurrent : Bool
+        concurrent =
+            options_.extras |> Maybe.map .concurrent |> Maybe.withDefault False
+    in
+    form_
+        |> Form.renderHtml
+            { state = app.pageFormState
+            , submitting =
+                (case app.concurrentSubmissions |> Dict.get options_.id of
+                    Just { status } ->
+                        case status of
+                            Pages.ConcurrentSubmission.Complete _ ->
+                                False
+
+                            Pages.ConcurrentSubmission.Submitting ->
+                                True
+
+                            Pages.ConcurrentSubmission.Reloading _ ->
+                                True
+
+                    Nothing ->
+                        False
+                )
+                    || (case app.navigation of
+                            Just (Pages.Navigation.Submitting formData) ->
+                                formData.id == Just options_.id
+
+                            Just (Pages.Navigation.LoadAfterSubmit submitData _ _) ->
+                                submitData.id == Just options_.id
+
+                            Just (Pages.Navigation.Loading _ _) ->
+                                False
+
+                            Nothing ->
+                                False
+                       )
+            , toMsg = Pages.Internal.Msg.FormMsg
+            }
+            { id = options_.id
+            , method = options_.method
+            , input = options_.input
+            , serverResponse = options_.serverResponse
+            , action = options_.action
+            , onSubmit =
+                Just
+                    (\submission ->
+                        case submission.parsed of
+                            Form.Valid _ ->
+                                Pages.Internal.Msg.Submit
+                                    { useFetcher = concurrent
+                                    , action = submission.action
+                                    , fields = submission.fields
+                                    , method = submission.method
+                                    , msg =
+                                        options_.onSubmit
+                                            |> Maybe.map
+                                                (\onSubmit -> onSubmit submission)
+                                    , id = options_.id
+                                    , valid = True
+                                    }
+
+                            Form.Invalid _ _ ->
+                                Pages.Internal.Msg.Submit
+                                    { useFetcher = concurrent
+                                    , action = submission.action
+                                    , method = submission.method
+                                    , fields = submission.fields
+                                    , msg = options_.onSubmit |> Maybe.map (\onSubmit -> onSubmit submission)
+                                    , id = options_.id
+                                    , valid = False
+                                    }
+                    )
+            , extras = Nothing
+            }
+            attrs
+
+
+{-| A replacement for `Form.renderStyledHtml` from `dillonkearns/elm-form` that integrates with `elm-pages`. Use this to render your [`Form`](https://package.elm-lang.org/packages/dillonkearns/elm-form/latest/Form)
+as `rtfeldman/elm-css` `Html.Styled.Html`.
+-}
+renderStyledHtml :
+    List (Html.Styled.Attribute (PagesMsg userMsg))
+    -> Options error parsed input userMsg
+    ->
+        { --path : Path
+          --, url : Maybe PageUrl
+          --, action : Maybe action
+          app
+            | pageFormState : Form.Model
+            , navigation : Maybe Pages.Navigation.Navigation
+            , concurrentSubmissions : Dict String (Pages.ConcurrentSubmission.ConcurrentSubmission (Maybe action))
+        }
+    -> Form.Form error { combine : Validation error parsed named constraints, view : Form.Context error input -> List (Html.Styled.Html (PagesMsg userMsg)) } parsed input
+    -> Html.Styled.Html (PagesMsg userMsg)
+renderStyledHtml attrs options_ app form_ =
+    let
+        concurrent : Bool
+        concurrent =
+            options_.extras |> Maybe.map .concurrent |> Maybe.withDefault False
+    in
+    form_
+        |> Form.renderStyledHtml
+            { state = app.pageFormState
+            , toMsg = Pages.Internal.Msg.FormMsg
+            , submitting =
+                (case app.concurrentSubmissions |> Dict.get options_.id of
+                    Just { status } ->
+                        case status of
+                            Pages.ConcurrentSubmission.Complete _ ->
+                                False
+
+                            Pages.ConcurrentSubmission.Submitting ->
+                                True
+
+                            Pages.ConcurrentSubmission.Reloading _ ->
+                                True
+
+                    Nothing ->
+                        False
+                )
+                    || (case app.navigation of
+                            Just (Pages.Navigation.Submitting formData) ->
+                                formData.id == Just options_.id
+
+                            Just (Pages.Navigation.LoadAfterSubmit submitData _ _) ->
+                                submitData.id == Just options_.id
+
+                            Just (Pages.Navigation.Loading _ _) ->
+                                False
+
+                            Nothing ->
+                                False
+                       )
+            }
+            { id = options_.id
+            , method = options_.method
+            , input = options_.input
+            , serverResponse = options_.serverResponse
+            , action = options_.action
+            , onSubmit =
+                Just
+                    (\submission ->
+                        case submission.parsed of
+                            Form.Valid _ ->
+                                Pages.Internal.Msg.Submit
+                                    { useFetcher = concurrent
+                                    , action = submission.action
+                                    , fields = submission.fields
+                                    , method = submission.method
+                                    , msg =
+                                        options_.onSubmit
+                                            |> Maybe.map
+                                                (\onSubmit -> onSubmit submission)
+                                    , id = options_.id
+                                    , valid = True
+                                    }
+
+                            Form.Invalid _ _ ->
+                                Pages.Internal.Msg.Submit
+                                    { useFetcher = concurrent
+                                    , action = submission.action
+                                    , fields = submission.fields
+                                    , method = submission.method
+                                    , msg = options_.onSubmit |> Maybe.map (\onSubmit -> onSubmit submission)
+                                    , id = options_.id
+                                    , valid = False
+                                    }
+                    )
+            , extras = Nothing
+            }
+            attrs

package/src/Pages/FormData.elm

@@ -0,0 +1,19 @@
+module Pages.FormData exposing (FormData)
+
+{-|
+
+@docs FormData
+
+-}
+
+import Form
+
+
+{-| The payload for form submissions.
+-}
+type alias FormData =
+    { fields : List ( String, String )
+    , method : Form.Method
+    , action : String
+    , id : Maybe String
+    }

package/src/Pages/GeneratorProgramConfig.elm

@@ -0,0 +1,15 @@
+module Pages.GeneratorProgramConfig exposing (GeneratorProgramConfig)
+
+import Json.Decode as Decode
+import Json.Encode
+import Pages.Internal.Platform.ToJsPayload
+import Pages.Script exposing (Script)
+
+
+type alias GeneratorProgramConfig =
+    { data : Script
+    , toJsPort : Json.Encode.Value -> Cmd Never
+    , fromJsPort : Sub Decode.Value
+    , gotBatchSub : Sub Decode.Value
+    , sendPageData : Pages.Internal.Platform.ToJsPayload.NewThingForPort -> Cmd Never
+    }

package/src/Pages/Internal/FatalError.elm

@@ -0,0 +1,5 @@
+module Pages.Internal.FatalError exposing (FatalError(..))
+
+
+type FatalError
+    = FatalError { title : String, body : String }

package/src/Pages/Internal/Msg.elm

@@ -0,0 +1,93 @@
+module Pages.Internal.Msg exposing
+    ( Msg(..)
+      --, fetcherOnSubmit
+    , map
+      --, onSubmit
+      --, submitIfValid
+    )
+
+--import Form.FormData exposing (FormData)
+--import FormDecoder
+
+import Form exposing (Method)
+
+
+{-| -}
+type Msg userMsg
+    = UserMsg userMsg
+    | Submit { valid : Bool, method : Method, action : String, fields : List ( String, String ), id : String, msg : Maybe userMsg, useFetcher : Bool }
+      --| SubmitIfValid String FormData Bool (Maybe userMsg)
+      --| SubmitFetcher String FormData Bool (Maybe userMsg)
+    | FormMsg (Form.Msg (Msg userMsg))
+    | NoOp
+
+
+
+--{-| -}
+--onSubmit : Attribute (Msg userMsg)
+--onSubmit =
+--    FormDecoder.formDataOnSubmit
+--        |> Attr.map Submit
+--
+--
+--{-| -}
+--submitIfValid : Maybe ({ fields : List ( String, String ) } -> userMsg) -> String -> (List ( String, String ) -> Bool) -> Attribute (Msg userMsg)
+--submitIfValid userMsg formId isValid =
+--    FormDecoder.formDataOnSubmit
+--        |> Attr.map
+--            (\formData ->
+--                SubmitIfValid formId
+--                    formData
+--                    (isValid formData.fields)
+--                    (userMsg
+--                        |> Maybe.map
+--                            (\toUserMsg ->
+--                                toUserMsg { fields = formData.fields }
+--                            )
+--                    )
+--            )
+--
+--
+--
+--{-| -}
+--fetcherOnSubmit : Maybe ({ fields : List ( String, String ) } -> userMsg) -> String -> (List ( String, String ) -> Bool) -> Attribute (Msg userMsg)
+--fetcherOnSubmit userMsg formId isValid =
+--    FormDecoder.formDataOnSubmit
+--        |> Attr.map
+--            (\formData ->
+--                SubmitFetcher formId
+--                    formData
+--                    (isValid formData.fields)
+--                    (userMsg
+--                        |> Maybe.map
+--                            (\toUserMsg ->
+--                                toUserMsg { fields = formData.fields }
+--                            )
+--                    )
+--            )
+
+
+{-| -}
+map : (a -> b) -> Msg a -> Msg b
+map mapFn msg =
+    -- elm-review: known-unoptimized-recursion
+    case msg of
+        UserMsg userMsg ->
+            UserMsg (mapFn userMsg)
+
+        Submit info ->
+            Submit
+                { valid = info.valid
+                , fields = info.fields
+                , action = info.action
+                , id = info.id
+                , msg = Maybe.map mapFn info.msg
+                , method = info.method
+                , useFetcher = info.useFetcher
+                }
+
+        FormMsg value ->
+            FormMsg (Form.mapMsg (map mapFn) value)
+
+        NoOp ->
+            NoOp

package/src/Pages/Internal/NotFoundReason.elm

@@ -9,7 +9,7 @@ module Pages.Internal.NotFoundReason exposing (ModuleContext, NotFoundReason(..)
 import Html exposing (Html)
 import Html.Attributes as Attr
 import Pages.Internal.RoutePattern exposing (RoutePattern)
-import Path exposing (Path)
+import UrlPath exposing (UrlPath)
 
 
 {-| -}
@@ -22,7 +22,7 @@ type alias ModuleContext =
 
 {-| -}
 type alias Payload =
-    { path : Path
+    { path : UrlPath
     , reason : NotFoundReason
     }
 
@@ -58,7 +58,7 @@ document pathPatterns payload =
                     , Html.code []
                         [ Html.text
                             (payload.path
-                                |> Path.toAbsolute
+                                |> UrlPath.toAbsolute
                             )
                         ]
                     , Html.text " Did you mean to go to one of these routes:"
@@ -85,7 +85,7 @@ document pathPatterns payload =
                     , Html.code []
                         [ Html.text
                             (payload.path
-                                |> Path.toAbsolute
+                                |> UrlPath.toAbsolute
                             )
                         ]
                     , Html.text " successfully matched the route "