pkgs/development/idris-modules/yampa.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , bifunctors
   4 , lib
   5 }:
   6 build-idris-package  {
   7   pname = "yampa";
   8   version = "2016-07-05";
   9
  10   ipkgName = "idris-yampa";
  11   idrisDeps = [ bifunctors ];
  12
  13   src = fetchFromGitHub {
  14     owner = "BartAdv";
  15     repo = "idris-yampa";
  16     rev = "2120dffb3ea0de906ba2b40080956c900457cf33";
  17     sha256 = "0zp495zpbvsagdzrmg9iig652zbm34qc0gdr81x0viblwqxhicx6";
  18   };
  19
  20   meta = {
  21     description = "Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types";
  22     homepage = "https://github.com/BartAdv/idris-yampa";
  23     maintainers = [ lib.maintainers.brainrape ];
  24   };
  25 }