pkgs/development/idris-modules/farrp.nix

   1 {
   2   build-idris-package,
   3   fetchFromGitHub,
   4   effects,
   5   lib,
   6 }:
   7 build-idris-package {
   8   pname = "farrp";
   9   version = "2018-02-13";
  10
  11   idrisDeps = [ effects ];
  12
  13   src = fetchFromGitHub {
  14     owner = "lambda-11235";
  15     repo = "FarRP";
  16     rev = "d592957232968743f8862e49d5a8d52e13340444";
  17     sha256 = "1zrf750d7x1cz7kkgcx4ipa87hkg10adwii4qqvz9vpjap7vh7h0";
  18   };
  19
  20   meta = {
  21     description = "Arrowized FRP library for Idris with static safety guarantees";
  22     homepage = "https://github.com/lambda-11235/FarRP";
  23     license = lib.licenses.mit;
  24     maintainers = [ lib.maintainers.brainrape ];
  25   };
  26 }