kiara/Fediversity
1
0
Fork 0
forked from Fediversity/Fediversity
Code Pull requests Activity
877 commits 107 branches 0 tags 49 MiB
Commit graph

23 commits

Author SHA1 Message Date
Kiara Grouwstra
00fe3b769d
fix application-requirements 2025-07-21 20:47:05 +02:00
Kiara Grouwstra
7705c01647
simplify imports 2025-07-20 19:12:40 +02:00
Kiara Grouwstra
f76485819d
environment: fix implementation type 2025-07-20 17:17:51 +02:00
Kiara Grouwstra
3d94b227d7
resolve resource mapping input discrepancy according to actual implementation, adjusting the type accordingly 2025-07-20 17:10:53 +02:00
Kiara Grouwstra
10a2d29e54
untangle applications from function type, as they seem to not need the introspection (and may type-check input without it) 2025-07-20 16:34:02 +02:00
Kiara Grouwstra
d429c32df0
fix environment deployment 2025-07-20 16:22:55 +02:00
Kiara Grouwstra
05b2d41791
type policy.apply 2025-07-20 09:39:25 +02:00
Kiara Grouwstra
a8e56f0456
model: [DUMMY] use mock deployment to temporarily simplify the problem 2025-07-19 18:51:27 +02:00
Kiara Grouwstra
a7ca58c2d3
resolve rebase 2025-07-19 18:51:08 +02:00
Kiara Grouwstra
91b5c7b1bd
model: add classes 2025-07-19 18:40:12 +02:00
Kiara Grouwstra
240f8b34f7
use submodule to turn module into type for functionTo 2025-07-19 18:38:56 +02:00
Kiara Grouwstra
65924b1a80
use mapAttrs right 
`mapAttrs'` takes two args rather than a set, whereas if only the val
changes `mapAttrs (_: v: ...)` should do
 2025-07-19 18:38:56 +02:00
Kiara Grouwstra
307ff1d6ac
fix typos, lint, format 2025-07-19 18:38:46 +02:00
Valentin Gagarin
71446a891f
WIP: (broken) implement test 2025-07-19 18:38:36 +02:00
Valentin Gagarin
37df0f370d
WIP: implement mappings 2025-07-19 18:34:18 +02:00
Valentin Gagarin
5b1993c800
WIP: start writing an evaluation test 
turns out we also need a collection of configurations, obviously
next: figure out where to wire everything up to obtain a deployment
 2025-07-19 18:31:26 +02:00
Valentin Gagarin
17647b194b
WIP: add missing types 2025-07-19 18:31:07 +02:00
Valentin Gagarin
dd0aff13d7
WIP: implement data model as in diagram 
this doesn't update the tests yet because we don't have all the data
types in place anyway yet, and I still need to come up with testable examples.
 2025-07-19 18:30:26 +02:00
Kiara Grouwstra
e3e2a3359c
data model: migration 2025-07-19 18:29:09 +02:00
Kiara Grouwstra
9230ea540c
data model: deployment 2025-07-19 18:29:02 +02:00
Kiara Grouwstra
5345860006 data model: add run-time configuration (#437) 
based on @fricklerhandwerk's work at https://git.fediversity.eu/fricklerhandwerk/Fediversity/compare/main...data-model-as-diagram part of #103.
supersedes #402.

on the application model, feedback on a [sample implementation](#2) welcome as well.

Reviewed-on: Fediversity/Fediversity#437
Reviewed-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Co-authored-by: Kiara Grouwstra <kiara@procolix.eu>
Co-committed-by: Kiara Grouwstra <kiara@procolix.eu>
 2025-07-06 21:42:25 +02:00
Kiara Grouwstra
9a25a04bfa specify _class module attributes to explicitly declare module types (#398) 
closes #93.

note that this includes classes:

- `nixos`
- `nixosTest`
- `nixops4Resource`
- `nixops4Deployment`

.. and my (made-up, as per the [docs](https://ryantm.github.io/nixpkgs/module-system/module-system/#module-system-lib-evalModules-param-class)):

- `nix-unit`
- `package`

.. while i did not manage to cover:

- service tests, given `pkgs.nixosTest` seemed to not actually like `_class = "nixosTest"` (?!)

... nor #93's mentioned destructured arguments for that matter, as per Fediversity/Fediversity#93 (comment) - let me know if that is still desired as well.

Reviewed-on: Fediversity/Fediversity#398
Reviewed-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Co-authored-by: Kiara Grouwstra <kiara@procolix.eu>
Co-committed-by: Kiara Grouwstra <kiara@procolix.eu>
 2025-06-23 17:24:54 +02:00
Kiara Grouwstra
939f9d961d add data model entity: application (#387) 
part of #103.

Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Reviewed-on: Fediversity/Fediversity#387
Co-authored-by: Kiara Grouwstra <kiara@procolix.eu>
Co-committed-by: Kiara Grouwstra <kiara@procolix.eu>
 2025-06-17 17:11:52 +02:00