tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 lib,
6}:
7build-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}