tjh.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 ITree,
6 simple-io,
7 version ? null,
8}:
9
10mkCoqDerivation {
11 pname = "itree-io";
12 repo = "coq-itree-io";
13 owner = "Lysxia";
14 inherit version;
15
16 defaultVersion =
17 let
18 case = case: out: { inherit case out; };
19 inherit (lib.versions) range;
20 in
21 lib.switch coq.coq-version [
22 (case (range "8.12" "8.19") "0.1.1")
23 ] null;
24 release = {
25 "0.1.1".sha256 = "sha256-IFwIj8dxW4jm2gvuUJ8LKZFSJeljp0bsn8fezxY6t2o=";
26 };
27 releaseRev = v: "v${v}";
28
29 propagatedBuildInputs = [
30 ITree
31 simple-io
32 ];
33
34 meta = {
35 description = "Interpret itree in the IO monad of simple-io";
36 license = lib.licenses.mit;
37 };
38}