dashboard/src/Model.elm

60 lines
1.5 KiB
Elm
Raw Normal View History

2020-11-23 11:07:07 +03:00
module Model exposing (..)
{-| Copyright 2020 Fluence Labs Limited
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
-}
2020-11-26 21:47:37 +03:00
import Blueprints.Model exposing (Blueprint)
2020-11-23 15:44:45 +03:00
import Browser.Navigation as Nav
import Dict exposing (Dict)
2020-12-01 14:03:25 +03:00
import Modules.Model exposing (Module)
2020-11-26 21:47:37 +03:00
import Nodes.Model exposing (Identify, emptyIdentify)
2020-12-01 17:47:52 +03:00
import Service.Model exposing (Service)
2020-11-23 15:44:45 +03:00
import Url
2020-11-23 16:31:31 +03:00
type Route
= Page String
2020-12-01 17:47:52 +03:00
| Blueprint String
| Module String
2020-11-23 16:31:31 +03:00
| Peer String
2020-11-23 15:44:45 +03:00
type alias PeerData =
2020-11-26 21:47:37 +03:00
{ identify : Identify
, services : List Service
2020-12-01 14:51:12 +03:00
, modules : List String
, blueprints : List String
2020-11-25 19:51:53 +03:00
}
emptyPeerData : PeerData
emptyPeerData =
2020-11-26 21:47:37 +03:00
{ identify = emptyIdentify, services = [], modules = [], blueprints = [] }
2020-11-23 11:07:07 +03:00
type alias Model =
{ peerId : String
2020-11-23 14:27:33 +03:00
, relayId : String
2020-11-23 15:44:45 +03:00
, key : Nav.Key
, url : Url.Url
2020-11-23 16:31:31 +03:00
, page : Route
2020-11-23 17:39:32 +03:00
, discoveredPeers : Dict String PeerData
2020-12-01 14:51:12 +03:00
, modules : Dict String Module
, blueprints : Dict String Blueprint
2020-12-01 17:47:52 +03:00
, toggledInterface : Maybe String
2020-12-04 12:21:09 +03:00
, knownPeers : List String
2020-11-23 11:07:07 +03:00
}