History

Shea Levy 1a1ad1a17d Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs" This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c.		2017-09-29 09:11:26 -04:00
..
build-builtin-package.nix	idrisPackages.idris: 1.0 -> 1.1.1	2017-08-23 06:45:32 -05:00
build-idris-package.nix	idrisPackages.idris: 1.0 -> 1.1.1	2017-08-23 06:45:32 -05:00
default.nix	Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs"	2017-09-29 09:11:26 -04:00
httpclient.nix	idrisPackages.httpclient: init	2016-12-20 00:28:23 +01:00
lightyear.nix	lightyear: init at 9420f9e	2016-09-27 18:01:15 +00:00
README.md	idris-modules: Add docs	2015-11-27 13:34:38 -05:00
TODO.md	idris-modules: Add docs	2015-11-27 13:34:38 -05:00
with-packages.nix	idris-modules: documentation	2015-11-27 13:17:17 -05:00
wl-pprint.nix	wl-pprint: update to 2016-09-28	2016-09-28 19:36:44 +00:00

README.md

Idris packages

This directory contains build rules for idris packages. In addition, it contains several functions to build and compose those packages. Everything is exposed to the user via the idrisPackages attribute.

callPackage

This is like the normal nixpkgs callPackage function, specialized to idris packages.

builtins

This is a list of all of the libraries that come packaged with Idris itself.

build-idris-package

A function to build an idris package. Its sole argument is a set like you might pass to stdenv.mkDerivation, except build-idris-package sets several attributes for you. See build-idris-package.nix for details.

build-builtin-package

A version of build-idris-package specialized to builtin libraries. Mostly for internal use.

with-packages

Bundle idris together with a list of packages. Because idris currently only supports a single directory in its library path, you must include all desired libraries here, including prelude and base.