How do I get the current time in Elm 0.17/0.18?

前端 未结 6 1967
悲哀的现实
悲哀的现实 2020-12-14 21:00

I had asked this question already:
How do I get the current time in Elm?

And answered it by writing my own (now deprecated) variant of start-ap

相关标签:
6条回答
  • 2020-12-14 21:12

    elm-0.18 full example https://runelm.io/c/72i

    import Time exposing (Time)
    import Html exposing (..)
    import Html.Events exposing (onClick)
    import Task
    
    type Msg
        = GetTime
        | NewTime Time
    
    type alias Model =
        { currentTime : Maybe Time
        }
    
    view : Model -> Html Msg
    view model =
        let
            currentTime =
                case model.currentTime of
                    Nothing ->
                        text ""
    
                    Just theTime ->
                        text <| toString theTime
        in
            div []
                [ button [ onClick GetTime ] [ text "get time" ]
                , currentTime
                ]
    
    update : Msg -> Model -> ( Model, Cmd Msg )
    update msg model =
        case msg of
            GetTime ->
                model ! [ Task.perform NewTime Time.now ]
    
            NewTime time ->
                { model | currentTime = Just time } ! []
    
    main : Program Never Model Msg
    main =
        program
            { init = init
            , update = update
            , view = view
            , subscriptions = always Sub.none
            }
    
    init : ( Model, Cmd Msg )
    init =
        { currentTime = Nothing } ! []
    
    • based on example from http://package.elm-lang.org/packages/elm-lang/core/latest/Task#perform
    • https://github.com/knewter/elm-date-playground
    • https://becoming-functional.com/tasks-in-elm-0-18-2b64a35fd82e
    0 讨论(0)
  • 2020-12-14 21:12

    You could create a Native module, and then expose a timestamp function that gets the time from Date.now() in JavaScript.

    This is roughly what it would look like:

    Timestamp.elm

    module Timestamp exposing (timestamp)
    
    import Native.Timestamp
    
    timestamp : () -> Int
    timestamp a = Native.Timestamp.timestamp a
    

    Native/Timestamp.js

    var _YourRepoUserName$your_repo$Native_Timestamp = function() {
      return { timestamp: function(a) {return Date.now()}
    }
    

    Main.elm

    port module Main exposing (..)
    
    import Timestamp exposing (timestamp)
    

    then you can use (timestamp ()) anywhere in Elm to get the current timestamp as an Int.


    Note: I used timestamp : () -> Int because I couldn't get it to work otherwise. timestamp : Int simply returned the hardcoded time of first load.

    Let me know if this could be improved.

    0 讨论(0)
  • 2020-12-14 21:13

    Following a discussion about this question on Slack, here is an alternative implementation without functions in the Msg. As with the accepted answer, the model is only updated when the Time.now Task succeeds.

    import Html exposing (div, button, text)
    import Html.App as App
    import Html.Events exposing (onClick)
    import Task
    import Time exposing (Time)
    
    
    main =
        App.program
            { init = init
            , view = view
            , update = update
            , subscriptions = (\_ -> Sub.none)
            }
    
    
    view model =
        div []
            [ button [ onClick Decrement ] [ text "-" ]
            , div [] [ text (toString model) ]
            , button [ onClick Increment ] [ text "+" ]
            ]
    
    
    type Msg
        = NoOp
        | Increment 
        | Decrement
        | GetTimeSuccess Msg Time
        | GetTimeFailure String
    
    
    type alias Model =
        { count : Int, updateTime : Result String Time }
    
    init : (Model , Cmd Msg)
    init = 
      ( { count = 0
        , updateTime = Err "No time yet!"
        }
      , Task.perform  GetTimeFailure  (GetTimeSuccess NoOp) Time.now
      )
    
    
    update : Msg -> Model -> ( Model, Cmd Msg )
    update msg model =
        case msg of
            NoOp -> (model, Cmd.none)
    
            Increment ->
                ( model
                , Task.perform  GetTimeFailure  (GetTimeSuccess Increment) Time.now
                )
    
            Decrement ->
                ( model
                , Task.perform  GetTimeFailure (GetTimeSuccess Decrement) Time.now
                )
    
    
            GetTimeSuccess Increment time ->
                ( { model | count = model.count + 1, updateTime = Ok time}
                , Cmd.none
                )
    
            GetTimeSuccess Decrement time ->
                ( { model | count = model.count - 1, updateTime = Ok time}
                , Cmd.none
                )            
    
            GetTimeSuccess _ time ->
                ( { model |  updateTime = Ok time}
                , Cmd.none
                )
    
            GetTimeFailure msg ->
                ( { model | updateTime = Err msg}
                , Cmd.none
                )
    
    0 讨论(0)
  • 2020-12-14 21:16

    I have an answer to my own question (based on a suggestion by amilner42). I'm using this solution in my current code.

    I very much like the solution by @w.brian, but functions in messages break the debugger.
    I like the solution by @robertjlooby, and this is is very similar, though it does away with an extra type, and is updated for 0.18.

    update : Msg -> Model -> ( Model, Cmd Msg )
    update msg model =
        case msg of
            NoOp ->
                model ! []
    
            TickThen msg ->
                model ! [ Task.perform (Tock msg) Time.now ]
    
            Tock msg time ->
                    updateTimeStampedModel msg { model | time = time }
    
            otherMsg ->
                update (TickThen msg) model
    
    
    updateTimeStampedModel : Msg -> Model -> ( Model, Cmd Msg )
    updateTimeStampedModel msg model =
        case msg of
            NoOp ->
                update msg model
    
            TickThen _ ->
                update msg model
    
            Tock _ _ ->
                update msg model
    
            -- ALL OTHER MESSAGES ARE HANDLED HERE, AND ARE CODED TO ASSUME model.time IS UP-TO-DATE.
    
    0 讨论(0)
  • 2020-12-14 21:23

    I've found what I believe to be a more elegant solution than the accepted answer. Instead of having two separate models, the GetTimeAndThen message holds a handler that returns a message. The code feels much more natural and elm-like, and can be used in a more general fashion:

    module Main exposing (..)
    
    import Html exposing (div, button, text)
    import Html.App as App
    import Html.Events exposing (onClick)
    import Task
    import Time exposing (Time)
    
    
    main =
        App.program
            { init = ( Model 0 0, Cmd.none )
            , view = view
            , update = update
            , subscriptions = (\_ -> Sub.none)
            }
    
    
    view model =
        div []
            [ button [ onClick decrement ] [ text "-" ]
            , div [] [ text (toString model) ]
            , button [ onClick increment ] [ text "+" ]
            ]
    
    
    increment =
        GetTimeAndThen (\time -> Increment time)
    
    
    decrement =
        GetTimeAndThen (\time -> Decrement time)
    
    
    type Msg
        = Increment Time
        | Decrement Time
        | GetTimeAndThen (Time -> Msg)
    
    
    type alias Model =
        { count : Int, updateTime : Time }
    
    
    update : Msg -> Model -> ( Model, Cmd Msg )
    update msg model =
        case msg of
            GetTimeAndThen successHandler ->
                ( model, (Task.perform assertNeverHandler successHandler Time.now) )
    
            Increment time ->
                ( { model | count = model.count + 1, updateTime = time }, Cmd.none )
    
            Decrement time ->
                ( { model | count = model.count - 1, updateTime = time }, Cmd.none )
    
    
    assertNeverHandler : a -> b
    assertNeverHandler =
        (\_ -> Debug.crash "This should never happen")
    
    0 讨论(0)
  • 2020-12-14 21:37

    One option without having to do the time fetch on every update path would be to wrap your Msg in another message type that would fetch the time and then call your normal update with the time. This is a modified version of http://elm-lang.org/examples/buttons that will update a timestamp on the model with every update.

    import Html exposing (div, button, text)
    import Html.App exposing (program)
    import Html.Events exposing (onClick)
    import Task
    import Time exposing (Time)
    
    
    main =
      program { init = (Model 0 0, Cmd.none), view = view, update = update, subscriptions = (\_ -> Sub.none) }
    
    type alias Model =
      { count: Int
      , updateTime : Time
      }
    
    view model =
      Html.App.map GetTimeAndThen (modelView model)
    
    type Msg
      = GetTimeAndThen ModelMsg
      | GotTime ModelMsg Time
    
    update msg model =
      case msg of
        GetTimeAndThen wrappedMsg ->
          (model, Task.perform (\_ -> Debug.crash "") (GotTime wrappedMsg) Time.now)
    
        GotTime wrappedMsg time ->
          let
            (newModel, cmd) = modelUpdate wrappedMsg time model
          in
            (newModel, Cmd.map GetTimeAndThen cmd)
    
    type ModelMsg = Increment | Decrement
    
    modelUpdate msg time model =
      case msg of
        Increment ->
          ({model | count = model.count + 1, updateTime = time}, Cmd.none)
    
        Decrement ->
          ({model | count = model.count - 1, updateTime = time}, Cmd.none)
    
    modelView model =
      div []
        [ button [ onClick  Decrement ] [ text "-" ]
        , div [] [ text (toString model.count) ]
        , button [ onClick  Increment ] [ text "+" ]
        , div [] [ text (toString model.updateTime) ]
        ]
    
    0 讨论(0)
提交回复
热议问题