| 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/Comm/GoTo.elm | |
| parent | d2667e46fec8f15c29ffa80925d33b6931d8aa3b (diff) | |
...
Diffstat (limited to 'src/shared/elm/Comm/GoTo.elm')
| -rw-r--r-- | src/shared/elm/Comm/GoTo.elm | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/shared/elm/Comm/GoTo.elm b/src/shared/elm/Comm/GoTo.elm deleted file mode 100644 index ea8d7af..0000000 --- a/src/shared/elm/Comm/GoTo.elm +++ /dev/null @@ -1,27 +0,0 @@ -module 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)) - ) |