bijective 0.1.0

Compile-time enforcement of surjective, injective, and bijective properties on enum-to-enum match expressions
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

{
  description = "Bijective dev flake";

  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
  };

  outputs =
    { nixpkgs, ... }:
    {
      devShells.aarch64-darwin.default = nixpkgs.legacyPackages.aarch64-darwin.mkShell {
        buildInputs = [
          nixpkgs.legacyPackages.aarch64-darwin.cargo
          nixpkgs.legacyPackages.aarch64-darwin.rustc
          nixpkgs.legacyPackages.aarch64-darwin.rust-analyzer
        ];
      };

    };
}