From 32ca5407e3bfb9f2a2952bddafa348c87e5d61cd Mon Sep 17 00:00:00 2001
From: Matei Adriel <rafaeladriel11@gmail.com>
Date: Wed, 7 Oct 2020 11:51:04 +0300
Subject: [PATCH] feat: added dhall stuff

---
 modules/dev/default.nix |  1 +
 modules/dev/dhall.nix   | 10 ++++++++++
 modules/overlay.nix     |  1 +
 nix/sources.json        | 12 ++++++++++++
 4 files changed, 24 insertions(+)
 create mode 100644 modules/dev/dhall.nix

diff --git a/modules/dev/default.nix b/modules/dev/default.nix
index 986d8e1..ccb7afe 100644
--- a/modules/dev/default.nix
+++ b/modules/dev/default.nix
@@ -8,6 +8,7 @@
     ./rust.nix
     ./racket.nix
     ./elm.nix
+    ./dhall.nix
     ./haskell
   ];
 }
diff --git a/modules/dev/dhall.nix b/modules/dev/dhall.nix
new file mode 100644
index 0000000..959091e
--- /dev/null
+++ b/modules/dev/dhall.nix
@@ -0,0 +1,10 @@
+{ pkgs, ... }: {
+  home-manager.users.adrielus.home.packages = with pkgs.easy-dhall-nix; [
+    dhall-simple
+    dhall-json-simple
+    dhall-bash-simple
+    dhall-nix-simple
+    dhall-yaml-simple
+    dhall-lsp-simple
+  ];
+}
diff --git a/modules/overlay.nix b/modules/overlay.nix
index 321c6f7..abaec84 100644
--- a/modules/overlay.nix
+++ b/modules/overlay.nix
@@ -17,6 +17,7 @@ in {
 
         cached-nix-shell = callPackage imports.cached-nix-shell { };
         easy-purescript-nix = callPackage imports.easy-purescript-nix { };
+        easy-dhall-nix = callPackage imports.easy-dhall-nix { };
 
         # This is a derivation I made myself for edopro
         edopro = callPackage edoproPackage { };
diff --git a/nix/sources.json b/nix/sources.json
index 3d741ec..1a9bed5 100644
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -47,6 +47,18 @@
         "url": "https://github.com/xzfc/cached-nix-shell/archive/48dbef37bec653e23c1801cea3979f053e10654b.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
+    "easy-dhall-nix": {
+        "branch": "master",
+        "description": "Derivations for easily downloading Dhall binaries and putting them to use.",
+        "homepage": "",
+        "owner": "justinwoo",
+        "repo": "easy-dhall-nix",
+        "rev": "3e9101c5dfd69a9fc28fe4998aff378f91bfcb64",
+        "sha256": "1nsn1n4sx4za6jipcid1293rdw8lqgj9097s0khiij3fz0bzhrg9",
+        "type": "tarball",
+        "url": "https://github.com/justinwoo/easy-dhall-nix/archive/3e9101c5dfd69a9fc28fe4998aff378f91bfcb64.tar.gz",
+        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
+    },
     "easy-purescript-nix": {
         "branch": "master",
         "description": "Easy PureScript (and other tools) with Nix",