mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 15:11:35 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/idris-modules
History
Vanessa McHale ab2038d573 specdris: init at 2017-11-11 (#31544)
2017-11-21 22:59:38 +00: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 Add wrapper for idris exe for gcc/gmp runtime deps 2017-11-02 23:14:12 +00:00
httpclient.nix idrisPackages.httpclient: init 2016-12-20 00:28:23 +01:00
idris-wrapper.nix Add wrapper for idris exe for gcc/gmp runtime deps 2017-11-02 23:14:12 +00:00
lightyear.nix idrisPackages.lightyear: 2016-08-01 -> 2017-09-10 2017-10-19 02:03:36 +11:00
README.md idris-modules: Add docs 2015-11-27 13:34:38 -05:00
specdris.nix specdris: init at 2017-11-11 (#31544) 2017-11-21 22:59:38 +00:00
TODO.md idris-modules: Add docs 2015-11-27 13:34:38 -05:00
with-packages.nix Fix idrisPackages.with-packages 2017-10-30 12:25:33 +01: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.