forked from Fediversity/Fediversity
Kiara Grouwstra
5345860006
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>
37 lines
680 B
Nix
37 lines
680 B
Nix
/**
|
|
Modular function type
|
|
*/
|
|
{ config, lib, ... }:
|
|
let
|
|
inherit (lib) mkOption types;
|
|
inherit (types)
|
|
deferredModule
|
|
submodule
|
|
functionTo
|
|
optionType
|
|
;
|
|
in
|
|
{
|
|
options = {
|
|
input-type = mkOption {
|
|
type = deferredModule;
|
|
};
|
|
output-type = mkOption {
|
|
type = deferredModule;
|
|
};
|
|
function-type = mkOption {
|
|
type = optionType;
|
|
readOnly = true;
|
|
default = functionTo (submodule {
|
|
options = {
|
|
input = mkOption {
|
|
type = submodule config.input-type;
|
|
};
|
|
output = mkOption {
|
|
type = submodule config.output-type;
|
|
};
|
|
};
|
|
});
|
|
};
|
|
};
|
|
}
|