refined 0.0.2

Simple refinement types; parse, don't validate!
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138

{
  "nodes": {
    "crane": {
      "locked": {
        "lastModified": 1736898272,
        "narHash": "sha256-D10wlrU/HCpSRcb3a7yk+bU3ggpMD1kGbseKtO+7teo=",
        "owner": "ipetkov",
        "repo": "crane",
        "rev": "6a589f034202a7c6e10bce6c5d1d392d7bc0f340",
        "type": "github"
      },
      "original": {
        "owner": "ipetkov",
        "repo": "crane",
        "type": "github"
      }
    },
    "devenv": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ],
        "wrapper-manager": "wrapper-manager"
      },
      "locked": {
        "lastModified": 1737118673,
        "narHash": "sha256-iFDcW8BcDu8+07Qyk7JHtt8Dpz2PKlx1XJA8ZvmwTEc=",
        "owner": "jkaye2012",
        "repo": "devenv",
        "rev": "5c83d0ab983cc6c326b92c07b9ce1824da8b89bc",
        "type": "github"
      },
      "original": {
        "owner": "jkaye2012",
        "repo": "devenv",
        "type": "github"
      }
    },
    "fenix": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ],
        "rust-analyzer-src": "rust-analyzer-src"
      },
      "locked": {
        "lastModified": 1735713283,
        "narHash": "sha256-xC6X49L55xo7AV+pAYclOj5UNWtBo/xx5aB5IehJD0M=",
        "owner": "nix-community",
        "repo": "fenix",
        "rev": "bfba822a4220b0e2c4dc7f36a35e4c8450cd9a9c",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "ref": "monthly",
        "repo": "fenix",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1702151865,
        "narHash": "sha256-9VAt19t6yQa7pHZLDbil/QctAgVsA66DLnzdRGqDisg=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "666fc80e7b2afb570462423cb0e1cf1a3a34fedd",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1736916166,
        "narHash": "sha256-puPDoVKxkuNmYIGMpMQiK8bEjaACcCksolsG36gdaNQ=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "e24b4c09e963677b1beea49d411cd315a024ad3a",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-24.11",
        "type": "indirect"
      }
    },
    "root": {
      "inputs": {
        "crane": "crane",
        "devenv": "devenv",
        "fenix": "fenix",
        "nixpkgs": "nixpkgs_2"
      }
    },
    "rust-analyzer-src": {
      "flake": false,
      "locked": {
        "lastModified": 1735659655,
        "narHash": "sha256-DQgwi3pwaasWWDfNtXIX0lW5KvxQ+qVhxO1J7l68Qcc=",
        "owner": "rust-lang",
        "repo": "rust-analyzer",
        "rev": "085ad107943996c344633d58f26467b05f8e2ff0",
        "type": "github"
      },
      "original": {
        "owner": "rust-lang",
        "ref": "nightly",
        "repo": "rust-analyzer",
        "type": "github"
      }
    },
    "wrapper-manager": {
      "inputs": {
        "nixpkgs": "nixpkgs"
      },
      "locked": {
        "lastModified": 1724503599,
        "narHash": "sha256-WVhNq3QjnG/2mi772CkTxZCQcomKV5S03TbQKwe1Kj4=",
        "owner": "viperML",
        "repo": "wrapper-manager",
        "rev": "c936f9203217e654a6074d206505c16432edbc70",
        "type": "github"
      },
      "original": {
        "owner": "viperML",
        "repo": "wrapper-manager",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}