public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

agda: Just with all of the string helper functions

Browse Source
This commit is contained in:
John Ericson 2015-05-30 19:30:24 +00:00
parent 21b10ab44f
commit 9b31a07b0d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/build-support/agda/default.nix
View File

@ -7,12 +7,12 @@
, extension ? (self: super: {}) , extension ? (self: super: {})
}: }:
with stdenv.lib.strings;
let let
optionalString = stdenv.lib.optionalString; optionalString = stdenv.lib.optionalString;
filter = stdenv.lib.filter; filter = stdenv.lib.filter;
concatMapStringsSep = stdenv.lib.strings.concatMapStringsSep; unwords = concatStringsSep " ";
concatMapStrings = stdenv.lib.strings.concatMapStrings;
unwords = stdenv.lib.strings.concatStringsSep " ";
mapInside = xs: unwords (map (x: x + "/*") xs); mapInside = xs: unwords (map (x: x + "/*") xs);
defaults = self : { defaults = self : {