halogen-websocket-ipc-playzone/src/App
2023-07-08 23:44:01 +02:00
..
Messages Domain can be deleted - with automatic update of the own domain list. 2023-07-03 12:17:44 +02:00
AuthenticationDaemonAdminInterface.purs New LogMessage structure. 2023-07-05 04:49:32 +02:00
AuthenticationForm.purs At last, some documentation. Just a scratch on the surface. 2023-07-08 17:04:13 +02:00
Button.purs Update to PureScript 0.14 and Halogen 6 (#29) 2021-03-09 12:02:04 -08:00
Container.purs Add some documentation for DomainListInterface. 2023-07-08 23:44:01 +02:00
DNSZone.purs DNSManager messages: mostly done. Build is okay. 2023-06-17 18:07:24 +02:00
DomainListInterface.purs Add some documentation for DomainListInterface. 2023-07-08 23:44:01 +02:00
Email.purs Codecs, Codecs everywhere! 2023-05-26 01:39:50 +02:00
IPC.purs Parsing JSON messages: FIXED. 2023-05-25 00:07:59 +02:00
Log.purs New LogMessage structure. 2023-07-05 04:49:32 +02:00
LogMessage.purs New LogMessage structure. 2023-07-05 04:49:32 +02:00
MaintenanceSubject.purs DNSManager messages: mostly done. Build is okay. 2023-06-17 18:07:24 +02:00
Nav.purs Better (pseudo-)routing. 2023-07-08 06:29:37 +02:00
OriginalInterface.purs re: better with the attached files. 2023-05-22 16:38:31 +02:00
PermissionLevel.purs PermissionLevel: codec fixed. 2023-05-31 00:22:38 +02:00
ResourceRecord.purs DNSManager messages: mostly done. Build is okay. 2023-06-17 18:07:24 +02:00
UserPublic.purs Make the compiler happy (remove useless imports). 2023-07-08 17:05:34 +02:00
WS.purs Show the URL of the WS connection. 2023-07-07 20:29:49 +02:00