pyrox.dev
lol
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, pruviloj
5, lib
6}:
7build-idris-package {
8 name = "derive";
9 version = "2018-07-02";
10
11 idrisDeps = [ contrib pruviloj ];
12
13 # https://github.com/david-christiansen/derive-all-the-instances/pull/9
14 src = fetchFromGitHub {
15 owner = "infinisil";
16 repo = "derive-all-the-instances";
17 rev = "61c3e12e26f599379299fcbb9c40a81bfc3e0604";
18 sha256 = "0g2lb8nrwqwf3gm5fir43cxz6db84n19xiwkv8cmmqc1fgy6v0qn";
19 };
20
21 meta = {
22 description = "Type class deriving with elaboration reflection";
23 homepage = https://github.com/davlum/derive-all-the-instances;
24 license = lib.licenses.mit;
25 maintainers = [ lib.maintainers.brainrape ];
26 };
27}