 Philippe Pittoli
|
0b09cefa57
|
A few more messages.
|
2023-06-01 01:14:39 +02:00 |
|
Philippe Pittoli
|
84d285c9e9
|
Add a few requet message codecs (WIP).
|
2023-05-31 02:42:53 +02:00 |
|
Philippe Pittoli
|
5b08ba5b54
|
PermissionLevel: codec fixed.
|
2023-05-31 00:22:38 +02:00 |
|
Philippe Pittoli
|
5e6edd2f7f
|
Grooming.
|
2023-05-30 23:13:24 +02:00 |
|
Philippe Pittoli
|
ea0046783b
|
Simplify a few things.
|
2023-05-30 16:42:52 +02:00 |
|
Philippe Pittoli
|
d668f297dc
|
Remove useless module.
|
2023-05-29 20:44:16 +02:00 |
|
Philippe Pittoli
|
a51b943f84
|
AlternativeMain, to test stuff (currently sum types JSON encoding).
|
2023-05-27 17:04:23 +02:00 |
|
Philippe Pittoli
|
bc5c7d3fde
|
Grooming.
|
2023-05-27 15:56:28 +02:00 |
|
Philippe Pittoli
|
f66aba1c41
|
Received messages codecs are okay-ish (some properties are missing in UserPublic module).
|
2023-05-27 13:35:44 +02:00 |
|
Philippe Pittoli
|
d12278be30
|
New decoded messages: permissions!
|
2023-05-27 13:24:52 +02:00 |
|
Philippe Pittoli
|
20b3a5aeb2
|
Grooming for the PermissionLevel module.
|
2023-05-27 13:01:23 +02:00 |
|
Philippe Pittoli
|
9d3e139b52
|
Parse PermissionLevel (a simple sum data type).
|
2023-05-27 12:26:03 +02:00 |
|
Philippe Pittoli
|
d17e29c1f5
|
Decode a few other message types.
|
2023-05-27 00:58:18 +02:00 |
|
Philippe Pittoli
|
e80b71c0cd
|
Codecs, Codecs everywhere!
|
2023-05-26 01:39:50 +02:00 |
|
Philippe Pittoli
|
2d269d088c
|
Parsing JSON messages: FIXED.
|
2023-05-25 00:07:59 +02:00 |
|
Philippe Pittoli
|
0671e1780c
|
Pretty print.
|
2023-05-23 02:50:08 +02:00 |
|
Philippe Pittoli
|
78e1922178
|
Print JSON message when there is a parsing problem.
|
2023-05-23 01:15:23 +02:00 |
|
Philippe Pittoli
|
29ee6f9a87
|
Main only starts App.Container.
|
2023-05-22 20:02:53 +02:00 |
|
Philippe Pittoli
|
b4f5a4aefa
|
re: better with the attached files.
|
2023-05-22 16:38:31 +02:00 |
|
Philippe Pittoli
|
48006c37e8
|
Multiple components: still WIP but compiling.
|
2023-05-22 16:23:21 +02:00 |
|
Philippe Pittoli
|
778a51604b
|
Authentication form: improved.
|
2023-05-22 02:11:40 +02:00 |
|
Philippe Pittoli
|
c94456e8f4
|
Removing warnings.
|
2023-05-22 00:42:44 +02:00 |
|
Philippe Pittoli
|
df11d8e7aa
|
Compiles again.
|
2023-05-21 22:10:20 +02:00 |
|
Philippe Pittoli
|
089ba00c58
|
decodeAnswerMessage doesn't work atm.
|
2023-05-21 20:39:33 +02:00 |
|
Philippe Pittoli
|
ce57643cec
|
Minor changes (mostly comments).
|
2023-05-21 18:08:41 +02:00 |
|
Philippe Pittoli
|
0d99e00e93
|
IPC: final message format (typed messages) is implemented.
|
2023-05-21 16:04:43 +02:00 |
|
Philippe Pittoli
|
faa258b54e
|
Playing with AuthD messages. WIP.
|
2023-05-21 02:52:15 +02:00 |
|
Philippe Pittoli
|
e19ff224b0
|
New way to handle messages. Still very much WIP.
|
2023-05-21 02:13:09 +02:00 |
|
Philippe Pittoli
|
864b5f24ee
|
First try at doing JSON stuff.
|
2023-05-21 00:32:08 +02:00 |
|
Philippe Pittoli
|
ef623b8f1c
|
Add an example of Websockets with ArrayBuffer.
|
2023-05-20 13:50:11 +02:00 |
|
Philippe Pittoli
|
4aa473f1f0
|
Add shared example on discord.
|
2023-05-20 00:49:12 +02:00 |
|
Philippe Pittoli
|
65f93904c0
|
No more redundant imports.
|
2023-05-20 00:48:49 +02:00 |
|
Philippe Pittoli
|
20ba8f9144
|
Comments.
|
2023-05-20 00:36:17 +02:00 |
|
Philippe Pittoli
|
ca93e11fb4
|
Parse errors are now taken into account.
|
2023-05-20 00:31:01 +02:00 |
|
Philippe Pittoli
|
c94a509f0d
|
Project now compiles.
|
2023-05-19 23:50:24 +02:00 |
|
Philippe Pittoli
|
618998cd68
|
IPC: new version, currently not compiling (WIP).
|
2023-05-19 23:43:44 +02:00 |
|
Philippe Pittoli
|
e1d49f1048
|
Remove useless JSON stuff, replace it with ArrayBuffer serialization.
|
2023-05-19 15:45:41 +02:00 |
|
Philippe Pittoli
|
20207e7e73
|
Starting point.
|
2023-05-19 01:06:39 +02:00 |
Gary Burgess
|
92ff305c61
|
Merge pull request #41 from stevenyap/patch-2
Update package.json build-prod script
|
2023-01-11 17:26:44 +00:00 |
|
Steven Yap
|
aabfecadc3
|
Update package.json build-prod script
Fix #40
|
2023-01-10 13:45:27 +08:00 |
|
Gary Burgess
|
9cc04eacd1
|
Merge pull request #39 from codingedgar/patch-1
Update index.html
|
2022-11-02 17:18:33 +00:00 |
|
Edgar Rodriguez
|
49c13dee18
|
Update index.html
|
2022-10-31 12:17:09 -03:00 |
|
Dirk Dühr
|
4f63b52638
|
Updated purescript, spago and parcel to latest versions (#38)
Co-authored-by: Dirk Dühr <duehr@adesso-mobile.de>
|
2022-10-25 10:23:55 -04:00 |
|
Joseph Price
|
a2fd01099a
|
update packages to 0.14.4 (#35)
|
2021-10-15 10:31:09 +02:00 |
|
Trequetrum
|
9c855daef2
|
Update index.html for Halogen6 (#31)
This pull request just keeps the title up to date.
|
2021-04-08 11:46:02 -07:00 |
|
Thomas Honeyman
|
e851110e1c
|
Update CI and packages for PureScript 0.14
|
2021-03-09 12:08:57 -08:00 |
|
Raptazure
|
4975e73125
|
Update to PureScript 0.14 and Halogen 6 (#29)
|
2021-03-09 12:02:04 -08:00 |
|
milesfrain
|
9858165d57
|
Convert to Parcel (#26)
|
2020-06-29 18:32:28 -07:00 |
|
Gary Burgess
|
450e0bf27e
|
Merge pull request #25 from coot/coot/purescript-0.13.8
Use purescript-0.13.8
|
2020-06-14 16:22:45 +01:00 |
|
Marcin Szamotulski
|
551fb6fab8
|
Use purescription-0.13.8
|
2020-06-13 19:42:05 +02:00 |