summaryrefslogtreecommitdiff |
diff options
author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-05-10 18:08:26 +0200 |
---|---|---|
committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-05-10 18:08:26 +0200 |
commit | fc09d979e4c753377131684b1100c250e89765ea (patch) | |
tree | a79689b720794b4a5503ac63ff4c84dfd04e6f41 /src/shared/elm/Shared/Comm | |
parent | d2667e46fec8f15c29ffa80925d33b6931d8aa3b (diff) |
...
Diffstat (limited to 'src/shared/elm/Shared/Comm')
-rw-r--r-- | src/shared/elm/Shared/Comm/GoTo.elm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/shared/elm/Shared/Comm/GoTo.elm b/src/shared/elm/Shared/Comm/GoTo.elm new file mode 100644 index 0000000..19e9619 --- /dev/null +++ b/src/shared/elm/Shared/Comm/GoTo.elm @@ -0,0 +1,27 @@ +module Shared.Comm.GoTo exposing (decode) + +-- Elm ------------------------------------------------------------------------- +import Json.Decode + +-- ??? ------------------------------------------------------------------------- +import Struct.ServerReply + +-------------------------------------------------------------------------------- +-- TYPES ----------------------------------------------------------------------- +-------------------------------------------------------------------------------- + +-------------------------------------------------------------------------------- +-- LOCAL ----------------------------------------------------------------------- +-------------------------------------------------------------------------------- +internal_decoder : String -> Struct.ServerReply.Type +internal_decoder url = (Struct.ServerReply.GoTo url) + +-------------------------------------------------------------------------------- +-- EXPORTED -------------------------------------------------------------------- +-------------------------------------------------------------------------------- +decode : (Json.Decode.Decoder Struct.ServerReply.Type) +decode = + (Json.Decode.map + (internal_decoder) + (Json.Decode.field "url" (Json.Decode.string)) + ) |