karchnu/halogen-websocket-ipc-playzone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Some name changes (+ fix).

Browse Source
This commit is contained in:
Philippe Pittoli 2023-07-05 04:18:01 +02:00
parent fb7c07e64d
commit d99e38d1b8
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/App/Container.purs
View File

@ -10,9 +10,9 @@ import App.AuthenticationForm as AF
import App.Log as Log
import App.WS as WS
import App.AuthenticationDaemonAdminInterface as AAI
import App.DomainListInterface as DomainListInterface
import App.DomainListInterface as DomainListInterface
import Halogen as H
import HalogenEvent.HTML as HH
import Halogen.HTML as HH
import Type.Proxy (Proxy(..))
import Effect.Aff.Class (class MonadAff)
@ -33,7 +33,7 @@ type ChildSlots =
, ws_dns :: WS.Slot Unit
, af :: AF.Slot Unit
, aai :: AAI.Slot Unit
, ndi :: DomainListInterface.Slot Unit
, dli :: DomainListInterface.Slot Unit
)
_log = Proxy :: Proxy "log"
@ -41,7 +41,7 @@ _ws_auth = Proxy :: Proxy "ws_auth"
_ws_dns = Proxy :: Proxy "ws_dns"
_af = Proxy :: Proxy "af"
_aai = Proxy :: Proxy "aai"
_ndi = Proxy :: Proxy "ndi"
_dli = Proxy :: Proxy "dli"
component :: forall q i o m. MonadAff m => H.Component q i o m
component =
@ -87,13 +87,13 @@ render state
[ Bulma.h1 "Administrative interface for authd"
, HH.slot _aai unit AAI.component unit AuthenticationDaemonAdminComponentEvent
]
NothingEvent -> render_nothing
Nothing -> render_nothing
render_newdomain_interface :: forall monad. MonadAff monad => H.ComponentHTML Action ChildSlots monad
render_newdomain_interface = case state.token of
Just token -> Bulma.box $
[ Bulma.h1 "New domain interface!"
, HH.slot _ndi unit DomainListInterface.component token NewDomainComponentEvent
, HH.slot _dli unit DomainListInterface.component token NewDomainComponentEvent
]
Nothing -> render_nothing
@ -139,9 +139,9 @@ handleAction = case _ of
WS.UnableToSend msg -> H.tell _log unit (Log.UnableToSend msg)
DNSManagerDaemonEvent ev -> case ev of
WS.MessageReceived (Tuple _ message) -> H.tell _ndi unit (DomainListInterface.MessageReceived message)
WS.WSJustConnected -> H.tell _ndi unit DomainListInterface.ConnectionIsUp
WS.WSJustClosed -> H.tell _ndi unit DomainListInterface.ConnectionIsDown
WS.MessageReceived (Tuple _ message) -> H.tell _dli unit (DomainListInterface.MessageReceived message)
WS.WSJustConnected -> H.tell _dli unit DomainListInterface.ConnectionIsUp
WS.WSJustClosed -> H.tell _dli unit DomainListInterface.ConnectionIsDown
WS.AppendMessage msg -> H.tell _log unit (Log.SimpleLog msg)
WS.AppendSystemMessage msg -> H.tell _log unit (Log.SystemLog msg)
WS.UnableToSend msg -> H.tell _log unit (Log.UnableToSend msg)