Использование hoogle в среде разработки haskell на nix

Я пытаюсь использовать hoogle в среде разработки Haskell точно так же, как описано в вики О'Чарльза:

Я изменил shell.nix, как показано ниже, чтобы использовать hoogleLocal, но, похоже, он не устанавливает для меня двоичный файл hoogle.

let
  pkgs = import <nixpkgs> {};

  # I'm attempting to use hoogle here, but it is not working.
  haskellPackages =
    let callPackage = pkgs.lib.callPackageWith haskellPackages;
    in pkgs.recurseIntoAttrs (pkgs.haskellPackages.override {
      extension = self: super: {
        thiscurrentpackage = self.callPackage ./. {};
        hoogleLocal = pkgs.haskellPackages.hoogleLocal.override {
          packages = self.thiscurrentpackage;
        };
      };
    });
in pkgs.myEnvFun {
  name = haskellPackages.thiscurrentpackage.name;
  buildInputs = [
    (haskellPackages.ghcWithPackages (hs: ([
      hs.cabalInstall
      hs.ghcMod
      hs.yesodBin
      # This doesn't appear to install the hoogle binary?
      hs.hoogleLocal
    ] ++ hs.thiscurrentpackage.propagatedNativeBuildInputs)))
  ];
}

В полученной оболочке бинарник hoogle недоступен.

Если я включу hs.hoogle в buildInputs, двоичный файл hoogle будет установлен, но не сможет найти базы данных. Ниже показано, что происходит, когда я пытаюсь использовать его.

$ nix-shell
......
$ hoogle Monad
Could not find some databases: default
Searching in:
  .
    /nix/store/91y9q2y5a2ws8xgcsx1gkhfagc0f2qz6-haskell-hoogle-ghc7.8.3-4.2.36-shared/share/x86_64-linux-ghc-7.8.3/hoogle-4.2.36/databases

    There are no available databases, generate them with: hoogle data
$ hoogle data
    hoogle: /nix/store/91y9q2y5a2ws8xgcsx1gkhfagc0f2qz6-haskell-hoogle-ghc7.8.3-4.2.36-shared/share/x86_64-linux-ghc-7.8.3/hoogle-4.2.36/databases:
changeWorkingDirectory: does not exist (No such file or directory)
$

Как мне заставить это работать правильно для настройки, описанной О'Чарльзом?

Изменить: исходный файл shell.nix совпадает с этот ответ.


person illabout    schedule 01.01.2015    source источник


Ответы (3)


Вот как выглядит моя среда разработки Nix Haskell

in ~/.nixpkgs/config.nix:

Вспомогательная функция среды

Прежде всего, определите функцию haskellEnvFun для создания сред Haskell:

packageOverrides = super: rec {

haskellEnvFun = { withHoogle ? false, compiler ? null, name }:
  let hp = if compiler != null
             then super.haskell.packages.${compiler}
             else haskellPackages;

      ghcWith = if withHoogle
                  then hp.ghcWithHoogle
                  else hp.ghcWithPackages;

  in super.buildEnv {
    name = name;
    paths = [(ghcWith myHaskellPackages)];
  };

Определение некоторых сред

Вызовите эту функцию, чтобы определить две среды: одну для запуска конструктора Hoogle при изменениях, а другую без:

haskellEnvHoogle = haskellEnvFun {
  name = "haskellEnvHoogle";
  withHoogle = true;
};

haskellEnv = haskellEnvFun {
  name = "haskellEnv";
  withHoogle = false;
};

Пакеты

Определите все пакеты, которые вы хотите использовать в вашей локальной среде разработки Haskell:

myHaskellPackages = hp: with hp; [
  Boolean
  HTTP
  HUnit
  MissingH
  QuickCheck
  SafeSemaphore
  Spock
  aeson
  async
  attoparsec
  bifunctors
  blaze-builder
  blaze-builder-conduit
  blaze-builder-enumerator
  blaze-html
  blaze-markup
  blaze-textual
  cased
  cassava
  cereal
  comonad
  comonad-transformers
  directory_1_2_4_0
  dlist
  dlist-instances
  doctest
  exceptions
  fingertree
  foldl
  free
  hamlet
  hashable
  hspec
  hspec-expectations
  html
  http-client
  http-date
  http-types
  io-memoize
  keys
  language-c
  language-javascript
  language-bash
  lens
  lens-action
  lens-aeson
  lens-datetime
  lens-family
  lens-family-core
  lifted-async
  lifted-base
  linear
  list-extras
  list-t
  logict
  mime-mail
  mime-types
  mmorph
  monad-control
  monad-coroutine
  monad-loops
  monad-par
  monad-par-extras
  monad-stm
  monadloc
  mongoDB
  monoid-extras
  network
  newtype
  numbers
  optparse-applicative
  parsec
  parsers
  pcg-random
  persistent
  persistent-mongoDB
  persistent-template
  pipes
  pipes-async
  pipes-attoparsec
  pipes-binary
  pipes-bytestring
  pipes-concurrency
  pipes-csv
  pipes-extras
  pipes-group
  pipes-http
  pipes-mongodb
  pipes-network
  pipes-parse
  pipes-safe
  pipes-shell
  pipes-text
  posix-paths
  postgresql-simple
  pretty-show
  profunctors
  random
  reducers
  reflection
  regex-applicative
  regex-base
  regex-compat
  regex-posix
  regular
  relational-record
  resourcet
  retry
  rex
  safe
  sbv
  scotty
  semigroupoids
  semigroups
  shake
  shakespeare
  shelly
  simple-reflect
  speculation
  split
  spoon
  stm
  stm-chans
  stm-stats
  streaming
  streaming-bytestring
  streaming-wai
  strict
  stringsearch
  strptime
  syb
  system-fileio
  system-filepath
  tagged
  taggy
  taggy-lens
  tar
  tardis
  tasty
  tasty-hspec
  tasty-hunit
  tasty-quickcheck
  tasty-smallcheck
  temporary
  test-framework
  test-framework-hunit
  text
  text-format
  time
  tinytemplate
  transformers
  transformers-base
  turtle
  uniplate
  unix-compat
  unordered-containers
  uuid
  vector
  void
  wai
  wai-conduit
  warp
  wreq
  xhtml
  yaml
  zippers
  zlib
];

Помощники оболочки

В вашем ~/.profile определите пару функций bash для загрузки этих сред для удобства:

env-type () {
  envtype="$1"
  shift
  nix-shell -Q -p $envtype "$@"
}

haskell-env () {
  env-type "haskellEnv" "$@"
}

haskell-env-hoogle () {
  env-type "haskellEnvHoogle" "$@"
}

Гугл

Вызовите haskell-env-hoogle в своей оболочке. Это соберет все ваши пакеты + документы и загрузит вас в среду с областью действия hoogle. В этот момент я обычно печатаю:

hoogle server --local -p 8080 &> /tmp/hoogle.log & disown

для запуска сервера hoogle в фоновом режиме. В конце концов, я хочу иметь для этого службу systemd, чтобы я мог просто перестроить nixos, чтобы восстановить документы и автоматически запустить сервер.

Emacs

Для emacs я установил haskell-hoogle-url на http://localhost:8080/?hoogle=%s, чтобы я мог получить локальную документацию hoogle для ключевых слов под моим курсором. Я использую spacemacs, поэтому я просто набираю , h h для этой функции.

Вы можете увидеть мою полную конфигурацию nixpkgs здесь: https://github.com/jb55/nix-files/blob/659798f2ca81fb7ad0cb5a29de576024ee16eef8/nixpkgs/config.nix#L20

Надеюсь, это поможет.

person William Casarin    schedule 14.12.2015

haskellPackages.hoogleLocal кажется устаревшим; его больше не существует.

Ответ Уильяма Казарина, по-видимому, предполагает, что у вас будет единая «среда разработки haskell», которую вы используете, а не использование nix-shell для разных сред разработки для разных проектов.

Вместо этого я только что придумал, как сделать так, чтобы мой shell.nix переопределял ghc.withPackages и ghcWithPackages на ghc.withHoogle, так что, когда nix-shell создает среду с GHC, который знает обо всех необходимых пакетах, он также создает база данных google, которая знает об этих же пакетах.

Вот мой shell.nix1:

{ nixpkgs ? import <nixpkgs> {}, compiler ? "default", withHoogle ? true }:

let

  inherit (nixpkgs) pkgs;

  f = import ./default.nix;

  packageSet = (
    if compiler == "default"
      then  pkgs.haskellPackages
      else  pkgs.haskell.packages.${compiler}
  );

  haskellPackages = (
    if withHoogle
      then  packageSet.override {
              overrides = (self: super:
                {
                  ghc = super.ghc // { withPackages = super.ghc.withHoogle; };
                  ghcWithPackages = self.ghc.withPackages;
                }
              );
            }
      else  packageSet
  );

  drv = haskellPackages.callPackage f {};

in

  if pkgs.lib.inNixShell then drv.env else drv

Я новичок в nix, но я считаю, что это должно быть в значительной степени «независимым от проекта»; Я могу использовать cabal2nix . > default.nix для создания пакета nix из моего файла клики, когда я изменяю его, не касаясь shell.nix.

На самом деле я еще не использовал это в реальной разработке, только фиктивный проект, который я использовал, чтобы попытаться выяснить, как заставить hoogle работать в nix-shell.


1Скелет этого был тем, что выплевывает cabal2nix --shell, с удалением специфических для проекта кишок и заменой их f = import ./default.nix вместо повторного встраивания аниксифицированного пакета клики.

person Ben    schedule 04.01.2016
comment
Ага! Я делал это так. При написании большого количества кода на Haskell мне проще иметь все в одной оболочке для быстрой разработки. Но это прекрасно работает, если у вас есть только один проект, над которым вы работаете. - person William Casarin; 15.01.2016

Используя ответ @Ben в качестве ссылки, вот разница в необходимых изменениях, которые мне нужно было внести в файл cabal2nix --shell:

diff --git a/shell.nix b/shell.nix
index 540ade3..e207d6e 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,4 +1,4 @@
-{ nixpkgs ? import <nixpkgs> {}, compiler ? "default", doBenchmark ? false }:
+{ nixpkgs ? import <nixpkgs> {}, compiler ? "default", doBenchmark ? false , withHoogle ? true}:

 let

@@ -21,10 +21,23 @@ let
         license = stdenv.lib.licenses.bsd3;
       };

-  haskellPackages = if compiler == "default"
+  haskellPackages' = if compiler == "default"
                        then pkgs.haskellPackages
                        else pkgs.haskell.packages.${compiler};

+  haskellPackages = (
+    if withHoogle
+    then  haskellPackages'.override {
+      overrides = (self: super:
+        {
+          ghc = super.ghc // { withPackages = super.ghc.withHoogle; };
+          ghcWithPackages = self.ghc.withPackages;
+        }
+      );
+    }
+    else haskellPackages'
+  );
+
   variant = if doBenchmark then pkgs.haskell.lib.doBenchmark else pkgs.lib.id;

   drv = variant (haskellPackages.callPackage f {});```
person Chris Stryczynski    schedule 25.07.2019