├── templates
├── nixpkgs-cabal
│ ├── .envrc
│ ├── shell.nix
│ ├── .gitignore
│ ├── Main.hs
│ ├── all-hies-template.cabal
│ ├── default.nix
│ └── Readme.md
├── haskell.nix-cabal
│ ├── .envrc
│ ├── shell.nix
│ ├── .gitignore
│ ├── cabal.project
│ ├── Main.hs
│ ├── all-hies-template.cabal
│ ├── default.nix
│ └── Readme.md
├── haskell.nix-stack
│ ├── .envrc
│ ├── shell.nix
│ ├── .gitignore
│ ├── cabal.project
│ ├── Main.hs
│ ├── all-hies-template.cabal
│ ├── default.nix
│ ├── stack.yaml
│ └── Readme.md
└── Readme.md
├── generated
├── 8.6.5
│ ├── materialized
│ │ ├── .stack-to-nix.cache
│ │ ├── default.nix
│ │ ├── hie-plugin-api.nix
│ │ └── haskell-ide-engine.nix
│ ├── stack-sha256
│ └── materialization-id
└── 8.8.3
│ ├── materialized
│ ├── .stack-to-nix.cache
│ ├── default.nix
│ ├── hie-plugin-api.nix
│ └── haskell-ide-engine.nix
│ ├── stack-sha256
│ └── materialization-id
├── .gitignore
├── .gitattributes
├── .editorconfig
├── default.nix
├── overlay.nix
├── sources.nix
├── Readme.md
├── .github
└── workflows
│ └── builds.yaml
└── LICENSE
/templates/nixpkgs-cabal/.envrc:
--------------------------------------------------------------------------------
1 | use nix
2 |
--------------------------------------------------------------------------------
/generated/8.6.5/materialized/.stack-to-nix.cache:
--------------------------------------------------------------------------------
1 |
--------------------------------------------------------------------------------
/generated/8.8.3/materialized/.stack-to-nix.cache:
--------------------------------------------------------------------------------
1 |
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/.envrc:
--------------------------------------------------------------------------------
1 | use nix
2 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/.envrc:
--------------------------------------------------------------------------------
1 | use nix
2 |
--------------------------------------------------------------------------------
/.gitignore:
--------------------------------------------------------------------------------
1 | result*
2 | dist
3 | \#*\#
4 | .\#*
5 |
--------------------------------------------------------------------------------
/.gitattributes:
--------------------------------------------------------------------------------
1 | /generated/** linguist-generated=true
2 |
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/shell.nix:
--------------------------------------------------------------------------------
1 | (import ./.).env
2 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/shell.nix:
--------------------------------------------------------------------------------
1 | (import ./.).env
2 |
--------------------------------------------------------------------------------
/templates/nixpkgs-cabal/shell.nix:
--------------------------------------------------------------------------------
1 | (import ./.).env
2 |
--------------------------------------------------------------------------------
/templates/nixpkgs-cabal/.gitignore:
--------------------------------------------------------------------------------
1 | result
2 | dist-newstyle
3 |
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/.gitignore:
--------------------------------------------------------------------------------
1 | result
2 | dist-newstyle
3 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/.gitignore:
--------------------------------------------------------------------------------
1 | result
2 | .stack-work
3 |
--------------------------------------------------------------------------------
/generated/8.6.5/stack-sha256:
--------------------------------------------------------------------------------
1 | 0mvalnps5xnjg5qhr3kgl791fvxy8w1c3cki07kccps2ps9fhmj5
2 |
--------------------------------------------------------------------------------
/generated/8.8.3/stack-sha256:
--------------------------------------------------------------------------------
1 | 0fd2gzgg626r718l21bmgs689wy0x9b9690mp7sdx99jp1bjpd77
2 |
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/cabal.project:
--------------------------------------------------------------------------------
1 | packages: .
2 |
3 | index-state: 2020-05-15T00:00:00Z
4 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/cabal.project:
--------------------------------------------------------------------------------
1 | packages: .
2 |
3 | index-state: 2020-05-15T00:00:00Z
4 |
--------------------------------------------------------------------------------
/templates/nixpkgs-cabal/Main.hs:
--------------------------------------------------------------------------------
1 | module Main where
2 |
3 | main :: IO ()
4 | main = putStrLn "Hello!"
5 |
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/Main.hs:
--------------------------------------------------------------------------------
1 | module Main where
2 |
3 | main :: IO ()
4 | main = putStrLn "Hello!"
5 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/Main.hs:
--------------------------------------------------------------------------------
1 | module Main where
2 |
3 | main :: IO ()
4 | main = putStrLn "Hello!"
5 |
--------------------------------------------------------------------------------
/.editorconfig:
--------------------------------------------------------------------------------
1 | root = true
2 |
3 | [*]
4 | indent_style = space
5 | indent_size = 2
6 | end_of_line = lf
7 | insert_final_newline = true
8 | trim_trailing_whitespace = true
9 | charset = utf-8
10 |
--------------------------------------------------------------------------------
/generated/8.6.5/materialization-id:
--------------------------------------------------------------------------------
1 | These materialization files were generated with
2 | haskell.nix af5998fe8d6b201d2a9be09993f1b9fae74e0082
3 | haskell-ide-engine fe630a1e31232013549518909e511924e19af4af
4 |
--------------------------------------------------------------------------------
/generated/8.8.3/materialization-id:
--------------------------------------------------------------------------------
1 | These materialization files were generated with
2 | haskell.nix af5998fe8d6b201d2a9be09993f1b9fae74e0082
3 | haskell-ide-engine fe630a1e31232013549518909e511924e19af4af
4 |
--------------------------------------------------------------------------------
/templates/Readme.md:
--------------------------------------------------------------------------------
1 | # HIE template projects
2 |
3 | This directory contains template projects with a fully working development environment:
4 |
5 | - A haskell.nix based template for stack in [haskell.nix-stack](./haskell.nix-stack)
6 | - A haskell.nix based template for cabal in [haskell.nix-cabal](./haskell.nix-cabal)
7 | - A nixpkgs Haskell infrastructure based template for cabal in [nixpkgs-cabal](nixpkgs-cabal)
8 |
--------------------------------------------------------------------------------
/default.nix:
--------------------------------------------------------------------------------
1 | {}:
2 | let
3 | legacyError = throw ''
4 | all-hies has undergone major changes and now needs to be used on a per-project basis.
5 | See https://github.com/Infinisil/all-hies/blob/master/Readme.md for more info.
6 | The last version that doesn't have these changes is 4b6aab017cdf96a90641dc287437685675d598da.
7 | '';
8 | in {
9 | overlay = import ./overlay.nix;
10 |
11 | combined = legacyError;
12 | versions = legacyError;
13 | selection = legacyError;
14 | latest = legacyError;
15 | unstable = legacyError;
16 | bios = legacyError;
17 | unstableFallback = legacyError;
18 | }
19 |
--------------------------------------------------------------------------------
/templates/nixpkgs-cabal/all-hies-template.cabal:
--------------------------------------------------------------------------------
1 | name: all-hies-template
2 | version: 0.1.0.0
3 | -- synopsis:
4 | -- description:
5 | -- homepage:
6 | -- license:
7 | -- license-file: LICENSE
8 | -- author:
9 | -- maintainer:
10 | -- copyright:
11 | -- category: Web
12 | build-type: Simple
13 | cabal-version: 2.0
14 |
15 | executable all-hies-template
16 | main-is: Main.hs
17 | default-language: Haskell2010
18 | build-depends: base >= 4.7 && < 5
19 | -- Cabal needed for HIEs cabal-helper
20 | , Cabal
21 |
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/all-hies-template.cabal:
--------------------------------------------------------------------------------
1 | name: all-hies-template
2 | version: 0.1.0.0
3 | -- synopsis:
4 | -- description:
5 | -- homepage:
6 | -- license:
7 | -- license-file: LICENSE
8 | -- author:
9 | -- maintainer:
10 | -- copyright:
11 | -- category: Web
12 | build-type: Simple
13 | cabal-version: 2.0
14 |
15 | executable all-hies-template
16 | main-is: Main.hs
17 | default-language: Haskell2010
18 | build-depends: base >= 4.7 && < 5
19 | -- Cabal needed for HIEs cabal-helper, needs to match the
20 | -- cabal(-install) version in default.nix
21 | , Cabal == 3.2.0.0
22 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/all-hies-template.cabal:
--------------------------------------------------------------------------------
1 | name: all-hies-template
2 | version: 0.1.0.0
3 | -- synopsis:
4 | -- description:
5 | -- homepage:
6 | -- license:
7 | -- license-file: LICENSE
8 | -- author:
9 | -- maintainer:
10 | -- copyright:
11 | -- category: Web
12 | build-type: Simple
13 | cabal-version: 2.0
14 |
15 | executable all-hies-template
16 | main-is: Main.hs
17 | default-language: Haskell2010
18 | build-depends: base >= 4.7 && < 5
19 | -- Cabal needed for HIEs cabal-helper, needs to match the
20 | -- cabal(-install) version in default.nix
21 | , Cabal == 3.2.0.0
22 |
--------------------------------------------------------------------------------
/overlay.nix:
--------------------------------------------------------------------------------
1 | let
2 | build = import ./build.nix;
3 | in final: prev:
4 | let
5 | glibcName =
6 | if final.stdenv.hostPlatform.isDarwin
7 | # glibc matching doesn't matter for darwin
8 | then "glibc-2.30"
9 | else final.glibc.name;
10 | in {
11 |
12 | haskell = prev.haskell // {
13 | packageOverrides = final.lib.composeExtensions prev.haskell.packageOverrides
14 | (hfinal: hprev: {
15 | hie = (build {
16 | inherit glibcName;
17 | ghcVersion = hfinal.ghc.version;
18 | }).combined;
19 | });
20 | };
21 |
22 | }
23 | # Only include this part if a haskell-nix overlay is there
24 | // prev.lib.optionalAttrs (prev ? haskell-nix) {
25 |
26 | haskell-nix = prev.haskell-nix // {
27 | custom-tools = prev.haskell-nix.custom-tools // {
28 | hie.unstable = args: (build {
29 | inherit glibcName;
30 | ghcVersion = if args ? compiler-nix-name
31 | then final.haskell-nix.compiler.${args.compiler-nix-name}.version
32 | else args.ghc.version; # deprecated
33 | }).combined;
34 | };
35 | };
36 |
37 | }
38 |
--------------------------------------------------------------------------------
/sources.nix:
--------------------------------------------------------------------------------
1 | let
2 | haskellNixVersion = "af5998fe8d6b201d2a9be09993f1b9fae74e0082";
3 | haskellNixSrc = fetchTarball {
4 | url = "https://github.com/input-output-hk/haskell.nix/tarball/${haskellNixVersion}";
5 | sha256 = "0z5w99wkkpg2disvwjnsyp45w0bhdkrhvnrpz5nbwhhp21c71mbn";
6 | };
7 | haskellNix = import haskellNixSrc {};
8 |
9 | glibcSpecificPkgs = {
10 | "glibc-2.30" = import haskellNix.sources.nixpkgs-2003 haskellNix.nixpkgsArgs;
11 | "glibc-2.27" = import haskellNix.sources.nixpkgs-1909 haskellNix.nixpkgsArgs;
12 | };
13 |
14 | pkgs = glibcSpecificPkgs."glibc-2.30";
15 |
16 | hie = rec {
17 | # unstable-2020-05-23
18 | version = "fe630a1e31232013549518909e511924e19af4af";
19 | src = fetchTarball {
20 | url = "https://github.com/haskell/haskell-ide-engine/archive/${version}.tar.gz";
21 | sha256 = "1lbbzk9kj39h79wb8imv5s22y592cyyrk06y24glrcxh5bzghb9l";
22 | };
23 | };
24 |
25 | # String gets written to the generated directory, so CI can quickly know
26 | # whether materialization files need to be updated
27 | materializationId = builtins.toFile "materialization-id" ''
28 | These materialization files were generated with
29 | haskell.nix ${haskellNixVersion}
30 | haskell-ide-engine ${hie.version}
31 | '';
32 |
33 | in {
34 | inherit glibcSpecificPkgs pkgs hie materializationId;
35 | }
36 |
--------------------------------------------------------------------------------
/templates/nixpkgs-cabal/default.nix:
--------------------------------------------------------------------------------
1 | let
2 | nixpkgs = fetchTarball {
3 | url = "https://github.com/NixOS/nixpkgs/tarball/f8248ab6d9e69ea9c07950d73d48807ec595e923";
4 | sha256 = "009i9j6mbq6i481088jllblgdnci105b2q4mscprdawg3knlyahk";
5 | };
6 |
7 | all-hies = ../..;
8 |
9 | # Use this version for your project instead
10 | /*
11 | all-hies = fetchTarball {
12 | # Insert the desired all-hies commit here
13 | url = "https://github.com/infinisil/all-hies/tarball/000000000000000000000000000000000000000";
14 | # Insert the correct hash after the first evaluation
15 | sha256 = "0000000000000000000000000000000000000000000000000000";
16 | };
17 | */
18 |
19 | pkgs = import nixpkgs {
20 | config = {};
21 | overlays = [
22 | (import all-hies {}).overlay
23 | ];
24 | };
25 | inherit (pkgs) lib;
26 |
27 | set = pkgs.haskell.packages.ghc865.override (old: {
28 | overrides = lib.composeExtensions old.overrides (hself: hsuper: {
29 | all-hies-template = hself.callCabal2nix "all-hies-template" (lib.sourceByRegex ./. [
30 | "^.*\\.hs$"
31 | "^.*\\.cabal$"
32 | ]) {
33 | # Needs to match cabal-install version
34 | Cabal = hself.Cabal_3_0_0_0;
35 | };
36 | });
37 | });
38 |
39 | in pkgs.haskell.lib.justStaticExecutables set.all-hies-template // {
40 | env = set.shellFor {
41 | packages = p: [ p.all-hies-template ];
42 | nativeBuildInputs = [
43 | set.cabal-install
44 | set.hie
45 | ];
46 | withHoogle = true;
47 | shellHook = ''
48 | export HIE_HOOGLE_DATABASE=$(realpath "$(dirname "$(realpath "$(which hoogle)")")/../share/doc/hoogle/default.hoo")
49 | '';
50 | };
51 | inherit set;
52 | }
53 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/default.nix:
--------------------------------------------------------------------------------
1 | let
2 | haskellNixSrc = fetchTarball {
3 | url = "https://github.com/input-output-hk/haskell.nix/tarball/af5998fe8d6b201d2a9be09993f1b9fae74e0082";
4 | sha256 = "0z5w99wkkpg2disvwjnsyp45w0bhdkrhvnrpz5nbwhhp21c71mbn";
5 | };
6 | haskellNix = import haskellNixSrc {};
7 |
8 | all-hies = ../..;
9 |
10 | # Use this version for your project instead
11 | /*
12 | all-hies = fetchTarball {
13 | # Insert the desired all-hies commit here
14 | url = "https://github.com/infinisil/all-hies/tarball/000000000000000000000000000000000000000";
15 | # Insert the correct hash after the first evaluation
16 | sha256 = "0000000000000000000000000000000000000000000000000000";
17 | };
18 | */
19 |
20 | pkgs = import haskellNix.sources.nixpkgs-2003 (haskellNix.nixpkgsArgs // {
21 | overlays = haskellNix.nixpkgsArgs.overlays ++ [
22 | (import all-hies {}).overlay
23 | ];
24 | });
25 |
26 | set = pkgs.haskell-nix.stackProject {
27 | name = "all-hies-template";
28 | src = pkgs.haskell-nix.haskellLib.cleanGit {
29 | name = "all-hies-template";
30 | src = ./.;
31 | };
32 | modules = [{
33 | # Make Cabal reinstallable
34 | nonReinstallablePkgs = [ "rts" "ghc-heap" "ghc-prim" "integer-gmp" "integer-simple" "base" "deepseq" "array" "ghc-boot-th" "pretty" "template-haskell" "ghcjs-prim" "ghcjs-th" "ghc-boot" "ghc" "Win32" "array" "binary" "bytestring" "containers" "directory" "filepath" "ghc-boot" "ghc-compact" "ghc-prim" "hpc" "mtl" "parsec" "process" "text" "time" "transformers" "unix" "xhtml" "terminfo" ];
35 | }];
36 | };
37 | in set.all-hies-template.components.exes.all-hies-template // {
38 | env = set.shellFor {
39 | packages = p: [ p.all-hies-template ];
40 | tools = {
41 | hie = "unstable";
42 | };
43 | nativeBuildInputs = [ pkgs.stack ];
44 | shellHook = ''
45 | export HIE_HOOGLE_DATABASE=$(realpath "$(dirname "$(realpath "$(which hoogle)")")/../share/doc/hoogle/default.hoo")
46 | '';
47 | };
48 | }
49 |
--------------------------------------------------------------------------------
/generated/8.8.3/materialized/default.nix:
--------------------------------------------------------------------------------
1 | {
2 | extras = hackage:
3 | {
4 | packages = {
5 | "apply-refact" = (((hackage.apply-refact)."0.7.0.0").revisions).default;
6 | "Cabal" = (((hackage.Cabal)."3.0.2.0").revisions).default;
7 | "cabal-helper" = (((hackage.cabal-helper)."1.1.0.0").revisions).default;
8 | "clock" = (((hackage.clock)."0.7.2").revisions).default;
9 | "constrained-dynamic" = (((hackage.constrained-dynamic)."0.1.0.0").revisions).default;
10 | "floskell" = (((hackage.floskell)."0.10.2").revisions).default;
11 | "ghc-lib-parser" = (((hackage.ghc-lib-parser)."8.8.2.20200205").revisions).default;
12 | "ghc-lib-parser-ex" = (((hackage.ghc-lib-parser-ex)."8.8.5.3").revisions).default;
13 | "haddock-api" = (((hackage.haddock-api)."2.23.1").revisions).default;
14 | "hoogle" = (((hackage.hoogle)."5.0.17.15").revisions).default;
15 | "hsimport" = (((hackage.hsimport)."0.11.0").revisions).default;
16 | "ilist" = (((hackage.ilist)."0.3.1.0").revisions).default;
17 | "monad-dijkstra" = (((hackage.monad-dijkstra)."0.1.1.2").revisions).default;
18 | "semigroups" = (((hackage.semigroups)."0.18.5").revisions).default;
19 | "temporary" = (((hackage.temporary)."1.2.1.1").revisions).default;
20 | "unliftio-core" = (((hackage.unliftio-core)."0.2.0.1").revisions).default;
21 | "hie-bios" = (((hackage.hie-bios)."0.5.0").revisions).default;
22 | "bytestring-trie" = (((hackage.bytestring-trie)."0.2.5.0").revisions).r1;
23 | haskell-ide-engine = ./haskell-ide-engine.nix;
24 | hie-plugin-api = ./hie-plugin-api.nix;
25 | };
26 | };
27 | resolver = "lts-15.10";
28 | modules = [
29 | ({ lib, ... }:
30 | {
31 | packages = {
32 | "haskell-ide-engine" = {
33 | flags = { "pedantic" = lib.mkOverride 900 true; };
34 | };
35 | "hie-plugin-api" = {
36 | flags = { "pedantic" = lib.mkOverride 900 true; };
37 | };
38 | };
39 | })
40 | { packages = {}; }
41 | ];
42 | }
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/default.nix:
--------------------------------------------------------------------------------
1 | let
2 | haskellNixSrc = fetchTarball {
3 | url = "https://github.com/input-output-hk/haskell.nix/tarball/af5998fe8d6b201d2a9be09993f1b9fae74e0082";
4 | sha256 = "0z5w99wkkpg2disvwjnsyp45w0bhdkrhvnrpz5nbwhhp21c71mbn";
5 | };
6 | haskellNix = import haskellNixSrc {};
7 |
8 | all-hies = ../..;
9 |
10 | # Use this version for your project instead
11 | /*
12 | all-hies = fetchTarball {
13 | # Insert the desired all-hies commit here
14 | url = "https://github.com/infinisil/all-hies/tarball/000000000000000000000000000000000000000";
15 | # Insert the correct hash after the first evaluation
16 | sha256 = "0000000000000000000000000000000000000000000000000000";
17 | };
18 | */
19 |
20 | pkgs = import haskellNix.sources.nixpkgs-2003 (haskellNix.nixpkgsArgs // {
21 | overlays = haskellNix.nixpkgsArgs.overlays ++ [
22 | (import all-hies {}).overlay
23 | ];
24 | });
25 |
26 | set = pkgs.haskell-nix.cabalProject' {
27 | name = "all-hies-template";
28 | src = pkgs.haskell-nix.haskellLib.cleanGit {
29 | name = "all-hies-template";
30 | src = ./.;
31 | };
32 | ghc = pkgs.haskell-nix.compiler.ghc883;
33 | modules = [{
34 | # Make Cabal reinstallable
35 | nonReinstallablePkgs = [ "rts" "ghc-heap" "ghc-prim" "integer-gmp" "integer-simple" "base" "deepseq" "array" "ghc-boot-th" "pretty" "template-haskell" "ghcjs-prim" "ghcjs-th" "ghc-boot" "ghc" "Win32" "array" "binary" "bytestring" "containers" "directory" "filepath" "ghc-boot" "ghc-compact" "ghc-prim" "hpc" "mtl" "parsec" "process" "text" "time" "transformers" "unix" "xhtml" "terminfo" ];
36 | }];
37 | };
38 | in set.hsPkgs.all-hies-template.components.exes.all-hies-template // {
39 | env = set.hsPkgs.shellFor {
40 | packages = p: [ p.all-hies-template ];
41 | exactDeps = true;
42 | tools = {
43 | cabal = "3.2.0.0";
44 | hie = "unstable";
45 | };
46 | shellHook = ''
47 | export HIE_HOOGLE_DATABASE=$(realpath "$(dirname "$(realpath "$(which hoogle)")")/../share/doc/hoogle/default.hoo")
48 | '';
49 | };
50 | }
51 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/stack.yaml:
--------------------------------------------------------------------------------
1 | # This file was automatically generated by 'stack init'
2 | #
3 | # Some commonly used options have been documented as comments in this file.
4 | # For advanced use and comprehensive documentation of the format, please see:
5 | # https://docs.haskellstack.org/en/stable/yaml_configuration/
6 |
7 | # Resolver to choose a 'specific' stackage snapshot or a compiler version.
8 | # A snapshot resolver dictates the compiler version and the set of packages
9 | # to be used for project dependencies. For example:
10 | #
11 | # resolver: lts-3.5
12 | # resolver: nightly-2015-09-21
13 | # resolver: ghc-7.10.2
14 | #
15 | # The location of a snapshot can be provided as a file or url. Stack assumes
16 | # a snapshot provided as a file might change, whereas a url resource does not.
17 | #
18 | # resolver: ./custom-snapshot.yaml
19 | # resolver: https://example.com/snapshots/2018-01-01.yaml
20 | resolver: lts-15.12
21 |
22 | # User packages to be built.
23 | # Various formats can be used as shown in the example below.
24 | #
25 | # packages:
26 | # - some-directory
27 | # - https://example.com/foo/bar/baz-0.0.2.tar.gz
28 | # subdirs:
29 | # - auto-update
30 | # - wai
31 | packages:
32 | - .
33 | # Dependency packages to be pulled from upstream that are not in the resolver.
34 | # These entries can reference officially published versions as well as
35 | # forks / in-progress versions pinned to a git hash. For example:
36 | #
37 | extra-deps:
38 | - Cabal-3.2.0.0
39 | # - acme-missiles-0.3
40 | # - git: https://github.com/commercialhaskell/stack.git
41 | # commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
42 | #
43 | # extra-deps: []
44 |
45 | # Override default flag values for local packages and extra-deps
46 | # flags: {}
47 |
48 | # Extra package databases containing global packages
49 | # extra-package-dbs: []
50 |
51 | # Control whether we use the GHC we find on the path
52 | # system-ghc: true
53 | #
54 | # Require a specific version of stack, using version ranges
55 | # require-stack-version: -any # Default
56 | # require-stack-version: ">=2.1"
57 | #
58 | # Override the architecture used by stack, especially useful on Windows
59 | # arch: i386
60 | # arch: x86_64
61 | #
62 | # Extra directories used by stack for building
63 | # extra-include-dirs: [/path/to/dir]
64 | # extra-lib-dirs: [/path/to/dir]
65 | #
66 | # Allow a newer minor version of GHC than the snapshot specifies
67 | # compiler-check: newer-minor
68 |
--------------------------------------------------------------------------------
/templates/nixpkgs-cabal/Readme.md:
--------------------------------------------------------------------------------
1 | # Nix-based Haskell project template using nixpkgs' Haskell infrastructure
2 |
3 | This template has support for:
4 | - Building the project with Nix
5 | - Entering a dev environment with Nix, which includes
6 | - GHC and cabal-install for the `cabal` command
7 | - All the projects Haskell dependencies
8 | - Haskell IDE Engine with a working Cabal version
9 | - An up-to-date local Hoogle database, usable by HIE
10 | - Minimal compilation since most things are cached already
11 |
12 | It uses the nixpkgs Haskell infrastructure for this.
13 |
14 | # Usage
15 |
16 | ## Setting up the caches
17 |
18 | To use this, you should first enable the necessary Nix caches so that most things don't have to be compiled. This is done using [Cachix](https://cachix.org/). If you don't have it already, you can install cachix with
19 |
20 | ```
21 | $ nix-env -iA cachix -f https://cachix.org/api/v1/install
22 | ```
23 |
24 | After which you can enable the `all-hies` cache:
25 |
26 | ```
27 | $ cachix use all-hies
28 | ```
29 |
30 | ## Entering the dev environment
31 |
32 | This can be done either using `nix-shell`:
33 |
34 | ```
35 | $ nix-shell
36 | [nix-shell:~/all-hies/templates/nixpkgs-cabal]$
37 | ```
38 |
39 | Or automatically when you enter the project directory using [direnv](https://direnv.net/) or [lorri](https://github.com/target/lorri) (by running `lorri init` first)
40 |
41 | After entering the environment you can use the standard `cabal` commands for interacting with the project. Note that these will use all dependencies from Nix:
42 | ```
43 | $ cabal build # building the project
44 | $ cabal repl # Getting a ghci repl
45 | $ cabal run # Running an executable
46 | ```
47 |
48 | In this environment HIE is available, which you can verify works with the `hie` command:
49 |
50 | ```
51 | $ hie
52 | [...]
53 | /home/infinisil/all-hies/templates/nixpkgs-cabal/Main.hs: OK
54 | ```
55 |
56 | The easiest way to get your editor to find HIE is to just start it in this environment:
57 | ```
58 | $ vim
59 | $ emacs
60 | $ code
61 | $ sublime
62 | $ atom
63 | ```
64 |
65 | Note that you still need to set up the necessary editor extensions yourself. See [here](https://github.com/haskell/haskell-ide-engine#editor-integration) for how to do this
66 |
67 | A local Hoogle database is also available with all the dependencies of the project, which is used by HIE. You can start a hoogle server using
68 | ```
69 | $ hoogle server
70 | Server started on port 8080
71 | Reading log...0.00s
72 | 2020-07-25T01:29:13.173630988 - Server starting on port 8080 and host/IP HostAny
73 | ```
74 |
75 | ## Building the project with Nix
76 |
77 | This is done with just a `nix-build` in the root.
78 | ```
79 | $ nix-build
80 | ```
81 |
--------------------------------------------------------------------------------
/templates/haskell.nix-cabal/Readme.md:
--------------------------------------------------------------------------------
1 | # Nix-based Haskell project template using [haskell.nix](https://input-output-hk.github.io/haskell.nix/)
2 |
3 | This template has support for:
4 | - Building the project with Nix
5 | - Entering a dev environment with Nix, which includes
6 | - GHC and cabal-install for the `cabal` command
7 | - All the projects Haskell dependencies
8 | - Haskell IDE Engine with a working Cabal version
9 | - An up-to-date local Hoogle database, usable by HIE
10 | - Minimal compilation since most things are cached already
11 |
12 | It uses the haskell.nix Haskell infrastructure for this.
13 |
14 | # Usage
15 |
16 | ## Setting up the caches
17 |
18 | To use this, you should first enable the necessary Nix caches so that most things don't have to be compiled. This is done using [Cachix](https://cachix.org/). If you don't have it already, you can install cachix with
19 |
20 | ```
21 | $ nix-env -iA cachix -f https://cachix.org/api/v1/install
22 | ```
23 |
24 | After which you can enable the `all-hies` and `iohk` caches, both of which are recommended for this template:
25 |
26 | ```
27 | $ cachix use all-hies
28 | $ cachix use iohk
29 | ```
30 |
31 | ## Entering the dev environment
32 |
33 | This can be done either using `nix-shell`:
34 |
35 | ```
36 | $ nix-shell
37 | [nix-shell:~/all-hies/templates/haskell.nix-cabal]$
38 | ```
39 |
40 | Or automatically when you enter the project directory using [direnv](https://direnv.net/) or [lorri](https://github.com/target/lorri) (by running `lorri init` first). Note that entering the environment the first time will take quite some time due to how haskell.nix works.
41 |
42 | After entering the environment you can use the standard `cabal` commands for interacting with the project. Note that these will use all dependencies from Nix:
43 | ```
44 | $ cabal build # building the project
45 | $ cabal repl # Getting a ghci repl
46 | $ cabal run # Running an executable
47 | ```
48 |
49 | In this environment HIE is available, which you can verify works with the `hie` command:
50 |
51 | ```
52 | $ hie
53 | [...]
54 | /home/infinisil/all-hies/templates/haskell.nix-cabal/Main.hs: OK
55 | ```
56 |
57 | The easiest way to get your editor to find HIE is to just start it in this environment:
58 | ```
59 | $ vim
60 | $ emacs
61 | $ code
62 | $ sublime
63 | $ atom
64 | ```
65 |
66 | Note that you still need to set up the necessary editor extensions yourself. See [here](https://github.com/haskell/haskell-ide-engine#editor-integration) for how to do this
67 |
68 | A local Hoogle database is also available with all the dependencies of the project, which is used by HIE. You can start a hoogle server using
69 | ```
70 | $ hoogle server
71 | Server started on port 8080
72 | Reading log...0.00s
73 | 2020-07-25T01:29:13.173630988 - Server starting on port 8080 and host/IP HostAny
74 | ```
75 |
76 | ## Building the project with Nix
77 |
78 | This is done with just a `nix-build` in the root.
79 | ```
80 | $ nix-build
81 | ```
82 |
--------------------------------------------------------------------------------
/templates/haskell.nix-stack/Readme.md:
--------------------------------------------------------------------------------
1 | # Nix-based Haskell project template using [haskell.nix](https://input-output-hk.github.io/haskell.nix/) and [Stack](https://docs.haskellstack.org/en/stable/README/)
2 |
3 | This template has support for:
4 | - Building the project with Nix
5 | - Entering a dev environment with Nix, which includes
6 | - GHC and stack
7 | - All the projects Haskell dependencies
8 | - Haskell IDE Engine with a working Cabal version
9 | - An up-to-date local Hoogle database, usable by HIE
10 | - Minimal compilation since most things are cached already
11 |
12 | It uses the haskell.nix Haskell infrastructure for this.
13 |
14 | # Usage
15 |
16 | ## Setting up the caches
17 |
18 | To use this, you should first enable the necessary Nix caches so that most things don't have to be compiled. This is done using [Cachix](https://cachix.org/). If you don't have it already, you can install cachix with
19 |
20 | ```
21 | $ nix-env -iA cachix -f https://cachix.org/api/v1/install
22 | ```
23 |
24 | After which you can enable the `all-hies` and `iohk` caches, both of which are recommended for this template:
25 |
26 | ```
27 | $ cachix use all-hies
28 | $ cachix use iohk
29 | ```
30 |
31 | ## Entering the dev environment
32 |
33 | This can be done either using `nix-shell`:
34 |
35 | ```
36 | $ nix-shell
37 | [nix-shell:~/all-hies/templates/haskell.nix-stack]$
38 | ```
39 |
40 | Or automatically when you enter the project directory using [direnv](https://direnv.net/) or [lorri](https://github.com/target/lorri) (by running `lorri init` first). Note that entering the environment the first time will take quite some time due to how haskell.nix works.
41 |
42 | After entering the environment you can use the standard `stack` commands for interacting with the project. Note that these will use all dependencies from Nix:
43 | ```
44 | $ stack build # building the project
45 | $ stack repl # Getting a ghci repl
46 | $ stack run # Running an executable
47 | ```
48 |
49 | In this environment HIE is available, which you can verify works with the `hie` command:
50 |
51 | ```
52 | $ hie
53 | [...]
54 | /home/infinisil/all-hies/templates/haskell.nix-stack/Main.hs: OK
55 | ```
56 |
57 | The easiest way to get your editor to find HIE is to just start it in this environment:
58 | ```
59 | $ vim
60 | $ emacs
61 | $ code
62 | $ sublime
63 | $ atom
64 | ```
65 |
66 | Note that you still need to set up the necessary editor extensions yourself. See [here](https://github.com/haskell/haskell-ide-engine#editor-integration) for how to do this
67 |
68 | A local Hoogle database is also available with all the dependencies of the project, which is used by HIE. You can start a hoogle server using
69 | ```
70 | $ hoogle server
71 | Server started on port 8080
72 | Reading log...0.00s
73 | 2020-07-25T01:29:13.173630988 - Server starting on port 8080 and host/IP HostAny
74 | ```
75 |
76 | ## Building the project with Nix
77 |
78 | This is done with just a `nix-build` in the root.
79 | ```
80 | $ nix-build
81 | ```
82 |
--------------------------------------------------------------------------------
/generated/8.6.5/materialized/default.nix:
--------------------------------------------------------------------------------
1 | {
2 | extras = hackage:
3 | {
4 | packages = {
5 | "aeson" = (((hackage.aeson)."1.4.6.0").revisions).default;
6 | "aeson-pretty" = (((hackage.aeson-pretty)."0.8.8").revisions).default;
7 | "ansi-terminal" = (((hackage.ansi-terminal)."0.10.2").revisions).default;
8 | "ansi-wl-pprint" = (((hackage.ansi-wl-pprint)."0.6.9").revisions).default;
9 | "base-compat" = (((hackage.base-compat)."0.11.1").revisions).default;
10 | "brittany" = (((hackage.brittany)."0.12.1.1").revisions).default;
11 | "bytestring-trie" = (((hackage.bytestring-trie)."0.2.5.0").revisions).default;
12 | "Cabal" = (((hackage.Cabal)."3.0.2.0").revisions).default;
13 | "cabal-helper" = (((hackage.cabal-helper)."1.1.0.0").revisions).default;
14 | "cabal-plan" = (((hackage.cabal-plan)."0.6.2.0").revisions).default;
15 | "clock" = (((hackage.clock)."0.7.2").revisions).default;
16 | "constrained-dynamic" = (((hackage.constrained-dynamic)."0.1.0.0").revisions).default;
17 | "extra" = (((hackage.extra)."1.6.21").revisions).default;
18 | "floskell" = (((hackage.floskell)."0.10.2").revisions).default;
19 | "ghc-exactprint" = (((hackage.ghc-exactprint)."0.6.2").revisions).default;
20 | "ghc-lib-parser" = (((hackage.ghc-lib-parser)."8.8.2.20200205").revisions).default;
21 | "ghc-lib-parser-ex" = (((hackage.ghc-lib-parser-ex)."8.8.5.3").revisions).default;
22 | "haskell-lsp" = (((hackage.haskell-lsp)."0.20.0.0").revisions).default;
23 | "haskell-lsp-types" = (((hackage.haskell-lsp-types)."0.20.0.0").revisions).default;
24 | "haskell-src-exts" = (((hackage.haskell-src-exts)."1.22.0").revisions).default;
25 | "hie-bios" = (((hackage.hie-bios)."0.5.0").revisions).default;
26 | "hlint" = (((hackage.hlint)."2.2.11").revisions).default;
27 | "hoogle" = (((hackage.hoogle)."5.0.17.15").revisions).default;
28 | "indexed-profunctors" = (((hackage.indexed-profunctors)."0.1").revisions).default;
29 | "lens" = (((hackage.lens)."4.18").revisions).default;
30 | "lsp-test" = (((hackage.lsp-test)."0.10.1.0").revisions).default;
31 | "monad-dijkstra" = (((hackage.monad-dijkstra)."0.1.1.2").revisions).default;
32 | "optics-core" = (((hackage.optics-core)."0.2").revisions).default;
33 | "optparse-applicative" = (((hackage.optparse-applicative)."0.15.1.0").revisions).default;
34 | "ormolu" = (((hackage.ormolu)."0.0.3.1").revisions).default;
35 | "parser-combinators" = (((hackage.parser-combinators)."1.2.1").revisions).default;
36 | "resourcet" = (((hackage.resourcet)."1.2.3").revisions).default;
37 | "semialign" = (((hackage.semialign)."1.1").revisions).default;
38 | "temporary" = (((hackage.temporary)."1.2.1.1").revisions).default;
39 | "topograph" = (((hackage.topograph)."1").revisions).default;
40 | "type-equality" = (((hackage.type-equality)."1").revisions).default;
41 | "unliftio" = (((hackage.unliftio)."0.2.12.1").revisions).default;
42 | "unliftio-core" = (((hackage.unliftio-core)."0.2.0.1").revisions).default;
43 | "haddock-api" = (((hackage.haddock-api)."2.22.0").revisions).r1;
44 | "hsimport" = (((hackage.hsimport)."0.11.0").revisions).r2;
45 | haskell-ide-engine = ./haskell-ide-engine.nix;
46 | hie-plugin-api = ./hie-plugin-api.nix;
47 | };
48 | };
49 | resolver = "lts-14.22";
50 | modules = [
51 | ({ lib, ... }:
52 | {
53 | packages = {
54 | "haskell-ide-engine" = {
55 | flags = { "pedantic" = lib.mkOverride 900 true; };
56 | };
57 | "hie-plugin-api" = {
58 | flags = { "pedantic" = lib.mkOverride 900 true; };
59 | };
60 | };
61 | })
62 | { packages = {}; }
63 | ];
64 | }
--------------------------------------------------------------------------------
/generated/8.6.5/materialized/hie-plugin-api.nix:
--------------------------------------------------------------------------------
1 | { system
2 | , compiler
3 | , flags
4 | , pkgs
5 | , hsPkgs
6 | , pkgconfPkgs
7 | , errorHandler
8 | , config
9 | , ... }:
10 | {
11 | flags = { pedantic = false; };
12 | package = {
13 | specVersion = "2.0";
14 | identifier = { name = "hie-plugin-api"; version = "1.4"; };
15 | license = "BSD-3-Clause";
16 | copyright = "2015 TBD";
17 | maintainer = "alan.zimm@gmail.com (for now)";
18 | author = "Many,TBD when we release";
19 | homepage = "";
20 | url = "";
21 | synopsis = "Haskell IDE API for plugin communication";
22 | description = "Please see README.md";
23 | buildType = "Simple";
24 | isLocal = true;
25 | detailLevel = "FullDetails";
26 | licenseFiles = [ "LICENSE" ];
27 | dataDir = "";
28 | dataFiles = [];
29 | extraSrcFiles = [];
30 | extraTmpFiles = [];
31 | extraDocFiles = [];
32 | };
33 | components = {
34 | "library" = {
35 | depends = [
36 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
37 | (hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
38 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
39 | (hsPkgs."bytestring-trie" or (errorHandler.buildDepError "bytestring-trie"))
40 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
41 | (hsPkgs."cryptohash-sha1" or (errorHandler.buildDepError "cryptohash-sha1"))
42 | (hsPkgs."constrained-dynamic" or (errorHandler.buildDepError "constrained-dynamic"))
43 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
44 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
45 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
46 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
47 | (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree"))
48 | (hsPkgs."free" or (errorHandler.buildDepError "free"))
49 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
50 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
51 | (hsPkgs."cabal-helper" or (errorHandler.buildDepError "cabal-helper"))
52 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
53 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
54 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
55 | (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core"))
56 | (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
57 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
58 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
59 | (hsPkgs."sorted-list" or (errorHandler.buildDepError "sorted-list"))
60 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
61 | (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
62 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
63 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
64 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
65 | (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
66 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
67 | ] ++ (if system.isWindows
68 | then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
69 | else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
70 | buildable = true;
71 | modules = [
72 | "Haskell/Ide/Engine/ArtifactMap"
73 | "Haskell/Ide/Engine/Compat"
74 | "Haskell/Ide/Engine/Cradle"
75 | "Haskell/Ide/Engine/GhcCompat"
76 | "Haskell/Ide/Engine/GhcUtils"
77 | "Haskell/Ide/Engine/Config"
78 | "Haskell/Ide/Engine/Context"
79 | "Haskell/Ide/Engine/Ghc"
80 | "Haskell/Ide/Engine/GhcModuleCache"
81 | "Haskell/Ide/Engine/Logger"
82 | "Haskell/Ide/Engine/ModuleCache"
83 | "Haskell/Ide/Engine/MonadFunctions"
84 | "Haskell/Ide/Engine/MonadTypes"
85 | "Haskell/Ide/Engine/MultiThreadState"
86 | "Haskell/Ide/Engine/PluginApi"
87 | "Haskell/Ide/Engine/PluginUtils"
88 | "Haskell/Ide/Engine/PluginsIdeMonads"
89 | "Haskell/Ide/Engine/TypeMap"
90 | ];
91 | };
92 | };
93 | } // rec {
94 | src = (pkgs.lib).mkDefault ./hie-plugin-api;
95 | }
--------------------------------------------------------------------------------
/generated/8.8.3/materialized/hie-plugin-api.nix:
--------------------------------------------------------------------------------
1 | { system
2 | , compiler
3 | , flags
4 | , pkgs
5 | , hsPkgs
6 | , pkgconfPkgs
7 | , errorHandler
8 | , config
9 | , ... }:
10 | {
11 | flags = { pedantic = false; };
12 | package = {
13 | specVersion = "2.0";
14 | identifier = { name = "hie-plugin-api"; version = "1.4"; };
15 | license = "BSD-3-Clause";
16 | copyright = "2015 TBD";
17 | maintainer = "alan.zimm@gmail.com (for now)";
18 | author = "Many,TBD when we release";
19 | homepage = "";
20 | url = "";
21 | synopsis = "Haskell IDE API for plugin communication";
22 | description = "Please see README.md";
23 | buildType = "Simple";
24 | isLocal = true;
25 | detailLevel = "FullDetails";
26 | licenseFiles = [ "LICENSE" ];
27 | dataDir = "";
28 | dataFiles = [];
29 | extraSrcFiles = [];
30 | extraTmpFiles = [];
31 | extraDocFiles = [];
32 | };
33 | components = {
34 | "library" = {
35 | depends = [
36 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
37 | (hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
38 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
39 | (hsPkgs."bytestring-trie" or (errorHandler.buildDepError "bytestring-trie"))
40 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
41 | (hsPkgs."cryptohash-sha1" or (errorHandler.buildDepError "cryptohash-sha1"))
42 | (hsPkgs."constrained-dynamic" or (errorHandler.buildDepError "constrained-dynamic"))
43 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
44 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
45 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
46 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
47 | (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree"))
48 | (hsPkgs."free" or (errorHandler.buildDepError "free"))
49 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
50 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
51 | (hsPkgs."cabal-helper" or (errorHandler.buildDepError "cabal-helper"))
52 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
53 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
54 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
55 | (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core"))
56 | (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
57 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
58 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
59 | (hsPkgs."sorted-list" or (errorHandler.buildDepError "sorted-list"))
60 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
61 | (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
62 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
63 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
64 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
65 | (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
66 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
67 | ] ++ (if system.isWindows
68 | then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
69 | else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
70 | buildable = true;
71 | modules = [
72 | "Haskell/Ide/Engine/ArtifactMap"
73 | "Haskell/Ide/Engine/Compat"
74 | "Haskell/Ide/Engine/Cradle"
75 | "Haskell/Ide/Engine/GhcCompat"
76 | "Haskell/Ide/Engine/GhcUtils"
77 | "Haskell/Ide/Engine/Config"
78 | "Haskell/Ide/Engine/Context"
79 | "Haskell/Ide/Engine/Ghc"
80 | "Haskell/Ide/Engine/GhcModuleCache"
81 | "Haskell/Ide/Engine/Logger"
82 | "Haskell/Ide/Engine/ModuleCache"
83 | "Haskell/Ide/Engine/MonadFunctions"
84 | "Haskell/Ide/Engine/MonadTypes"
85 | "Haskell/Ide/Engine/MultiThreadState"
86 | "Haskell/Ide/Engine/PluginApi"
87 | "Haskell/Ide/Engine/PluginUtils"
88 | "Haskell/Ide/Engine/PluginsIdeMonads"
89 | "Haskell/Ide/Engine/TypeMap"
90 | ];
91 | };
92 | };
93 | } // rec {
94 | src = (pkgs.lib).mkDefault ./hie-plugin-api;
95 | }
--------------------------------------------------------------------------------
/Readme.md:
--------------------------------------------------------------------------------
1 | # Deprecated
2 |
3 | :warning: This project is deprecated. Refer to https://github.com/haskell/haskell-language-server instead, which is available from nixpkgs directly :warning:
4 |
5 | # Haskell IDE Engine for Nix
6 |
7 | This project provides cached Nix builds for [Haskell IDE Engine](https://github.com/haskell/haskell-ide-engine) for GHC 8.6.5 and 8.8.3.
8 |
9 | ## Installation
10 |
11 | Installation is done with your projects nix-shell environment. Both [haskell.nix](https://input-output-hk.github.io/haskell.nix/) and the nixpkgs Haskell infrastructure are supported. If you don't have a nix-shell environment for your project yet, I recommend using haskell.nix.
12 |
13 | If you just want to get started, see the [templates](./templates) for fully working example projects.
14 |
15 | ### haskell.nix Projects
16 |
17 | In short, to install HIE for your haskell.nix project, apply the all-hies nixpkgs overlay and add `{ hie = "unstable"; }` to the `tools` argument of [`shellFor`](https://input-output-hk.github.io/haskell.nix/reference/library/#shellfor). If you want to use the prebuilt binaries, use the `all-hies` cachix. Read the rest of this section for more details.
18 |
19 | Applying the overlay can be done as follows in a recent haskell.nix version
20 | ```nix
21 | let
22 | # Pin all-hies
23 | all-hies = fetchTarball {
24 | # Insert the desired all-hies commit here
25 | url = "https://github.com/infinisil/all-hies/tarball/000000000000000000000000000000000000000";
26 | # Insert the correct hash after the first evaluation
27 | sha256 = "0000000000000000000000000000000000000000000000000000";
28 | };
29 |
30 | # Assuming nixpkgs and haskellNix are defined here
31 |
32 | # Import nixpkgs with both haskell.nix's overlays and the all-hies one
33 | pkgs = import nixpkgs (haskellNix.nixpkgsArgs // {
34 | overlays = haskellNix.nixpkgsArgs.overlays ++ [
35 | (import all-hies {}).overlay
36 | ];
37 | });
38 |
39 | /* ... */
40 | in /* ... */
41 | ```
42 |
43 | Adding HIE to the environment is done like this in your `shellFor` call
44 | ```nix
45 | shellFor {
46 | packages = p: [ p.my-package ];
47 | tools = {
48 | hie = "unstable";
49 | };
50 | }
51 | ```
52 |
53 | Configuring the `all-hies` cachix can be done with [these instructions](https://all-hies.cachix.org/), or if you have cachix installed already:
54 | ```shell
55 | $ cachix use all-hies
56 | ```
57 |
58 | Note that for haskell.nix in general, `cachix use iohk` saves a lot of building time if you use the same nixpkgs as IOHK's CI.
59 |
60 | See the [haskell.nix stack template](./templates/haskell.nix-stack) or [haskell.nix cabal template](./templates/haskell.nix-cabal) for a fully working example including a working stack/cabal version and a hoogle database.
61 |
62 | ### nixpkgs Haskell infrastructure
63 |
64 | In short, to install HIE for your project using nixpkgs Haskell infrastructure, apply the all-hies overlay and add the `hie` Haskell package to the `nativeBuildInputs` argument of `shellFor`. If you want to use the prebuilt binaries, use the `all-hies` cachix. Read the rest of this section for more details.
65 |
66 | Applying the overlay can be done as follows
67 | ```nix
68 | let
69 | # Pin all-hies
70 | all-hies = fetchTarball {
71 | # Insert the desired all-hies commit here
72 | url = "https://github.com/infinisil/all-hies/tarball/000000000000000000000000000000000000000";
73 | # Insert the correct hash after the first evaluation
74 | sha256 = "0000000000000000000000000000000000000000000000000000";
75 | };
76 |
77 | # Assuming nixpkgs is defined here
78 |
79 | # Import nixpkgs with the all-hies overlay
80 | pkgs = import nixpkgs {
81 | # Pass no config for purity
82 | config = {};
83 | overlays = [
84 | (import all-hies {}).overlay
85 | ];
86 | };
87 |
88 | /* ... */
89 | in /* ... */
90 | ```
91 |
92 | Adding HIE to the environment is done like this in your `shellFor` call:
93 | ```nix
94 | shellFor {
95 | packages = p: [ p.my-package ];
96 | nativeBuildInputs = [
97 | haskellPackages.hie
98 | ];
99 | }
100 | ```
101 |
102 | If you don't use `shellFor`, you can change your Haskell environment derivation like this instead:
103 | ```nix
104 | envWithHIE = env.overrideAttrs (old: {
105 | nativeBuildInputs = old.nativeBuildInputs ++ [ haskellPackages.hie ];
106 | })
107 | ```
108 |
109 | Configuring the `all-hies` cachix can be done with [these instructions](https://all-hies.cachix.org/), or if you have cachix installed already:
110 | ```shell
111 | $ cachix use all-hies
112 | ```
113 |
114 | See the [nixpkgs infra template](./templates/nixpkgs-cabal) for a fully working example including a working cabal version and a hoogle database.
115 |
--------------------------------------------------------------------------------
/.github/workflows/builds.yaml:
--------------------------------------------------------------------------------
1 | name: CI
2 | on:
3 | push:
4 | branches:
5 | - master
6 | pull_request:
7 | jobs:
8 | materialize-check:
9 | name: Check materialization files for GHC ${{ matrix.ghc }}
10 | runs-on: ubuntu-latest
11 | strategy:
12 | matrix:
13 | ghc: [ "8.6.5", "8.8.3" ]
14 | glibc: [ "2.30" ]
15 | steps:
16 | - uses: actions/checkout@v2
17 | - uses: cachix/install-nix-action@v10
18 | - name: Make sure materializations are up-to-date
19 | run: |
20 | materializationId=$(nix-instantiate --read-write-mode --eval sources.nix -A materializationId | tr -d '"')
21 | if ! diff "$materializationId" "generated/${{ matrix.ghc }}/materialization-id"; then
22 | echo "The materialization files for ${{ matrix.ghc }} are outdated"
23 | echo "Run"
24 | echo " \$(nix-build build.nix -A materialize --argstr ghcVersion ${{ matrix.ghc }} --argstr glibcName glibc-${{ matrix.glibc }})"
25 | echo "to update them"
26 | exit 1
27 | fi
28 | echo "Materialization files up-to-date" >&2
29 |
30 | build:
31 | name: HIE Build for ${{ matrix.os }}, GHC ${{ matrix.ghc }}, glibc ${{ matrix.glibc }}
32 | runs-on: ${{ matrix.os }}
33 | needs: materialize-check
34 | strategy:
35 | matrix:
36 | os: [ ubuntu-latest, macos-latest ]
37 | ghc: [ "8.6.5", "8.8.3" ]
38 | glibc: [ "2.30" ]
39 | include:
40 | # Only linux needs matching glibc versions
41 | - os: ubuntu-latest
42 | ghc: "8.6.5"
43 | glibc: "2.27"
44 | - os: ubuntu-latest
45 | ghc: "8.8.3"
46 | glibc: "2.27"
47 | steps:
48 | - uses: actions/checkout@v2
49 | - uses: cachix/install-nix-action@v10
50 | - uses: cachix/cachix-action@09c0620ab018415cbf1e6792e1f415cf892879b5
51 | with:
52 | name: all-hies
53 | extraPullNames: iohk
54 | signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
55 | - name: Instantiate HIE
56 | run: |
57 | nix-instantiate build.nix \
58 | -A combined \
59 | --argstr ghcVersion ${{ matrix.ghc }} \
60 | --argstr glibcName glibc-${{ matrix.glibc }} \
61 | --add-root $PWD/drv --indirect
62 | - name: Build HIE
63 | run: |
64 | path=$(nix-store --query --outputs drv)
65 | url=$(sed -E <<< "$path" \
66 | -e 's|-.*|.narinfo|' \
67 | -e 's|/nix/store|https://all-hies.cachix.org|')
68 | code=$(curl -s -o /dev/null -w "%{http_code}\n" "$url")
69 | case "$code" in
70 | 200)
71 | echo "Derivation already in cache, not building it"
72 | ;;
73 | *)
74 | echo "Derivation not in cache, building it"
75 | # Since we have a lot of derivations to build, do as many of them
76 | # in parallel, but all of them with a single core
77 | nix-store --realise drv --max-jobs auto --cores 1
78 | ;;
79 | esac
80 |
81 | template_haskell-nix-stack:
82 | name: Haskell.nix stack template for ${{ matrix.os }}
83 | runs-on: ${{ matrix.os }}
84 | needs: build
85 | strategy:
86 | matrix:
87 | os: [ ubuntu-latest, macos-latest ]
88 | defaults:
89 | run:
90 | working-directory: templates/haskell.nix-stack
91 | steps:
92 | - uses: actions/checkout@v2
93 | - uses: cachix/install-nix-action@v10
94 | - uses: cachix/cachix-action@09c0620ab018415cbf1e6792e1f415cf892879b5
95 | with:
96 | name: all-hies
97 | extraPullNames: iohk
98 | - name: Entering nix-shell
99 | run: |
100 | nix-shell --run "echo Successfully entered nix-shell"
101 | - name: Call HIE
102 | run: |
103 | nix-shell --run "hie 2>&1 | tee /dev/stderr | grep 'Main.hs: OK'"
104 | - name: Search hoogle
105 | run: |
106 | nix-shell --run "hoogle fromMaybe | grep Data.Maybe"
107 | - name: Build and run with cabal
108 | run: |
109 | nix-shell --run "stack run"
110 | - name: Build and run with Nix
111 | run: |
112 | nix-build
113 | ./result/bin/all-hies-template
114 |
115 | template_haskell-nix-cabal:
116 | name: Haskell.nix cabal template for ${{ matrix.os }}
117 | runs-on: ${{ matrix.os }}
118 | needs: build
119 | strategy:
120 | matrix:
121 | os: [ ubuntu-latest, macos-latest ]
122 | defaults:
123 | run:
124 | working-directory: templates/haskell.nix-cabal
125 | steps:
126 | - uses: actions/checkout@v2
127 | - uses: cachix/install-nix-action@v10
128 | - uses: cachix/cachix-action@09c0620ab018415cbf1e6792e1f415cf892879b5
129 | with:
130 | name: all-hies
131 | extraPullNames: iohk
132 | - name: Entering nix-shell
133 | run: |
134 | nix-shell --run "echo Successfully entered nix-shell"
135 | - name: Call HIE
136 | run: |
137 | nix-shell --run "hie 2>&1 | tee /dev/stderr | grep 'Main.hs: OK'"
138 | - name: Search hoogle
139 | run: |
140 | nix-shell --run "hoogle fromMaybe | grep Data.Maybe"
141 | - name: Build and run with cabal
142 | run: |
143 | nix-shell --run "cabal run"
144 | - name: Build and run with Nix
145 | run: |
146 | nix-build
147 | ./result/bin/all-hies-template
148 |
149 | template_nixpkgs-cabal:
150 | name: Nixpkgs cabal template for ${{ matrix.os }}
151 | runs-on: ${{ matrix.os }}
152 | needs: build
153 | strategy:
154 | matrix:
155 | os: [ ubuntu-latest, macos-latest ]
156 | defaults:
157 | run:
158 | working-directory: templates/nixpkgs-cabal
159 | steps:
160 | - uses: actions/checkout@v2
161 | - uses: cachix/install-nix-action@v10
162 | - uses: cachix/cachix-action@09c0620ab018415cbf1e6792e1f415cf892879b5
163 | with:
164 | name: all-hies
165 | - name: Entering nix-shell
166 | run: |
167 | nix-shell --run "echo Successfully entered nix-shell"
168 | - name: Call HIE
169 | run: |
170 | nix-shell --run "hie 2>&1 | tee /dev/stderr | grep 'Main.hs: OK'"
171 | - name: Search hoogle
172 | run: |
173 | nix-shell --run "hoogle fromMaybe | grep Data.Maybe"
174 | - name: Build and run with cabal
175 | run: |
176 | nix-shell --run "cabal run"
177 | - name: Build and run with Nix
178 | run: |
179 | nix-build
180 | ./result/bin/all-hies-template
181 |
--------------------------------------------------------------------------------
/generated/8.6.5/materialized/haskell-ide-engine.nix:
--------------------------------------------------------------------------------
1 | { system
2 | , compiler
3 | , flags
4 | , pkgs
5 | , hsPkgs
6 | , pkgconfPkgs
7 | , errorHandler
8 | , config
9 | , ... }:
10 | {
11 | flags = { pedantic = false; };
12 | package = {
13 | specVersion = "2.0";
14 | identifier = { name = "haskell-ide-engine"; version = "1.4"; };
15 | license = "BSD-3-Clause";
16 | copyright = "2015 - 2019, TBD";
17 | maintainer = "alan.zimm@gmail.com (for now)";
18 | author = "Many, TBD when we release";
19 | homepage = "http://github.com/githubuser/haskell-ide-engine#readme";
20 | url = "";
21 | synopsis = "Provide a common engine to power any Haskell IDE";
22 | description = "Please see README.md";
23 | buildType = "Simple";
24 | isLocal = true;
25 | detailLevel = "FullDetails";
26 | licenseFiles = [ "LICENSE" ];
27 | dataDir = "";
28 | dataFiles = [];
29 | extraSrcFiles = [];
30 | extraTmpFiles = [];
31 | extraDocFiles = [];
32 | };
33 | components = {
34 | "library" = {
35 | depends = [
36 | (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
37 | (hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
38 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
39 | (hsPkgs."apply-refact" or (errorHandler.buildDepError "apply-refact"))
40 | (hsPkgs."async" or (errorHandler.buildDepError "async"))
41 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
42 | (hsPkgs."brittany" or (errorHandler.buildDepError "brittany"))
43 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
44 | (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
45 | (hsPkgs."cabal-helper" or (errorHandler.buildDepError "cabal-helper"))
46 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
47 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
48 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
49 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
50 | (hsPkgs."floskell" or (errorHandler.buildDepError "floskell"))
51 | (hsPkgs."fold-debounce" or (errorHandler.buildDepError "fold-debounce"))
52 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
53 | (hsPkgs."ghc-exactprint" or (errorHandler.buildDepError "ghc-exactprint"))
54 | (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
55 | (hsPkgs."haddock-api" or (errorHandler.buildDepError "haddock-api"))
56 | (hsPkgs."haddock-library" or (errorHandler.buildDepError "haddock-library"))
57 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
58 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
59 | (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
60 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
61 | (hsPkgs."hoogle" or (errorHandler.buildDepError "hoogle"))
62 | (hsPkgs."hsimport" or (errorHandler.buildDepError "hsimport"))
63 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
64 | (hsPkgs."lifted-async" or (errorHandler.buildDepError "lifted-async"))
65 | (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
66 | (hsPkgs."monoid-subclasses" or (errorHandler.buildDepError "monoid-subclasses"))
67 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
68 | (hsPkgs."optparse-simple" or (errorHandler.buildDepError "optparse-simple"))
69 | (hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
70 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
71 | (hsPkgs."safe" or (errorHandler.buildDepError "safe"))
72 | (hsPkgs."sorted-list" or (errorHandler.buildDepError "sorted-list"))
73 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
74 | (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
75 | (hsPkgs."tagsoup" or (errorHandler.buildDepError "tagsoup"))
76 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
77 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
78 | (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time"))
79 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
80 | (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
81 | (hsPkgs."versions" or (errorHandler.buildDepError "versions"))
82 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
83 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
84 | (hsPkgs."bytestring-trie" or (errorHandler.buildDepError "bytestring-trie"))
85 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
86 | (hsPkgs."hlint" or (errorHandler.buildDepError "hlint"))
87 | ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "8.6") (hsPkgs."ormolu" or (errorHandler.buildDepError "ormolu"));
88 | buildable = true;
89 | modules = [
90 | "Paths_haskell_ide_engine"
91 | "Haskell/Ide/Engine/Channel"
92 | "Haskell/Ide/Engine/CodeActions"
93 | "Haskell/Ide/Engine/Completions"
94 | "Haskell/Ide/Engine/Reactor"
95 | "Haskell/Ide/Engine/Options"
96 | "Haskell/Ide/Engine/Plugin/ApplyRefact"
97 | "Haskell/Ide/Engine/Plugin/Brittany"
98 | "Haskell/Ide/Engine/Plugin/Example2"
99 | "Haskell/Ide/Engine/Plugin/Floskell"
100 | "Haskell/Ide/Engine/Plugin/Haddock"
101 | "Haskell/Ide/Engine/Plugin/HfaAlign"
102 | "Haskell/Ide/Engine/Plugin/HsImport"
103 | "Haskell/Ide/Engine/Plugin/Liquid"
104 | "Haskell/Ide/Engine/Plugin/Ormolu"
105 | "Haskell/Ide/Engine/Plugin/Package"
106 | "Haskell/Ide/Engine/Plugin/Package/Compat"
107 | "Haskell/Ide/Engine/Plugin/Pragmas"
108 | "Haskell/Ide/Engine/Plugin/Generic"
109 | "Haskell/Ide/Engine/Plugin/GhcMod"
110 | "Haskell/Ide/Engine/Scheduler"
111 | "Haskell/Ide/Engine/Support/FromHaRe"
112 | "Haskell/Ide/Engine/Support/Hoogle"
113 | "Haskell/Ide/Engine/Support/Fuzzy"
114 | "Haskell/Ide/Engine/Support/HieExtras"
115 | "Haskell/Ide/Engine/Server"
116 | "Haskell/Ide/Engine/Types"
117 | "Haskell/Ide/Engine/Version"
118 | ];
119 | hsSourceDirs = [ "src" ];
120 | };
121 | sublibs = {
122 | "hie-test-utils" = {
123 | depends = [
124 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
125 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
126 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
127 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
128 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
129 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
130 | (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup"))
131 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
132 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
133 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
134 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
135 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
136 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
137 | (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core"))
138 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
139 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
140 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
141 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
142 | ];
143 | buildable = true;
144 | modules = [ "TestUtils" ];
145 | hsSourceDirs = [ "test/utils" ];
146 | };
147 | };
148 | exes = {
149 | "hie" = {
150 | depends = [
151 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
152 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
153 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
154 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
155 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
156 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
157 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
158 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
159 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
160 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
161 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
162 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
163 | (hsPkgs."optparse-simple" or (errorHandler.buildDepError "optparse-simple"))
164 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
165 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
166 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
167 | ];
168 | buildable = true;
169 | modules = [ "Paths_haskell_ide_engine" "RunTest" ];
170 | hsSourceDirs = [ "app" ];
171 | mainPath = [
172 | "MainHie.hs"
173 | ] ++ (pkgs.lib).optional (flags.pedantic) "";
174 | };
175 | "hie-wrapper" = {
176 | depends = [
177 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
178 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
179 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
180 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
181 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
182 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
183 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
184 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
185 | (hsPkgs."optparse-simple" or (errorHandler.buildDepError "optparse-simple"))
186 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
187 | ];
188 | buildable = true;
189 | modules = [ "Paths_haskell_ide_engine" ];
190 | hsSourceDirs = [ "app" ];
191 | mainPath = [
192 | "HieWrapper.hs"
193 | ] ++ (pkgs.lib).optional (flags.pedantic) "";
194 | };
195 | };
196 | tests = {
197 | "unit-test" = {
198 | depends = [
199 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
200 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
201 | (hsPkgs."cabal-helper" or (errorHandler.buildDepError "cabal-helper"))
202 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
203 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
204 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
205 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
206 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
207 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
208 | (hsPkgs."free" or (errorHandler.buildDepError "free"))
209 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
210 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
211 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
212 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
213 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
214 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
215 | (hsPkgs."hoogle" or (errorHandler.buildDepError "hoogle"))
216 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
217 | (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
218 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
219 | (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
220 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
221 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
222 | ];
223 | build-tools = [
224 | (hsPkgs.buildPackages.cabal-helper or (pkgs.buildPackages.cabal-helper or (errorHandler.buildToolDepError "cabal-helper")))
225 | (hsPkgs.buildPackages.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover")))
226 | ];
227 | buildable = true;
228 | modules = [
229 | "ApplyRefactPluginSpec"
230 | "CabalHelperSpec"
231 | "CodeActionsSpec"
232 | "ContextSpec"
233 | "DiffSpec"
234 | "ExtensibleStateSpec"
235 | "GenericPluginSpec"
236 | "GhcModPluginSpec"
237 | "HooglePluginSpec"
238 | "HsImportSpec"
239 | "JsonSpec"
240 | "LiquidSpec"
241 | "OptionsSpec"
242 | "PackagePluginSpec"
243 | "Paths_haskell_ide_engine"
244 | "Spec"
245 | ];
246 | hsSourceDirs = [ "test/unit" ];
247 | mainPath = [ "Main.hs" ];
248 | };
249 | "dispatcher-test" = {
250 | depends = [
251 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
252 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
253 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
254 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
255 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
256 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
257 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
258 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
259 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
260 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
261 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
262 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
263 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
264 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
265 | ];
266 | build-tools = [
267 | (hsPkgs.buildPackages.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover")))
268 | ];
269 | buildable = true;
270 | hsSourceDirs = [ "test/dispatcher" ];
271 | mainPath = [ "Main.hs" ];
272 | };
273 | "plugin-dispatcher-test" = {
274 | depends = [
275 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
276 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
277 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
278 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
279 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
280 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
281 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
282 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
283 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
284 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
285 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
286 | ];
287 | buildable = true;
288 | hsSourceDirs = [ "test/plugin-dispatcher" ];
289 | mainPath = [ "Main.hs" ];
290 | };
291 | "func-test" = {
292 | depends = [
293 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
294 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
295 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
296 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
297 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
298 | (hsPkgs."lsp-test" or (errorHandler.buildDepError "lsp-test"))
299 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
300 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
301 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
302 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
303 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
304 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
305 | (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
306 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
307 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
308 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
309 | ];
310 | build-tools = [
311 | (hsPkgs.buildPackages.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover")))
312 | (hsPkgs.buildPackages.haskell-ide-engine or (pkgs.buildPackages.haskell-ide-engine or (errorHandler.buildToolDepError "haskell-ide-engine")))
313 | (hsPkgs.buildPackages.cabal-helper or (pkgs.buildPackages.cabal-helper or (errorHandler.buildToolDepError "cabal-helper")))
314 | ];
315 | buildable = true;
316 | modules = [
317 | "CompletionSpec"
318 | "CommandSpec"
319 | "DeferredSpec"
320 | "DefinitionSpec"
321 | "DiagnosticsSpec"
322 | "FormatSpec"
323 | "FunctionalBadProjectSpec"
324 | "FunctionalCodeActionsSpec"
325 | "FunctionalLiquidSpec"
326 | "FunctionalSpec"
327 | "HieBiosSpec"
328 | "HighlightSpec"
329 | "HoverSpec"
330 | "ProgressSpec"
331 | "ReferencesSpec"
332 | "RenameSpec"
333 | "SymbolsSpec"
334 | "TypeDefinitionSpec"
335 | "Utils"
336 | ];
337 | hsSourceDirs = [ "test/functional" ];
338 | mainPath = [ "Main.hs" ];
339 | };
340 | "wrapper-test" = {
341 | depends = [
342 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
343 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
344 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
345 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
346 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
347 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
348 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
349 | ];
350 | buildable = true;
351 | hsSourceDirs = [ "test/wrapper" ];
352 | mainPath = [ "HieWrapper.hs" ];
353 | };
354 | };
355 | };
356 | } // rec {
357 | src = (pkgs.lib).mkDefault ./.;
358 | }
--------------------------------------------------------------------------------
/generated/8.8.3/materialized/haskell-ide-engine.nix:
--------------------------------------------------------------------------------
1 | { system
2 | , compiler
3 | , flags
4 | , pkgs
5 | , hsPkgs
6 | , pkgconfPkgs
7 | , errorHandler
8 | , config
9 | , ... }:
10 | {
11 | flags = { pedantic = false; };
12 | package = {
13 | specVersion = "2.0";
14 | identifier = { name = "haskell-ide-engine"; version = "1.4"; };
15 | license = "BSD-3-Clause";
16 | copyright = "2015 - 2019, TBD";
17 | maintainer = "alan.zimm@gmail.com (for now)";
18 | author = "Many, TBD when we release";
19 | homepage = "http://github.com/githubuser/haskell-ide-engine#readme";
20 | url = "";
21 | synopsis = "Provide a common engine to power any Haskell IDE";
22 | description = "Please see README.md";
23 | buildType = "Simple";
24 | isLocal = true;
25 | detailLevel = "FullDetails";
26 | licenseFiles = [ "LICENSE" ];
27 | dataDir = "";
28 | dataFiles = [];
29 | extraSrcFiles = [];
30 | extraTmpFiles = [];
31 | extraDocFiles = [];
32 | };
33 | components = {
34 | "library" = {
35 | depends = [
36 | (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
37 | (hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
38 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
39 | (hsPkgs."apply-refact" or (errorHandler.buildDepError "apply-refact"))
40 | (hsPkgs."async" or (errorHandler.buildDepError "async"))
41 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
42 | (hsPkgs."brittany" or (errorHandler.buildDepError "brittany"))
43 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
44 | (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
45 | (hsPkgs."cabal-helper" or (errorHandler.buildDepError "cabal-helper"))
46 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
47 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
48 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
49 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
50 | (hsPkgs."floskell" or (errorHandler.buildDepError "floskell"))
51 | (hsPkgs."fold-debounce" or (errorHandler.buildDepError "fold-debounce"))
52 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
53 | (hsPkgs."ghc-exactprint" or (errorHandler.buildDepError "ghc-exactprint"))
54 | (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
55 | (hsPkgs."haddock-api" or (errorHandler.buildDepError "haddock-api"))
56 | (hsPkgs."haddock-library" or (errorHandler.buildDepError "haddock-library"))
57 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
58 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
59 | (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
60 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
61 | (hsPkgs."hoogle" or (errorHandler.buildDepError "hoogle"))
62 | (hsPkgs."hsimport" or (errorHandler.buildDepError "hsimport"))
63 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
64 | (hsPkgs."lifted-async" or (errorHandler.buildDepError "lifted-async"))
65 | (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
66 | (hsPkgs."monoid-subclasses" or (errorHandler.buildDepError "monoid-subclasses"))
67 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
68 | (hsPkgs."optparse-simple" or (errorHandler.buildDepError "optparse-simple"))
69 | (hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
70 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
71 | (hsPkgs."safe" or (errorHandler.buildDepError "safe"))
72 | (hsPkgs."sorted-list" or (errorHandler.buildDepError "sorted-list"))
73 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
74 | (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
75 | (hsPkgs."tagsoup" or (errorHandler.buildDepError "tagsoup"))
76 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
77 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
78 | (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time"))
79 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
80 | (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
81 | (hsPkgs."versions" or (errorHandler.buildDepError "versions"))
82 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
83 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
84 | (hsPkgs."bytestring-trie" or (errorHandler.buildDepError "bytestring-trie"))
85 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
86 | (hsPkgs."hlint" or (errorHandler.buildDepError "hlint"))
87 | ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "8.6") (hsPkgs."ormolu" or (errorHandler.buildDepError "ormolu"));
88 | buildable = true;
89 | modules = [
90 | "Paths_haskell_ide_engine"
91 | "Haskell/Ide/Engine/Channel"
92 | "Haskell/Ide/Engine/CodeActions"
93 | "Haskell/Ide/Engine/Completions"
94 | "Haskell/Ide/Engine/Reactor"
95 | "Haskell/Ide/Engine/Options"
96 | "Haskell/Ide/Engine/Plugin/ApplyRefact"
97 | "Haskell/Ide/Engine/Plugin/Brittany"
98 | "Haskell/Ide/Engine/Plugin/Example2"
99 | "Haskell/Ide/Engine/Plugin/Floskell"
100 | "Haskell/Ide/Engine/Plugin/Haddock"
101 | "Haskell/Ide/Engine/Plugin/HfaAlign"
102 | "Haskell/Ide/Engine/Plugin/HsImport"
103 | "Haskell/Ide/Engine/Plugin/Liquid"
104 | "Haskell/Ide/Engine/Plugin/Ormolu"
105 | "Haskell/Ide/Engine/Plugin/Package"
106 | "Haskell/Ide/Engine/Plugin/Package/Compat"
107 | "Haskell/Ide/Engine/Plugin/Pragmas"
108 | "Haskell/Ide/Engine/Plugin/Generic"
109 | "Haskell/Ide/Engine/Plugin/GhcMod"
110 | "Haskell/Ide/Engine/Scheduler"
111 | "Haskell/Ide/Engine/Support/FromHaRe"
112 | "Haskell/Ide/Engine/Support/Hoogle"
113 | "Haskell/Ide/Engine/Support/Fuzzy"
114 | "Haskell/Ide/Engine/Support/HieExtras"
115 | "Haskell/Ide/Engine/Server"
116 | "Haskell/Ide/Engine/Types"
117 | "Haskell/Ide/Engine/Version"
118 | ];
119 | hsSourceDirs = [ "src" ];
120 | };
121 | sublibs = {
122 | "hie-test-utils" = {
123 | depends = [
124 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
125 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
126 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
127 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
128 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
129 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
130 | (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup"))
131 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
132 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
133 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
134 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
135 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
136 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
137 | (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core"))
138 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
139 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
140 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
141 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
142 | ];
143 | buildable = true;
144 | modules = [ "TestUtils" ];
145 | hsSourceDirs = [ "test/utils" ];
146 | };
147 | };
148 | exes = {
149 | "hie" = {
150 | depends = [
151 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
152 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
153 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
154 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
155 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
156 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
157 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
158 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
159 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
160 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
161 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
162 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
163 | (hsPkgs."optparse-simple" or (errorHandler.buildDepError "optparse-simple"))
164 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
165 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
166 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
167 | ];
168 | buildable = true;
169 | modules = [ "Paths_haskell_ide_engine" "RunTest" ];
170 | hsSourceDirs = [ "app" ];
171 | mainPath = [
172 | "MainHie.hs"
173 | ] ++ (pkgs.lib).optional (flags.pedantic) "";
174 | };
175 | "hie-wrapper" = {
176 | depends = [
177 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
178 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
179 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
180 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
181 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
182 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
183 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
184 | (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
185 | (hsPkgs."optparse-simple" or (errorHandler.buildDepError "optparse-simple"))
186 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
187 | ];
188 | buildable = true;
189 | modules = [ "Paths_haskell_ide_engine" ];
190 | hsSourceDirs = [ "app" ];
191 | mainPath = [
192 | "HieWrapper.hs"
193 | ] ++ (pkgs.lib).optional (flags.pedantic) "";
194 | };
195 | };
196 | tests = {
197 | "unit-test" = {
198 | depends = [
199 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
200 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
201 | (hsPkgs."cabal-helper" or (errorHandler.buildDepError "cabal-helper"))
202 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
203 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
204 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
205 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
206 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
207 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
208 | (hsPkgs."free" or (errorHandler.buildDepError "free"))
209 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
210 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
211 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
212 | (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
213 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
214 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
215 | (hsPkgs."hoogle" or (errorHandler.buildDepError "hoogle"))
216 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
217 | (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
218 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
219 | (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
220 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
221 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
222 | ];
223 | build-tools = [
224 | (hsPkgs.buildPackages.cabal-helper or (pkgs.buildPackages.cabal-helper or (errorHandler.buildToolDepError "cabal-helper")))
225 | (hsPkgs.buildPackages.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover")))
226 | ];
227 | buildable = true;
228 | modules = [
229 | "ApplyRefactPluginSpec"
230 | "CabalHelperSpec"
231 | "CodeActionsSpec"
232 | "ContextSpec"
233 | "DiffSpec"
234 | "ExtensibleStateSpec"
235 | "GenericPluginSpec"
236 | "GhcModPluginSpec"
237 | "HooglePluginSpec"
238 | "HsImportSpec"
239 | "JsonSpec"
240 | "LiquidSpec"
241 | "OptionsSpec"
242 | "PackagePluginSpec"
243 | "Paths_haskell_ide_engine"
244 | "Spec"
245 | ];
246 | hsSourceDirs = [ "test/unit" ];
247 | mainPath = [ "Main.hs" ];
248 | };
249 | "dispatcher-test" = {
250 | depends = [
251 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
252 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
253 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
254 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
255 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
256 | (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
257 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
258 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
259 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
260 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
261 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
262 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
263 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
264 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
265 | ];
266 | build-tools = [
267 | (hsPkgs.buildPackages.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover")))
268 | ];
269 | buildable = true;
270 | hsSourceDirs = [ "test/dispatcher" ];
271 | mainPath = [ "Main.hs" ];
272 | };
273 | "plugin-dispatcher-test" = {
274 | depends = [
275 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
276 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
277 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
278 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
279 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
280 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
281 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
282 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
283 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
284 | (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
285 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
286 | ];
287 | buildable = true;
288 | hsSourceDirs = [ "test/plugin-dispatcher" ];
289 | mainPath = [ "Main.hs" ];
290 | };
291 | "func-test" = {
292 | depends = [
293 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
294 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
295 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
296 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
297 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
298 | (hsPkgs."lsp-test" or (errorHandler.buildDepError "lsp-test"))
299 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
300 | (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
301 | (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
302 | (hsPkgs."hie-test-utils" or (errorHandler.buildDepError "hie-test-utils"))
303 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
304 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
305 | (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
306 | (hsPkgs."text" or (errorHandler.buildDepError "text"))
307 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
308 | (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
309 | ];
310 | build-tools = [
311 | (hsPkgs.buildPackages.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover")))
312 | (hsPkgs.buildPackages.haskell-ide-engine or (pkgs.buildPackages.haskell-ide-engine or (errorHandler.buildToolDepError "haskell-ide-engine")))
313 | (hsPkgs.buildPackages.cabal-helper or (pkgs.buildPackages.cabal-helper or (errorHandler.buildToolDepError "cabal-helper")))
314 | ];
315 | buildable = true;
316 | modules = [
317 | "CompletionSpec"
318 | "CommandSpec"
319 | "DeferredSpec"
320 | "DefinitionSpec"
321 | "DiagnosticsSpec"
322 | "FormatSpec"
323 | "FunctionalBadProjectSpec"
324 | "FunctionalCodeActionsSpec"
325 | "FunctionalLiquidSpec"
326 | "FunctionalSpec"
327 | "HieBiosSpec"
328 | "HighlightSpec"
329 | "HoverSpec"
330 | "ProgressSpec"
331 | "ReferencesSpec"
332 | "RenameSpec"
333 | "SymbolsSpec"
334 | "TypeDefinitionSpec"
335 | "Utils"
336 | ];
337 | hsSourceDirs = [ "test/functional" ];
338 | mainPath = [ "Main.hs" ];
339 | };
340 | "wrapper-test" = {
341 | depends = [
342 | (hsPkgs."base" or (errorHandler.buildDepError "base"))
343 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
344 | (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
345 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
346 | (hsPkgs."process" or (errorHandler.buildDepError "process"))
347 | (hsPkgs."haskell-ide-engine" or (errorHandler.buildDepError "haskell-ide-engine"))
348 | (hsPkgs."hie-plugin-api" or (errorHandler.buildDepError "hie-plugin-api"))
349 | ];
350 | buildable = true;
351 | hsSourceDirs = [ "test/wrapper" ];
352 | mainPath = [ "HieWrapper.hs" ];
353 | };
354 | };
355 | };
356 | } // rec {
357 | src = (pkgs.lib).mkDefault ./.;
358 | }
--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
1 | GNU GENERAL PUBLIC LICENSE
2 | Version 3, 29 June 2007
3 |
4 | Copyright (C) 2007 Free Software Foundation, Inc.
5 | Everyone is permitted to copy and distribute verbatim copies
6 | of this license document, but changing it is not allowed.
7 |
8 | Preamble
9 |
10 | The GNU General Public License is a free, copyleft license for
11 | software and other kinds of works.
12 |
13 | The licenses for most software and other practical works are designed
14 | to take away your freedom to share and change the works. By contrast,
15 | the GNU General Public License is intended to guarantee your freedom to
16 | share and change all versions of a program--to make sure it remains free
17 | software for all its users. We, the Free Software Foundation, use the
18 | GNU General Public License for most of our software; it applies also to
19 | any other work released this way by its authors. You can apply it to
20 | your programs, too.
21 |
22 | When we speak of free software, we are referring to freedom, not
23 | price. Our General Public Licenses are designed to make sure that you
24 | have the freedom to distribute copies of free software (and charge for
25 | them if you wish), that you receive source code or can get it if you
26 | want it, that you can change the software or use pieces of it in new
27 | free programs, and that you know you can do these things.
28 |
29 | To protect your rights, we need to prevent others from denying you
30 | these rights or asking you to surrender the rights. Therefore, you have
31 | certain responsibilities if you distribute copies of the software, or if
32 | you modify it: responsibilities to respect the freedom of others.
33 |
34 | For example, if you distribute copies of such a program, whether
35 | gratis or for a fee, you must pass on to the recipients the same
36 | freedoms that you received. You must make sure that they, too, receive
37 | or can get the source code. And you must show them these terms so they
38 | know their rights.
39 |
40 | Developers that use the GNU GPL protect your rights with two steps:
41 | (1) assert copyright on the software, and (2) offer you this License
42 | giving you legal permission to copy, distribute and/or modify it.
43 |
44 | For the developers' and authors' protection, the GPL clearly explains
45 | that there is no warranty for this free software. For both users' and
46 | authors' sake, the GPL requires that modified versions be marked as
47 | changed, so that their problems will not be attributed erroneously to
48 | authors of previous versions.
49 |
50 | Some devices are designed to deny users access to install or run
51 | modified versions of the software inside them, although the manufacturer
52 | can do so. This is fundamentally incompatible with the aim of
53 | protecting users' freedom to change the software. The systematic
54 | pattern of such abuse occurs in the area of products for individuals to
55 | use, which is precisely where it is most unacceptable. Therefore, we
56 | have designed this version of the GPL to prohibit the practice for those
57 | products. If such problems arise substantially in other domains, we
58 | stand ready to extend this provision to those domains in future versions
59 | of the GPL, as needed to protect the freedom of users.
60 |
61 | Finally, every program is threatened constantly by software patents.
62 | States should not allow patents to restrict development and use of
63 | software on general-purpose computers, but in those that do, we wish to
64 | avoid the special danger that patents applied to a free program could
65 | make it effectively proprietary. To prevent this, the GPL assures that
66 | patents cannot be used to render the program non-free.
67 |
68 | The precise terms and conditions for copying, distribution and
69 | modification follow.
70 |
71 | TERMS AND CONDITIONS
72 |
73 | 0. Definitions.
74 |
75 | "This License" refers to version 3 of the GNU General Public License.
76 |
77 | "Copyright" also means copyright-like laws that apply to other kinds of
78 | works, such as semiconductor masks.
79 |
80 | "The Program" refers to any copyrightable work licensed under this
81 | License. Each licensee is addressed as "you". "Licensees" and
82 | "recipients" may be individuals or organizations.
83 |
84 | To "modify" a work means to copy from or adapt all or part of the work
85 | in a fashion requiring copyright permission, other than the making of an
86 | exact copy. The resulting work is called a "modified version" of the
87 | earlier work or a work "based on" the earlier work.
88 |
89 | A "covered work" means either the unmodified Program or a work based
90 | on the Program.
91 |
92 | To "propagate" a work means to do anything with it that, without
93 | permission, would make you directly or secondarily liable for
94 | infringement under applicable copyright law, except executing it on a
95 | computer or modifying a private copy. Propagation includes copying,
96 | distribution (with or without modification), making available to the
97 | public, and in some countries other activities as well.
98 |
99 | To "convey" a work means any kind of propagation that enables other
100 | parties to make or receive copies. Mere interaction with a user through
101 | a computer network, with no transfer of a copy, is not conveying.
102 |
103 | An interactive user interface displays "Appropriate Legal Notices"
104 | to the extent that it includes a convenient and prominently visible
105 | feature that (1) displays an appropriate copyright notice, and (2)
106 | tells the user that there is no warranty for the work (except to the
107 | extent that warranties are provided), that licensees may convey the
108 | work under this License, and how to view a copy of this License. If
109 | the interface presents a list of user commands or options, such as a
110 | menu, a prominent item in the list meets this criterion.
111 |
112 | 1. Source Code.
113 |
114 | The "source code" for a work means the preferred form of the work
115 | for making modifications to it. "Object code" means any non-source
116 | form of a work.
117 |
118 | A "Standard Interface" means an interface that either is an official
119 | standard defined by a recognized standards body, or, in the case of
120 | interfaces specified for a particular programming language, one that
121 | is widely used among developers working in that language.
122 |
123 | The "System Libraries" of an executable work include anything, other
124 | than the work as a whole, that (a) is included in the normal form of
125 | packaging a Major Component, but which is not part of that Major
126 | Component, and (b) serves only to enable use of the work with that
127 | Major Component, or to implement a Standard Interface for which an
128 | implementation is available to the public in source code form. A
129 | "Major Component", in this context, means a major essential component
130 | (kernel, window system, and so on) of the specific operating system
131 | (if any) on which the executable work runs, or a compiler used to
132 | produce the work, or an object code interpreter used to run it.
133 |
134 | The "Corresponding Source" for a work in object code form means all
135 | the source code needed to generate, install, and (for an executable
136 | work) run the object code and to modify the work, including scripts to
137 | control those activities. However, it does not include the work's
138 | System Libraries, or general-purpose tools or generally available free
139 | programs which are used unmodified in performing those activities but
140 | which are not part of the work. For example, Corresponding Source
141 | includes interface definition files associated with source files for
142 | the work, and the source code for shared libraries and dynamically
143 | linked subprograms that the work is specifically designed to require,
144 | such as by intimate data communication or control flow between those
145 | subprograms and other parts of the work.
146 |
147 | The Corresponding Source need not include anything that users
148 | can regenerate automatically from other parts of the Corresponding
149 | Source.
150 |
151 | The Corresponding Source for a work in source code form is that
152 | same work.
153 |
154 | 2. Basic Permissions.
155 |
156 | All rights granted under this License are granted for the term of
157 | copyright on the Program, and are irrevocable provided the stated
158 | conditions are met. This License explicitly affirms your unlimited
159 | permission to run the unmodified Program. The output from running a
160 | covered work is covered by this License only if the output, given its
161 | content, constitutes a covered work. This License acknowledges your
162 | rights of fair use or other equivalent, as provided by copyright law.
163 |
164 | You may make, run and propagate covered works that you do not
165 | convey, without conditions so long as your license otherwise remains
166 | in force. You may convey covered works to others for the sole purpose
167 | of having them make modifications exclusively for you, or provide you
168 | with facilities for running those works, provided that you comply with
169 | the terms of this License in conveying all material for which you do
170 | not control copyright. Those thus making or running the covered works
171 | for you must do so exclusively on your behalf, under your direction
172 | and control, on terms that prohibit them from making any copies of
173 | your copyrighted material outside their relationship with you.
174 |
175 | Conveying under any other circumstances is permitted solely under
176 | the conditions stated below. Sublicensing is not allowed; section 10
177 | makes it unnecessary.
178 |
179 | 3. Protecting Users' Legal Rights From Anti-Circumvention Law.
180 |
181 | No covered work shall be deemed part of an effective technological
182 | measure under any applicable law fulfilling obligations under article
183 | 11 of the WIPO copyright treaty adopted on 20 December 1996, or
184 | similar laws prohibiting or restricting circumvention of such
185 | measures.
186 |
187 | When you convey a covered work, you waive any legal power to forbid
188 | circumvention of technological measures to the extent such circumvention
189 | is effected by exercising rights under this License with respect to
190 | the covered work, and you disclaim any intention to limit operation or
191 | modification of the work as a means of enforcing, against the work's
192 | users, your or third parties' legal rights to forbid circumvention of
193 | technological measures.
194 |
195 | 4. Conveying Verbatim Copies.
196 |
197 | You may convey verbatim copies of the Program's source code as you
198 | receive it, in any medium, provided that you conspicuously and
199 | appropriately publish on each copy an appropriate copyright notice;
200 | keep intact all notices stating that this License and any
201 | non-permissive terms added in accord with section 7 apply to the code;
202 | keep intact all notices of the absence of any warranty; and give all
203 | recipients a copy of this License along with the Program.
204 |
205 | You may charge any price or no price for each copy that you convey,
206 | and you may offer support or warranty protection for a fee.
207 |
208 | 5. Conveying Modified Source Versions.
209 |
210 | You may convey a work based on the Program, or the modifications to
211 | produce it from the Program, in the form of source code under the
212 | terms of section 4, provided that you also meet all of these conditions:
213 |
214 | a) The work must carry prominent notices stating that you modified
215 | it, and giving a relevant date.
216 |
217 | b) The work must carry prominent notices stating that it is
218 | released under this License and any conditions added under section
219 | 7. This requirement modifies the requirement in section 4 to
220 | "keep intact all notices".
221 |
222 | c) You must license the entire work, as a whole, under this
223 | License to anyone who comes into possession of a copy. This
224 | License will therefore apply, along with any applicable section 7
225 | additional terms, to the whole of the work, and all its parts,
226 | regardless of how they are packaged. This License gives no
227 | permission to license the work in any other way, but it does not
228 | invalidate such permission if you have separately received it.
229 |
230 | d) If the work has interactive user interfaces, each must display
231 | Appropriate Legal Notices; however, if the Program has interactive
232 | interfaces that do not display Appropriate Legal Notices, your
233 | work need not make them do so.
234 |
235 | A compilation of a covered work with other separate and independent
236 | works, which are not by their nature extensions of the covered work,
237 | and which are not combined with it such as to form a larger program,
238 | in or on a volume of a storage or distribution medium, is called an
239 | "aggregate" if the compilation and its resulting copyright are not
240 | used to limit the access or legal rights of the compilation's users
241 | beyond what the individual works permit. Inclusion of a covered work
242 | in an aggregate does not cause this License to apply to the other
243 | parts of the aggregate.
244 |
245 | 6. Conveying Non-Source Forms.
246 |
247 | You may convey a covered work in object code form under the terms
248 | of sections 4 and 5, provided that you also convey the
249 | machine-readable Corresponding Source under the terms of this License,
250 | in one of these ways:
251 |
252 | a) Convey the object code in, or embodied in, a physical product
253 | (including a physical distribution medium), accompanied by the
254 | Corresponding Source fixed on a durable physical medium
255 | customarily used for software interchange.
256 |
257 | b) Convey the object code in, or embodied in, a physical product
258 | (including a physical distribution medium), accompanied by a
259 | written offer, valid for at least three years and valid for as
260 | long as you offer spare parts or customer support for that product
261 | model, to give anyone who possesses the object code either (1) a
262 | copy of the Corresponding Source for all the software in the
263 | product that is covered by this License, on a durable physical
264 | medium customarily used for software interchange, for a price no
265 | more than your reasonable cost of physically performing this
266 | conveying of source, or (2) access to copy the
267 | Corresponding Source from a network server at no charge.
268 |
269 | c) Convey individual copies of the object code with a copy of the
270 | written offer to provide the Corresponding Source. This
271 | alternative is allowed only occasionally and noncommercially, and
272 | only if you received the object code with such an offer, in accord
273 | with subsection 6b.
274 |
275 | d) Convey the object code by offering access from a designated
276 | place (gratis or for a charge), and offer equivalent access to the
277 | Corresponding Source in the same way through the same place at no
278 | further charge. You need not require recipients to copy the
279 | Corresponding Source along with the object code. If the place to
280 | copy the object code is a network server, the Corresponding Source
281 | may be on a different server (operated by you or a third party)
282 | that supports equivalent copying facilities, provided you maintain
283 | clear directions next to the object code saying where to find the
284 | Corresponding Source. Regardless of what server hosts the
285 | Corresponding Source, you remain obligated to ensure that it is
286 | available for as long as needed to satisfy these requirements.
287 |
288 | e) Convey the object code using peer-to-peer transmission, provided
289 | you inform other peers where the object code and Corresponding
290 | Source of the work are being offered to the general public at no
291 | charge under subsection 6d.
292 |
293 | A separable portion of the object code, whose source code is excluded
294 | from the Corresponding Source as a System Library, need not be
295 | included in conveying the object code work.
296 |
297 | A "User Product" is either (1) a "consumer product", which means any
298 | tangible personal property which is normally used for personal, family,
299 | or household purposes, or (2) anything designed or sold for incorporation
300 | into a dwelling. In determining whether a product is a consumer product,
301 | doubtful cases shall be resolved in favor of coverage. For a particular
302 | product received by a particular user, "normally used" refers to a
303 | typical or common use of that class of product, regardless of the status
304 | of the particular user or of the way in which the particular user
305 | actually uses, or expects or is expected to use, the product. A product
306 | is a consumer product regardless of whether the product has substantial
307 | commercial, industrial or non-consumer uses, unless such uses represent
308 | the only significant mode of use of the product.
309 |
310 | "Installation Information" for a User Product means any methods,
311 | procedures, authorization keys, or other information required to install
312 | and execute modified versions of a covered work in that User Product from
313 | a modified version of its Corresponding Source. The information must
314 | suffice to ensure that the continued functioning of the modified object
315 | code is in no case prevented or interfered with solely because
316 | modification has been made.
317 |
318 | If you convey an object code work under this section in, or with, or
319 | specifically for use in, a User Product, and the conveying occurs as
320 | part of a transaction in which the right of possession and use of the
321 | User Product is transferred to the recipient in perpetuity or for a
322 | fixed term (regardless of how the transaction is characterized), the
323 | Corresponding Source conveyed under this section must be accompanied
324 | by the Installation Information. But this requirement does not apply
325 | if neither you nor any third party retains the ability to install
326 | modified object code on the User Product (for example, the work has
327 | been installed in ROM).
328 |
329 | The requirement to provide Installation Information does not include a
330 | requirement to continue to provide support service, warranty, or updates
331 | for a work that has been modified or installed by the recipient, or for
332 | the User Product in which it has been modified or installed. Access to a
333 | network may be denied when the modification itself materially and
334 | adversely affects the operation of the network or violates the rules and
335 | protocols for communication across the network.
336 |
337 | Corresponding Source conveyed, and Installation Information provided,
338 | in accord with this section must be in a format that is publicly
339 | documented (and with an implementation available to the public in
340 | source code form), and must require no special password or key for
341 | unpacking, reading or copying.
342 |
343 | 7. Additional Terms.
344 |
345 | "Additional permissions" are terms that supplement the terms of this
346 | License by making exceptions from one or more of its conditions.
347 | Additional permissions that are applicable to the entire Program shall
348 | be treated as though they were included in this License, to the extent
349 | that they are valid under applicable law. If additional permissions
350 | apply only to part of the Program, that part may be used separately
351 | under those permissions, but the entire Program remains governed by
352 | this License without regard to the additional permissions.
353 |
354 | When you convey a copy of a covered work, you may at your option
355 | remove any additional permissions from that copy, or from any part of
356 | it. (Additional permissions may be written to require their own
357 | removal in certain cases when you modify the work.) You may place
358 | additional permissions on material, added by you to a covered work,
359 | for which you have or can give appropriate copyright permission.
360 |
361 | Notwithstanding any other provision of this License, for material you
362 | add to a covered work, you may (if authorized by the copyright holders of
363 | that material) supplement the terms of this License with terms:
364 |
365 | a) Disclaiming warranty or limiting liability differently from the
366 | terms of sections 15 and 16 of this License; or
367 |
368 | b) Requiring preservation of specified reasonable legal notices or
369 | author attributions in that material or in the Appropriate Legal
370 | Notices displayed by works containing it; or
371 |
372 | c) Prohibiting misrepresentation of the origin of that material, or
373 | requiring that modified versions of such material be marked in
374 | reasonable ways as different from the original version; or
375 |
376 | d) Limiting the use for publicity purposes of names of licensors or
377 | authors of the material; or
378 |
379 | e) Declining to grant rights under trademark law for use of some
380 | trade names, trademarks, or service marks; or
381 |
382 | f) Requiring indemnification of licensors and authors of that
383 | material by anyone who conveys the material (or modified versions of
384 | it) with contractual assumptions of liability to the recipient, for
385 | any liability that these contractual assumptions directly impose on
386 | those licensors and authors.
387 |
388 | All other non-permissive additional terms are considered "further
389 | restrictions" within the meaning of section 10. If the Program as you
390 | received it, or any part of it, contains a notice stating that it is
391 | governed by this License along with a term that is a further
392 | restriction, you may remove that term. If a license document contains
393 | a further restriction but permits relicensing or conveying under this
394 | License, you may add to a covered work material governed by the terms
395 | of that license document, provided that the further restriction does
396 | not survive such relicensing or conveying.
397 |
398 | If you add terms to a covered work in accord with this section, you
399 | must place, in the relevant source files, a statement of the
400 | additional terms that apply to those files, or a notice indicating
401 | where to find the applicable terms.
402 |
403 | Additional terms, permissive or non-permissive, may be stated in the
404 | form of a separately written license, or stated as exceptions;
405 | the above requirements apply either way.
406 |
407 | 8. Termination.
408 |
409 | You may not propagate or modify a covered work except as expressly
410 | provided under this License. Any attempt otherwise to propagate or
411 | modify it is void, and will automatically terminate your rights under
412 | this License (including any patent licenses granted under the third
413 | paragraph of section 11).
414 |
415 | However, if you cease all violation of this License, then your
416 | license from a particular copyright holder is reinstated (a)
417 | provisionally, unless and until the copyright holder explicitly and
418 | finally terminates your license, and (b) permanently, if the copyright
419 | holder fails to notify you of the violation by some reasonable means
420 | prior to 60 days after the cessation.
421 |
422 | Moreover, your license from a particular copyright holder is
423 | reinstated permanently if the copyright holder notifies you of the
424 | violation by some reasonable means, this is the first time you have
425 | received notice of violation of this License (for any work) from that
426 | copyright holder, and you cure the violation prior to 30 days after
427 | your receipt of the notice.
428 |
429 | Termination of your rights under this section does not terminate the
430 | licenses of parties who have received copies or rights from you under
431 | this License. If your rights have been terminated and not permanently
432 | reinstated, you do not qualify to receive new licenses for the same
433 | material under section 10.
434 |
435 | 9. Acceptance Not Required for Having Copies.
436 |
437 | You are not required to accept this License in order to receive or
438 | run a copy of the Program. Ancillary propagation of a covered work
439 | occurring solely as a consequence of using peer-to-peer transmission
440 | to receive a copy likewise does not require acceptance. However,
441 | nothing other than this License grants you permission to propagate or
442 | modify any covered work. These actions infringe copyright if you do
443 | not accept this License. Therefore, by modifying or propagating a
444 | covered work, you indicate your acceptance of this License to do so.
445 |
446 | 10. Automatic Licensing of Downstream Recipients.
447 |
448 | Each time you convey a covered work, the recipient automatically
449 | receives a license from the original licensors, to run, modify and
450 | propagate that work, subject to this License. You are not responsible
451 | for enforcing compliance by third parties with this License.
452 |
453 | An "entity transaction" is a transaction transferring control of an
454 | organization, or substantially all assets of one, or subdividing an
455 | organization, or merging organizations. If propagation of a covered
456 | work results from an entity transaction, each party to that
457 | transaction who receives a copy of the work also receives whatever
458 | licenses to the work the party's predecessor in interest had or could
459 | give under the previous paragraph, plus a right to possession of the
460 | Corresponding Source of the work from the predecessor in interest, if
461 | the predecessor has it or can get it with reasonable efforts.
462 |
463 | You may not impose any further restrictions on the exercise of the
464 | rights granted or affirmed under this License. For example, you may
465 | not impose a license fee, royalty, or other charge for exercise of
466 | rights granted under this License, and you may not initiate litigation
467 | (including a cross-claim or counterclaim in a lawsuit) alleging that
468 | any patent claim is infringed by making, using, selling, offering for
469 | sale, or importing the Program or any portion of it.
470 |
471 | 11. Patents.
472 |
473 | A "contributor" is a copyright holder who authorizes use under this
474 | License of the Program or a work on which the Program is based. The
475 | work thus licensed is called the contributor's "contributor version".
476 |
477 | A contributor's "essential patent claims" are all patent claims
478 | owned or controlled by the contributor, whether already acquired or
479 | hereafter acquired, that would be infringed by some manner, permitted
480 | by this License, of making, using, or selling its contributor version,
481 | but do not include claims that would be infringed only as a
482 | consequence of further modification of the contributor version. For
483 | purposes of this definition, "control" includes the right to grant
484 | patent sublicenses in a manner consistent with the requirements of
485 | this License.
486 |
487 | Each contributor grants you a non-exclusive, worldwide, royalty-free
488 | patent license under the contributor's essential patent claims, to
489 | make, use, sell, offer for sale, import and otherwise run, modify and
490 | propagate the contents of its contributor version.
491 |
492 | In the following three paragraphs, a "patent license" is any express
493 | agreement or commitment, however denominated, not to enforce a patent
494 | (such as an express permission to practice a patent or covenant not to
495 | sue for patent infringement). To "grant" such a patent license to a
496 | party means to make such an agreement or commitment not to enforce a
497 | patent against the party.
498 |
499 | If you convey a covered work, knowingly relying on a patent license,
500 | and the Corresponding Source of the work is not available for anyone
501 | to copy, free of charge and under the terms of this License, through a
502 | publicly available network server or other readily accessible means,
503 | then you must either (1) cause the Corresponding Source to be so
504 | available, or (2) arrange to deprive yourself of the benefit of the
505 | patent license for this particular work, or (3) arrange, in a manner
506 | consistent with the requirements of this License, to extend the patent
507 | license to downstream recipients. "Knowingly relying" means you have
508 | actual knowledge that, but for the patent license, your conveying the
509 | covered work in a country, or your recipient's use of the covered work
510 | in a country, would infringe one or more identifiable patents in that
511 | country that you have reason to believe are valid.
512 |
513 | If, pursuant to or in connection with a single transaction or
514 | arrangement, you convey, or propagate by procuring conveyance of, a
515 | covered work, and grant a patent license to some of the parties
516 | receiving the covered work authorizing them to use, propagate, modify
517 | or convey a specific copy of the covered work, then the patent license
518 | you grant is automatically extended to all recipients of the covered
519 | work and works based on it.
520 |
521 | A patent license is "discriminatory" if it does not include within
522 | the scope of its coverage, prohibits the exercise of, or is
523 | conditioned on the non-exercise of one or more of the rights that are
524 | specifically granted under this License. You may not convey a covered
525 | work if you are a party to an arrangement with a third party that is
526 | in the business of distributing software, under which you make payment
527 | to the third party based on the extent of your activity of conveying
528 | the work, and under which the third party grants, to any of the
529 | parties who would receive the covered work from you, a discriminatory
530 | patent license (a) in connection with copies of the covered work
531 | conveyed by you (or copies made from those copies), or (b) primarily
532 | for and in connection with specific products or compilations that
533 | contain the covered work, unless you entered into that arrangement,
534 | or that patent license was granted, prior to 28 March 2007.
535 |
536 | Nothing in this License shall be construed as excluding or limiting
537 | any implied license or other defenses to infringement that may
538 | otherwise be available to you under applicable patent law.
539 |
540 | 12. No Surrender of Others' Freedom.
541 |
542 | If conditions are imposed on you (whether by court order, agreement or
543 | otherwise) that contradict the conditions of this License, they do not
544 | excuse you from the conditions of this License. If you cannot convey a
545 | covered work so as to satisfy simultaneously your obligations under this
546 | License and any other pertinent obligations, then as a consequence you may
547 | not convey it at all. For example, if you agree to terms that obligate you
548 | to collect a royalty for further conveying from those to whom you convey
549 | the Program, the only way you could satisfy both those terms and this
550 | License would be to refrain entirely from conveying the Program.
551 |
552 | 13. Use with the GNU Affero General Public License.
553 |
554 | Notwithstanding any other provision of this License, you have
555 | permission to link or combine any covered work with a work licensed
556 | under version 3 of the GNU Affero General Public License into a single
557 | combined work, and to convey the resulting work. The terms of this
558 | License will continue to apply to the part which is the covered work,
559 | but the special requirements of the GNU Affero General Public License,
560 | section 13, concerning interaction through a network will apply to the
561 | combination as such.
562 |
563 | 14. Revised Versions of this License.
564 |
565 | The Free Software Foundation may publish revised and/or new versions of
566 | the GNU General Public License from time to time. Such new versions will
567 | be similar in spirit to the present version, but may differ in detail to
568 | address new problems or concerns.
569 |
570 | Each version is given a distinguishing version number. If the
571 | Program specifies that a certain numbered version of the GNU General
572 | Public License "or any later version" applies to it, you have the
573 | option of following the terms and conditions either of that numbered
574 | version or of any later version published by the Free Software
575 | Foundation. If the Program does not specify a version number of the
576 | GNU General Public License, you may choose any version ever published
577 | by the Free Software Foundation.
578 |
579 | If the Program specifies that a proxy can decide which future
580 | versions of the GNU General Public License can be used, that proxy's
581 | public statement of acceptance of a version permanently authorizes you
582 | to choose that version for the Program.
583 |
584 | Later license versions may give you additional or different
585 | permissions. However, no additional obligations are imposed on any
586 | author or copyright holder as a result of your choosing to follow a
587 | later version.
588 |
589 | 15. Disclaimer of Warranty.
590 |
591 | THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY
592 | APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT
593 | HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY
594 | OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO,
595 | THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
596 | PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM
597 | IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF
598 | ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
599 |
600 | 16. Limitation of Liability.
601 |
602 | IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
603 | WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS
604 | THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY
605 | GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE
606 | USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF
607 | DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD
608 | PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS),
609 | EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF
610 | SUCH DAMAGES.
611 |
612 | 17. Interpretation of Sections 15 and 16.
613 |
614 | If the disclaimer of warranty and limitation of liability provided
615 | above cannot be given local legal effect according to their terms,
616 | reviewing courts shall apply local law that most closely approximates
617 | an absolute waiver of all civil liability in connection with the
618 | Program, unless a warranty or assumption of liability accompanies a
619 | copy of the Program in return for a fee.
620 |
621 | END OF TERMS AND CONDITIONS
622 |
623 | How to Apply These Terms to Your New Programs
624 |
625 | If you develop a new program, and you want it to be of the greatest
626 | possible use to the public, the best way to achieve this is to make it
627 | free software which everyone can redistribute and change under these terms.
628 |
629 | To do so, attach the following notices to the program. It is safest
630 | to attach them to the start of each source file to most effectively
631 | state the exclusion of warranty; and each file should have at least
632 | the "copyright" line and a pointer to where the full notice is found.
633 |
634 |
635 | Copyright (C)
636 |
637 | This program is free software: you can redistribute it and/or modify
638 | it under the terms of the GNU General Public License as published by
639 | the Free Software Foundation, either version 3 of the License, or
640 | (at your option) any later version.
641 |
642 | This program is distributed in the hope that it will be useful,
643 | but WITHOUT ANY WARRANTY; without even the implied warranty of
644 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
645 | GNU General Public License for more details.
646 |
647 | You should have received a copy of the GNU General Public License
648 | along with this program. If not, see .
649 |
650 | Also add information on how to contact you by electronic and paper mail.
651 |
652 | If the program does terminal interaction, make it output a short
653 | notice like this when it starts in an interactive mode:
654 |
655 | Copyright (C)
656 | This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'.
657 | This is free software, and you are welcome to redistribute it
658 | under certain conditions; type `show c' for details.
659 |
660 | The hypothetical commands `show w' and `show c' should show the appropriate
661 | parts of the General Public License. Of course, your program's commands
662 | might be different; for a GUI interface, you would use an "about box".
663 |
664 | You should also get your employer (if you work as a programmer) or school,
665 | if any, to sign a "copyright disclaimer" for the program, if necessary.
666 | For more information on this, and how to apply and follow the GNU GPL, see
667 | .
668 |
669 | The GNU General Public License does not permit incorporating your program
670 | into proprietary programs. If your program is a subroutine library, you
671 | may consider it more useful to permit linking proprietary applications with
672 | the library. If this is what you want to do, use the GNU Lesser General
673 | Public License instead of this License. But first, please read
674 | .
675 |
--------------------------------------------------------------------------------