pkgs/development/idris-modules/derive.nix

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