valibuk 0.2.0

Valibuk is a library and a set of macros implementing the correct-by-construction pattern.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

{
  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs";
    flake-utils.url = "github:numtide/flake-utils";
    fenix = {
      url = "github:nix-community/fenix";
      inputs.nixpkgs.follows = "nixpkgs";
    };
  };
  
  outputs = { self, nixpkgs, flake-utils, fenix }: 
    flake-utils.lib.eachDefaultSystem (system:
      let 
        pkgs = nixpkgs.legacyPackages.${system};
        packages = with pkgs; [
          cargo-watch
          cargo-expand
        ];
        components = [
          "cargo"
          "rustc"
        ];
        buildInputs = with pkgs; [
          iconv
        ];
      in {
        devShells.default = pkgs.mkShell {
          packages = packages;
          buildInputs = [
            fenix.packages.${system}.stable.toolchain
          ] ++ buildInputs;
        };
        devShells.nightly = pkgs.mkShell {
          packages = packages;
          buildInputs = [
            fenix.packages.${system}.complete.toolchain
          ] ++ buildInputs;
        };
      }
    );
}