kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity
My personal project and infrastructure archive
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
127797 Commits
7 Branches
1 Tag
1.4 GiB
 
 
 
 
 
 
Tag: Branch: Tree: 600d0afc4f
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '600d0afc4f'
${ noResults }
nomicon/pkgs/development/idris-modules
History
Márton Boros 2996be511d
Undo spacing difference 		6 years ago
..
README.md idris-modules: Add docs 9 years ago
TODO.md idris-modules: Add docs 9 years ago
build-builtin-package.nix idrisPackages.idris: 1.0 -> 1.1.1 7 years ago
build-idris-package.nix idris: Move library setup to the setup hook. 7 years ago
default.nix Add wrapper for idris exe for gcc/gmp runtime deps 7 years ago
httpclient.nix idrisPackages.httpclient: init 8 years ago
idris-wrapper.nix Undo spacing difference 6 years ago
lightyear.nix idrisPackages.lightyear: 2016-08-01 -> 2017-09-10 7 years ago
setup-hook.sh idris: Move library setup to the setup hook. 7 years ago
specdris.nix specdris: init at 2017-11-11 (#31544) 7 years ago
with-packages.nix treewide: Don't use envHook anymore 7 years ago
wl-pprint.nix wl-pprint: update to 2016-09-28 8 years ago

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.