diff options
| author | tzlil <tzlils@protonmail.com> | 2023-07-02 04:17:16 +0300 |
|---|---|---|
| committer | tzlil <tzlils@protonmail.com> | 2023-07-02 04:17:16 +0300 |
| commit | a21c56fba470e6dc3f3da0948fb914fb485556bf (patch) | |
| tree | ee7ca873f21b13c9d8c5d04b37f53cd7f36bac05 | |
| parent | 190574abc135a3cbdfe0c188a3f7490d374c2fba (diff) | |
add ambiguous types and pointfree.io to haskell repl
| -rw-r--r-- | hosts/laptop/cfg.nix | 2 | ||||
| -rw-r--r-- | mixins/cli.nix | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/hosts/laptop/cfg.nix b/hosts/laptop/cfg.nix index 10d1696..35dbde7 100644 --- a/hosts/laptop/cfg.nix +++ b/hosts/laptop/cfg.nix @@ -112,7 +112,7 @@ home-manager.users.tzlil = { home.packages = [pkgs.schildichat-desktop-wayland pkgs.keepassxc]; programs.qutebrowser = { - enable = true; + enable = true; settings.colors.webpage.darkmode.enabled = true; }; }; diff --git a/mixins/cli.nix b/mixins/cli.nix index 3b331cf..1ef8b2e 100644 --- a/mixins/cli.nix +++ b/mixins/cli.nix @@ -32,15 +32,19 @@ ])) ( + let hs = pkgs.ghc.withPackages (p: with p; [relude pretty-simple pointfree]); + in pkgs.writeShellScriptBin "hs" '' - exec ${pkgs.ghc.withPackages (p: with p; [relude pretty-simple])}/bin/ghci -ghci-script ${pkgs.writeText "ghci.conf" '' + exec ${hs}/bin/ghci -ghci-script ${pkgs.writeText "ghci.conf" '' :set -XNoImplicitPrelude :set -XFlexibleContexts :set -XFlexibleInstances :set -XOverloadedStrings + :set -XAllowAmbiguousTypes :set prompt "\ESC[38;5;208m\STXλ>\ESC[m\STX " :set -ferror-spans -freverse-errors -fprint-expanded-synonyms :set -interactive-print Text.Pretty.Simple.pPrint + :def pf \str -> return $ ":! ${hs}/bin/pointfree \"" ++ str ++ "\"" import Relude''} '' ) |