nixpkgs/pkgs/development/idris-modules/default.nix

214 lines
5.0 KiB
Nix
Raw Normal View History

{ pkgs, idris-no-deps, overrides ? (self: super: {}) }: let
2015-11-27 13:19:50 +00:00
inherit (pkgs.lib) callPackageWith fix' extends;
/* Taken from haskell-modules/default.nix, should probably abstract this away */
callPackageWithScope = scope: drv: args: (callPackageWith scope drv args) // {
overrideScope = f: callPackageWithScope (mkScope (fix' (extends f scope.__unfix__))) drv args;
};
mkScope = scope : pkgs // pkgs.xorg // pkgs.gnome2 // scope;
2015-11-27 13:19:50 +00:00
idrisPackages = self: let
defaultScope = mkScope self;
callPackage = callPackageWithScope defaultScope;
builtins_ = pkgs.lib.mapAttrs self.build-builtin-package {
prelude = [];
base = [ self.prelude ];
contrib = [ self.prelude self.base ];
effects = [ self.prelude self.base ];
pruviloj = [ self.prelude self.base ];
};
in
{
inherit idris-no-deps callPackage;
2018-03-16 11:40:17 +00:00
# Idris wrapper with specified compiler and library paths, used to build packages
2018-07-02 00:32:47 +00:00
idris = pkgs.callPackage ./idris-wrapper.nix {
inherit idris-no-deps;
};
2018-03-16 11:40:17 +00:00
# Utilities for building packages
with-packages = callPackage ./with-packages.nix {} ;
build-builtin-package = callPackage ./build-builtin-package.nix {};
build-idris-package = callPackage ./build-idris-package.nix {};
2018-03-16 11:40:17 +00:00
# The set of libraries that comes with idris
builtins = pkgs.lib.mapAttrsToList (name: value: value) builtins_;
2018-03-16 11:40:17 +00:00
# Libraries
array = callPackage ./array.nix {};
bi = callPackage ./bi.nix {};
bifunctors = callPackage ./bifunctors.nix {};
bytes = callPackage ./bytes.nix {};
canvas = callPackage ./canvas.nix {};
categories = callPackage ./categories.nix {};
coda = callPackage ./coda.nix {};
config = callPackage ./config.nix {};
comonad = callPackage ./comonad.nix {};
composition = callPackage ./composition.nix {};
console = callPackage ./console.nix {};
containers = callPackage ./containers.nix {};
cube = callPackage ./cube.nix {};
data = callPackage ./data.nix {};
derive = callPackage ./derive.nix {};
descncrunch = callPackage ./descncrunch.nix {};
dict = callPackage ./dict.nix {};
dom = callPackage ./dom.nix {};
electron = callPackage ./electron.nix {};
eternal = callPackage ./eternal.nix {};
farrp = callPackage ./farrp.nix {};
free = callPackage ./free.nix {};
fsm = callPackage ./fsm.nix {};
glfw = callPackage ./glfw.nix {};
graphviz = callPackage ./graphviz.nix {};
hamt = callPackage ./hamt.nix {};
html = callPackage ./html.nix {};
heyting-algebra = callPackage ./heyting-algebra.nix {};
hezarfen = callPackage ./hezarfen.nix {};
hrtime = callPackage ./hrtime.nix {};
http = callPackage ./http.nix {};
http4idris = callPackage ./http4idris.nix {};
iaia = callPackage ./iaia.nix {};
idrishighlighter = callPackage ./idrishighlighter.nix {};
idrisscript = callPackage ./idrisscript.nix {};
ipkgparser = callPackage ./ipkgparser.nix {};
jheiling-extras = callPackage ./jheiling-extras.nix {};
jheiling-js = callPackage ./jheiling-js.nix {};
js = callPackage ./js.nix {};
lens = callPackage ./lens.nix {};
lightyear = callPackage ./lightyear.nix {};
2018-03-16 11:40:17 +00:00
logic = callPackage ./logic.nix {};
mapping = callPackage ./mapping.nix {};
mhd = callPackage ./mhd.nix {};
pacman = callPackage ./pacman.nix {};
patricia = callPackage ./patricia.nix {};
permutations = callPackage ./permutations.nix {};
pfds = callPackage ./pfds.nix {};
pipes = callPackage ./pipes.nix {};
posix = callPackage ./posix.nix {};
protobuf = callPackage ./protobuf.nix {};
quantities = callPackage ./quantities.nix {};
2018-03-16 11:40:17 +00:00
rationals = callPackage ./rationals.nix {};
recursion_schemes = callPackage ./recursion_schemes.nix {};
refined = callPackage ./refined.nix {};
sdl = callPackage ./sdl.nix {};
sdl2 = callPackage ./sdl2.nix {};
semidirect = callPackage ./semidirect.nix {};
setoids = callPackage ./setoids.nix {};
smproc = callPackage ./smproc.nix {};
snippets = callPackage ./snippets.nix {};
software_foundations = callPackage ./software_foundations.nix {};
specdris = callPackage ./specdris.nix {};
2018-03-16 11:40:17 +00:00
tap = callPackage ./tap.nix {};
test = callPackage ./test.nix {};
tlhydra = callPackage ./tlhydra.nix {};
tomladris = callPackage ./tomladris.nix {};
tp = callPackage ./tp.nix {};
tparsec = callPackage ./tparsec.nix {};
transducers = callPackage ./transducers.nix {};
trees = callPackage ./trees.nix {};
union_type = callPackage ./union_type.nix {};
2018-05-08 09:41:52 +00:00
vdom = callPackage ./vdom.nix {};
2018-03-16 11:40:17 +00:00
vecspace = callPackage ./vecspace.nix {};
webgl = callPackage ./webgl.nix {};
wl-pprint = callPackage ./wl-pprint.nix {};
wyvern = callPackage ./wyvern.nix {};
xhr = callPackage ./xhr.nix {};
yaml = callPackage ./yaml.nix {};
yampa = callPackage ./yampa.nix {};
} // builtins_;
2015-11-27 13:19:50 +00:00
in fix' (extends overrides idrisPackages)