 Bram
|
acd13ac67a
|
Complete documentation
|
2024-01-22 18:09:08 +01:00 |
|
Bram
|
dd5f298fd3
|
Migrate remaining objects to new JSON coders
|
2024-01-22 17:44:22 +01:00 |
|
Bram
|
d1fbc87730
|
Refactor to new JSON coders
|
2024-01-19 16:22:51 +01:00 |
|
Bram van den Heuvel
|
2d01802b86
|
Rename Tools.Encode and Tools.Decode to Extra
|
2024-01-09 18:35:21 +01:00 |
|
Bram
|
20b4ea2f5c
|
elm-format
|
2023-12-29 14:58:50 +01:00 |
|
Bram
|
5cdb4fad33
|
Remove warnings
|
2023-12-29 14:57:59 +01:00 |
|
Bram
|
e1a4bcab9b
|
Add StateManager type
|
2023-12-29 14:50:43 +01:00 |
|
Bram
|
4905b7341d
|
Complete documentation
|
2023-12-24 11:36:34 +01:00 |
|
Bram
|
bf64d5911f
|
Add Timestamp test
|
2023-12-24 11:17:43 +01:00 |
|
Bram
|
959642499b
|
Envelope refactor
Effectively, the Envelope type has been moved to the Types module, effectively keeping it separate from other data types.
|
2023-12-24 02:16:52 +01:00 |
|
Bram
|
3e54ea9cbe
|
Add separate Settings module
|
2023-12-24 01:26:06 +01:00 |
|
Bram
|
5ac3e7eb6a
|
Fix Event test
This commit is starting to show how the definition of the Envelope wrapper is better done on a different level
|
2023-12-24 00:37:22 +01:00 |
|
Bram
|
1a819cbe39
|
Add exposed Event module
|
2023-12-24 00:03:07 +01:00 |
|
Bram
|
5065ed05ff
|
Add Event tests
|
2023-12-22 23:44:46 +01:00 |
|
Bram
|
0448b74609
|
Improve Event documentation
|
2023-12-22 22:20:19 +01:00 |
|
Bram van den Heuvel
|
ce83d1260f
|
Add reader functions for Event types
|
2023-12-22 16:59:45 +01:00 |
|
Bram
|
14058f4b69
|
Add Event type
|
2023-12-19 02:46:23 +01:00 |
|
Bram
|
d9d5760928
|
Reorder Envelope functions alphabetically
|
2023-12-18 17:20:43 +01:00 |
|
Bram
|
5bd95699d2
|
Add function for Envelope
|
2023-12-18 17:19:12 +01:00 |
|
Bram
|
87a5919921
|
Include Context in Envelope
|
2023-12-18 14:27:22 +01:00 |
|
Bram
|
7254fcfaa4
|
Add Context type
|
2023-12-18 14:26:57 +01:00 |
|
Bram
|
8b7b2aa312
|
Add internal Vault type
|
2023-12-18 01:32:21 +01:00 |
|
Bram
|
5293eb4003
|
Add Envelope function to extract settings values
|
2023-12-18 01:30:15 +01:00 |
|
Bram
|
f910c0225b
|
Add Envelope JSON coders
|
2023-12-18 01:08:40 +01:00 |
|
Bram
|
1b0be9bffa
|
Add Envelope type
|
2023-12-17 15:18:54 +01:00 |