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