djacu
November 5, 2021, 7:10am
1
Is it possible to do type checking for functions similar to how mkOption does for modules?
1 Like
efx
November 5, 2021, 6:23pm
2
I didn’t think if the nix expression language supports type checking.
Hiya o/,
Statix , is a linter for the Nix programming language, written in Rust with rnix-parser. Here is an excerpt from the readme:
statix check highlights antipatterns in Nix code. statix fix can fix several such occurrences.
It detects around 11 antipatterns at the moment (it can also fix these with statix fix!). The fix subcommand is beautiful in that it is idempotent and can fix all issues in one go.
Feel free to open issues on Github with lint ideas and things you’d like to see! Here…
I’m curious about this. Could you post a snippet if you have a second?
djacu
November 5, 2021, 8:56pm
3
Thanks for the info about Statix.
I am trying to emulate the mkIso and mkHost function in this person’s repo.
{ system, pkgs, home-manager, lib, user, ... }:
with builtins;
{
mkISO = { name, initrdMods, kernelMods, kernelParams, kernelPackage, systemConfig }: lib.nixosSystem {
inherit system;
specialArgs = { };
modules = [
{
imports = [ ../modules/iso ];
networking.hostName = "${name}";
networking.networkmanager.enable = true;
networking.useDHCP = false;
boot.initrd.availableKernelModules = initrdMods;
boot.kernelModules = kernelMods;
boot.kernelParams = kernelParams;
show original
I like how mkOption allows for more explicit definitions of types and defaults.
2 Likes
I am afraid statix does not support type checking at the moment. I am not sure if it can support it in the near future either, I have looked at a couple of other attempts at doing the same, and it seems like the general consensus is that nix is not really easily “typeable”.
That doesn’t mean to say it is impossible though.