on master help sign in
Removed some parens
commit544a0361b219460416d57d3b6a025011ec55fb32 authoriko <ilyakooo0@gmail.com> dateSat 22 May 2021, 17:35 (5 years ago) parent6a0233f
96 files changed+581−1737
src/Tix/Types.hs+1−1 test/golden/importless/0.3.3.txt+1−1 test/golden/importless/0.5.1.txt+1−1 test/golden/importless/1.55.txt+1−1 test/golden/importless/1.59.txt+1−1 test/golden/importless/1.60.txt+1−1 test/golden/importless/1.65.txt+1−1 test/golden/importless/1.66.txt+1−1 test/golden/importless/1.67.txt+1−1 test/golden/importless/1.68.txt+1−1 test/golden/importless/1.69.txt+1−1 test/golden/importless/1.70.txt+1−1 test/golden/importless/1.71.txt+1−1 test/golden/importless/1.72.txt+1−1 test/golden/importless/1compat.txt+1−1 test/golden/importless/2.1.txt+1−1 test/golden/importless/2.2.txt+1−1 test/golden/importless/2.5.txt+1−1 test/golden/importless/2.8.txt+1−1 test/golden/importless/2_4.txt+1−1 test/golden/importless/3.0.txt+1−1 test/golden/importless/3.11.txt+1−1 test/golden/importless/3.5.txt+1−1 test/golden/importless/3_1.txt+1−1 test/golden/importless/4.13a.txt+1−1 test/golden/importless/8.5.txt+1−1 test/golden/importless/8.6.txt+1−1 test/golden/importless/8_0.txt+7−10 test/golden/importless/aliases.txt+106−109 test/golden/importless/binary-tarball.txt+16−22 test/golden/importless/bioc-annotation-packages.txt−1032 test/golden/importless/build-rebar3.txt+19−22 test/golden/importless/buildOcamlJane.txt+13−16 test/golden/importless/builder.txt+10−13 test/golden/importless/cohttp.txt+1−1 test/golden/importless/combinators.txt+1−1 test/golden/importless/contrib.txt+1−1 test/golden/importless/cstruct.txt+1−1 test/golden/importless/debian-build.txt+10−13 test/golden/importless/declare-lazyAttrsOf.txt+1−1 test/golden/importless/declare-submoduleWith-special.txt+1−1 test/golden/importless/define-option-dependently-nested.txt+1−1 test/golden/importless/define-option-dependently.txt+1−1 test/golden/importless/dsseries.txt+1−1 test/golden/importless/faust1.txt+37−46 test/golden/importless/faust2.txt+42−51 test/golden/importless/fcitx.txt+1−1 test/golden/importless/fixed-points.txt+5−9 test/golden/importless/freeoffice.txt+9−12 test/golden/importless/fs.txt+1−1 test/golden/importless/generic-builder.txt+13−16 test/golden/importless/generic-stack-builder.txt+18−21 test/golden/importless/geogebra6.txt+1−1 test/golden/importless/graphql.txt+1−1 test/golden/importless/http.txt+1−1 test/golden/importless/integrations-core.txt+10−13 test/golden/importless/janePackage.txt+7−10 test/golden/importless/janePackage_0_12.txt+7−10 test/golden/importless/janePackage_0_13.txt+7−10 test/golden/importless/java.txt+1−1 test/golden/importless/licenses.txt+14−17 test/golden/importless/linux-4.14.txt+7−10 test/golden/importless/linux-4.19.txt+7−10 test/golden/importless/linux-4.4.txt+1−1 test/golden/importless/linux-4.9.txt+1−1 test/golden/importless/linux-5.4.txt+7−10 test/golden/importless/linux-5.8.txt+7−10 test/golden/importless/linux-5.9.txt+7−10 test/golden/importless/linux-hardkernel-4.14.txt+9−12 test/golden/importless/linux-testing-bcachefs.txt+13−16 test/golden/importless/linux-testing.txt+7−10 test/golden/importless/linux-zen.txt+8−11 test/golden/importless/m32edit.txt+8−11 test/golden/importless/maven-build.txt+17−20 test/golden/importless/mem.txt+1−1 test/golden/importless/moodle-utils.txt+9−12 test/golden/importless/pack.txt+1−1 test/golden/importless/pk.txt+1−1 test/golden/importless/platform-flags.txt+1−1 test/golden/importless/pressureaudio.txt+1−1 test/golden/importless/qtModule.txt+14−17 test/golden/importless/rebar3-release.txt+16−19 test/golden/importless/rng-mirage.txt+1−1 test/golden/importless/rng.txt+1−1 test/golden/importless/sage-env.txt+1−1 test/golden/importless/schema.txt+1−1 test/golden/importless/sdk-pkgs.txt+10−13 test/golden/importless/shadow.txt+8−11 test/golden/importless/skeinrepo.txt+1−1 test/golden/importless/socket.txt+1−1 test/golden/importless/softmaker_office.txt+9−12 test/golden/importless/staging.txt+2−2 test/golden/importless/test.txt+1−1 test/golden/importless/unix.txt+1−1 test/golden/importless/x32edit.txt+8−11 test/golden/mine/inftype.txt+1−1
src/Tix/Types.hs+1−1
@@ -252,7 +252,7 @@ prettyScheme u@(cs :=> t) = do
252252 x' <- prettyNType False x
253253 y' <- prettyNType False y
254254 z' <- prettyNType False z
255− return $ group $ paren x' <+> "//" <> line <> paren y' <+> "~" <> line <> paren z'
255+ return $ group $ x' <+> "//" <> line <> y' <+> "~" <> line <> z'
256256 prettyPred (StringOrNumber x) = do
257257 x' <- prettyNType False x
258258 return $ "(String | Number)" <+> "~" <+> x'
test/golden/importless/0.3.3.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( (α) // ({patches = [String]; sha256 = String; version = String;}) ~ (β),
2+( α // {patches = [String]; sha256 = String; version = String;} ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/0.5.1.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ.
2−( (α) // ({prePatch = String; src = β; version = String;}) ~ (γ),
2+( α // {prePatch = String; src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β
55) =>
test/golden/importless/1.55.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ.
2−( (α) // ({patches = [String]; src = β; version = String;}) ~ (γ),
2+( α // {patches = [String]; src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β
55) =>
test/golden/importless/1.59.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β,
55 α.stdenv = ε
test/golden/importless/1.60.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β,
55 α.stdenv = ε
test/golden/importless/1.65.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β,
55 α.stdenv = ε
test/golden/importless/1.66.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β,
55 α.stdenv = ε
test/golden/importless/1.67.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ η θ ι.
2−( (α) // ({patches = [β]; src = γ; version = String;}) ~ (δ),
2+( α // {patches = [β]; src = γ; version = String;} ~ δ,
33 α.callPackage = String -> δ -> ε,
44 α.fetchpatch = {sha256 = String; stripLen = Number; url = String;} -> β,
55 α.fetchurl = {sha256 = String; url = String;} -> γ,
test/golden/importless/1.68.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchpatch = ε,
55 α.fetchurl = {sha256 = String; url = String;} -> β,
test/golden/importless/1.69.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchpatch = ε,
55 α.fetchurl = {sha256 = String; url = String;} -> β,
test/golden/importless/1.70.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchpatch = ε,
55 α.fetchurl = {sha256 = String; url = String;} -> β,
test/golden/importless/1.71.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchpatch = ε,
55 α.fetchurl = {sha256 = String; urls = [String];} -> β,
test/golden/importless/1.72.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchpatch = ε,
55 α.fetchurl = {sha256 = String; urls = [String];} -> β,
test/golden/importless/1compat.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι.
2−( (β) // ({description = String; priority = Number;}) ~ (γ),
2+( β // {description = String; priority = Number;} ~ γ,
33 δ.mkDerivation = {builder = ε; meta = ∀ α. α; name = String;} -> ζ,
44 η.meta = β,
55 θ.description = String
test/golden/importless/2.1.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( (α) // ({sha256 = String; version = String;}) ~ (β),
2+( α // {sha256 = String; version = String;} ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/2.2.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( (α) // ({sha256 = String; version = String;}) ~ (β),
2+( α // {sha256 = String; version = String;} ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/2.5.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β
55) =>
test/golden/importless/2.8.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( ({branch = String; sha256 = String; version = String;}) // (α) ~ (β),
2+( {branch = String; sha256 = String; version = String;} // α ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/2_4.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( (α) // ({sha256 = String; version = String;}) ~ (β),
2+( α // {sha256 = String; version = String;} ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/3.0.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( (α) // ({sha256 = String; version = String;}) ~ (β),
2+( α // {sha256 = String; version = String;} ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/3.11.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( (α) // ({sha256 = String; version = String;}) ~ (β),
2+( α // {sha256 = String; version = String;} ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/3.5.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε.
2−( (α) // ({src = β; version = String;}) ~ (γ),
2+( α // {src = β; version = String;} ~ γ,
33 α.autoreconfHook = δ,
44 α.callPackage = String -> γ -> ε,
55 α.fetchFromGitHub =
test/golden/importless/3_1.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ.
2−( (α) // ({sha256 = String; version = String;}) ~ (β),
2+( α // {sha256 = String; version = String;} ~ β,
33 α.callPackage = String -> β -> γ
44) =>
55α -> γ
test/golden/importless/4.13a.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι.
2−( (β) // ({branch = String;}) ~ (γ),
2+( β // {branch = String;} ~ γ,
33 δ.mkDerivation =
44 { buildInputs = [ε];
55 meta = ∀ α. α;
test/golden/importless/8.5.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε.
2−( (α) // ({src = β;}) ~ (γ),
2+( α // {src = β;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β,
55 α.tcl = ε
test/golden/importless/8.6.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ η θ.
2−( (α) // ({patches = [String]; src = β;}) ~ (γ),
2+( α // {patches = [String]; src = β;} ~ γ,
33 α.callPackage = String -> γ -> δ,
44 α.fetchurl = {sha256 = String; url = String;} -> β,
55 α.stdenv = ε,
test/golden/importless/8_0.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ.
2−( ( α
3− ) //
4− ( { extraPatches = [String];
5− extraPostInstall = String;
6− sha256 = String;
7− version = String;
8− }
9− ) ~
10− ( β
11− ),
2+( α //
3+ { extraPatches = [String];
4+ extraPostInstall = String;
5+ sha256 = String;
6+ version = String;
7+ } ~
8+ β,
129 α.callPackage = String -> β -> γ
1310) =>
1411α -> γ
test/golden/importless/aliases.txt+106−109
@@ -3,115 +3,112 @@
33ξ2 ο2 π2 ρ2 σ2 τ2 υ2 φ2 χ2 ψ2 ω2 α3 β3 γ3 δ3 ε3 ζ3 η3 θ3 ι3 κ3 λ3 μ3 ν3 ξ3 ο3 π3
44ρ3 σ3 τ3 υ3 φ3 χ3 ψ3 ω3 α4 β4 γ4 δ4 ε4 ζ4 η4 θ4 ι4 κ4 λ4 μ4 ν4 ξ4 ο4 π4 ρ4 σ4
55τ4.
6−( ( { BufOnly = α;
7− CSApprox = β;
8− Colour_Sampler_Pack = γ;
9− Cosco = δ;
10− Gist = ε;
11− Gundo = ζ;
12− Hoogle = η;
13− Solarized = θ;
14− Supertab = ι;
15− Syntastic = κ;
16− SyntaxRange = λ;
17− Tabular = μ;
18− Tagbar = ν;
19− The_NERD_Commenter = ξ;
20− The_NERD_tree = ο;
21− UltiSnips = π;
22− WebAPI = ρ;
23− Yankring = σ;
24− airline = τ;
25− alternative = υ;
26− bats = φ;
27− calendar = χ;
28− caw = ψ;
29− coffee-script = ω;
30− coffeeScript = α1;
31− colors-solarized = β1;
32− colorsamplerpack = γ1;
33− command_T = δ1;
34− commentary = ε1;
35− committia = ζ1;
36− concealedyank = η1;
37− context-filetype = θ1;
38− css_color_5056 = ι1;
39− csv = κ1;
40− ctrlp = λ1;
41− cute-python = μ1;
42− denite = ν1;
43− easy-align = ξ1;
44− easygit = ο1;
45− easymotion = π1;
46− echodoc = ρ1;
47− eighties = σ1;
48− extradite = τ1;
49− fugitive = υ1;
50− ghc-mod-vim = φ1;
51− ghcmod = χ1;
52− gitgutter = ψ1;
53− goyo = ω1;
54− gundo = α2;
55− haskellConceal = β2;
56− haskellConcealPlus = γ2;
57− haskellconceal = δ2;
58− hier = ε2;
59− hlint-refactor = ζ2;
60− hoogle = η2;
61− ipython = θ2;
62− latex-live-preview = ι2;
63− maktaba = κ2;
64− multiple-cursors = λ2;
65− necoGhc = μ2;
66− neocomplete = ν2;
67− neoinclude = ξ2;
68− neomru = ο2;
69− neosnippet = π2;
70− open-browser = ρ2;
71− pathogen = σ2;
72− polyglot = τ2;
73− prettyprint = υ2;
74− quickrun = φ2;
75− rainbow_parentheses = χ2;
76− repeat = ψ2;
77− rhubarb = ω2;
78− riv = α3;
79− sensible = β3;
80− signature = γ3;
81− sleuth = δ3;
82− snipmate = ε3;
83− solarized = ζ3;
84− solidity = η3;
85− sourcemap = θ3;
86− sourcemap.vim = ι3;
87− stylish-haskell = κ3;
88− stylishHaskell = λ3;
89− surround = μ3;
90− table-mode = ν3;
91− tabpagebuffer = ξ3;
92− tabpagecd = ο3;
93− taglist = π3;
94− thumbnail = ρ3;
95− tlib = σ3;
96− tmux-navigator = τ3;
97− tmuxNavigator = υ3;
98− tslime = φ3;
99− unite = χ3;
100− vim-addon-vim2nix = ψ3;
101− vimproc = ω3;
102− vimshell = α4;
103− vinegar = β4;
104− watchdogs = γ4;
105− wombat256 = δ4;
106− xterm-color-table = ε4;
107− yankring = ζ4;
108− zeavim = η4;
109− }
110− ) //
111− ( θ4
112− ) ~
113− ( ι4
114− ),
6+( { BufOnly = α;
7+ CSApprox = β;
8+ Colour_Sampler_Pack = γ;
9+ Cosco = δ;
10+ Gist = ε;
11+ Gundo = ζ;
12+ Hoogle = η;
13+ Solarized = θ;
14+ Supertab = ι;
15+ Syntastic = κ;
16+ SyntaxRange = λ;
17+ Tabular = μ;
18+ Tagbar = ν;
19+ The_NERD_Commenter = ξ;
20+ The_NERD_tree = ο;
21+ UltiSnips = π;
22+ WebAPI = ρ;
23+ Yankring = σ;
24+ airline = τ;
25+ alternative = υ;
26+ bats = φ;
27+ calendar = χ;
28+ caw = ψ;
29+ coffee-script = ω;
30+ coffeeScript = α1;
31+ colors-solarized = β1;
32+ colorsamplerpack = γ1;
33+ command_T = δ1;
34+ commentary = ε1;
35+ committia = ζ1;
36+ concealedyank = η1;
37+ context-filetype = θ1;
38+ css_color_5056 = ι1;
39+ csv = κ1;
40+ ctrlp = λ1;
41+ cute-python = μ1;
42+ denite = ν1;
43+ easy-align = ξ1;
44+ easygit = ο1;
45+ easymotion = π1;
46+ echodoc = ρ1;
47+ eighties = σ1;
48+ extradite = τ1;
49+ fugitive = υ1;
50+ ghc-mod-vim = φ1;
51+ ghcmod = χ1;
52+ gitgutter = ψ1;
53+ goyo = ω1;
54+ gundo = α2;
55+ haskellConceal = β2;
56+ haskellConcealPlus = γ2;
57+ haskellconceal = δ2;
58+ hier = ε2;
59+ hlint-refactor = ζ2;
60+ hoogle = η2;
61+ ipython = θ2;
62+ latex-live-preview = ι2;
63+ maktaba = κ2;
64+ multiple-cursors = λ2;
65+ necoGhc = μ2;
66+ neocomplete = ν2;
67+ neoinclude = ξ2;
68+ neomru = ο2;
69+ neosnippet = π2;
70+ open-browser = ρ2;
71+ pathogen = σ2;
72+ polyglot = τ2;
73+ prettyprint = υ2;
74+ quickrun = φ2;
75+ rainbow_parentheses = χ2;
76+ repeat = ψ2;
77+ rhubarb = ω2;
78+ riv = α3;
79+ sensible = β3;
80+ signature = γ3;
81+ sleuth = δ3;
82+ snipmate = ε3;
83+ solarized = ζ3;
84+ solidity = η3;
85+ sourcemap = θ3;
86+ sourcemap.vim = ι3;
87+ stylish-haskell = κ3;
88+ stylishHaskell = λ3;
89+ surround = μ3;
90+ table-mode = ν3;
91+ tabpagebuffer = ξ3;
92+ tabpagecd = ο3;
93+ taglist = π3;
94+ thumbnail = ρ3;
95+ tlib = σ3;
96+ tmux-navigator = τ3;
97+ tmuxNavigator = υ3;
98+ tslime = φ3;
99+ unite = χ3;
100+ vim-addon-vim2nix = ψ3;
101+ vimproc = ω3;
102+ vimshell = α4;
103+ vinegar = β4;
104+ watchdogs = γ4;
105+ wombat256 = δ4;
106+ xterm-color-table = ε4;
107+ yankring = ζ4;
108+ zeavim = η4;
109+ } //
110+ θ4 ~
111+ ι4,
115112 κ4.?recurseForDerivations = Bool,
116113 λ4.mapAttrs = (μ4 -> κ4 -> κ4) -> ι4 -> ν4,
117114 ξ4.BufOnly-vim = α,
test/golden/importless/binary-tarball.txt+16−22
@@ -1,26 +1,20 @@
11∀ β γ δ ε ζ η.
2−( ( β
3− ) //
4− ( { distPhase = String;
5− doDist = Bool;
6− finalPhase = String;
7− meta = ∀ α. α;
8− name = String;
9− postHook = String;
10− }
11− ) ~
12− ( γ
13− ),
14− ( { doCheck = Bool;
15− postPhases = String;
16− prefix = String;
17− showBuildStats = Bool;
18− }
19− ) //
20− ( γ
21− ) ~
22− ( δ
23− ),
2+( β //
3+ { distPhase = String;
4+ doDist = Bool;
5+ finalPhase = String;
6+ meta = ∀ α. α;
7+ name = String;
8+ postHook = String;
9+ } ~
10+ γ,
11+ { doCheck = Bool;
12+ postPhases = String;
13+ prefix = String;
14+ showBuildStats = Bool;
15+ } //
16+ γ ~
17+ δ,
2418 β.meta = {},
2519 β.?name = String,
2620 ε.version = String,
test/golden/importless/bioc-annotation-packages.txtdeleted−1032
@@ -1,1032 +0,0 @@
1−∀ β γ.
2−( β.AnnotationDbi = β,
3− β.AnnotationForge = β,
4− β.AnnotationHub = β,
5− β.AnnotationHubData = β,
6− β.BSgenome = β,
7− β.BSgenome_Amellifera_UCSC_apiMel2 = β,
8− β.BSgenome_Btaurus_UCSC_bosTau3 = β,
9− β.BSgenome_Btaurus_UCSC_bosTau4 = β,
10− β.BSgenome_Btaurus_UCSC_bosTau6 = β,
11− β.BSgenome_Cfamiliaris_UCSC_canFam2 = β,
12− β.BSgenome_Cfamiliaris_UCSC_canFam3 = β,
13− β.BSgenome_Dmelanogaster_UCSC_dm2 = β,
14− β.BSgenome_Dmelanogaster_UCSC_dm3 = β,
15− β.BSgenome_Drerio_UCSC_danRer5 = β,
16− β.BSgenome_Drerio_UCSC_danRer6 = β,
17− β.BSgenome_Drerio_UCSC_danRer7 = β,
18− β.BSgenome_Gaculeatus_UCSC_gasAcu1 = β,
19− β.BSgenome_Ggallus_UCSC_galGal3 = β,
20− β.BSgenome_Ggallus_UCSC_galGal4 = β,
21− β.BSgenome_Hsapiens_UCSC_hg17 = β,
22− β.BSgenome_Hsapiens_UCSC_hg18 = β,
23− β.BSgenome_Hsapiens_UCSC_hg19 = β,
24− β.BSgenome_Hsapiens_UCSC_hg38 = β,
25− β.BSgenome_Mmulatta_UCSC_rheMac2 = β,
26− β.BSgenome_Mmulatta_UCSC_rheMac3 = β,
27− β.BSgenome_Mmusculus_UCSC_mm10 = β,
28− β.BSgenome_Mmusculus_UCSC_mm8 = β,
29− β.BSgenome_Mmusculus_UCSC_mm9 = β,
30− β.BSgenome_Ptroglodytes_UCSC_panTro2 = β,
31− β.BSgenome_Ptroglodytes_UCSC_panTro3 = β,
32− β.BSgenome_Rnorvegicus_UCSC_rn4 = β,
33− β.BSgenome_Rnorvegicus_UCSC_rn5 = β,
34− β.BSgenome_Sscrofa_UCSC_susScr3 = β,
35− β.BSgenome_Tguttata_UCSC_taeGut1 = β,
36− β.Biobase = β,
37− β.BiocGenerics = β,
38− β.BiocManager = β,
39− β.Biostrings = β,
40− β.ChemmineR = β,
41− β.DBI = β,
42− β.GO_db = β,
43− β.GenomeInfoDb = β,
44− β.GenomeInfoDbData = β,
45− β.GenomicFeatures = β,
46− β.GenomicRanges = β,
47− β.GenomicScores = β,
48− β.IRanges = β,
49− β.LRBaseDbi = β,
50− β.MeSHDbi = β,
51− β.OrganismDbi = β,
52− β.RSQLite = β,
53− β.S4Vectors = β,
54− β.TxDb_Hsapiens_UCSC_hg18_knownGene = β,
55− β.TxDb_Hsapiens_UCSC_hg19_knownGene = β,
56− β.TxDb_Mmusculus_UCSC_mm10_knownGene = β,
57− β.TxDb_Rnorvegicus_UCSC_rn5_refGene = β,
58− β.VariantAnnotation = β,
59− β.dbplyr = β,
60− β.digest = β,
61− β.dplyr = β,
62− β.ensembldb = β,
63− β.gtools = β,
64− β.lumi = β,
65− β.metagenomeFeatures = β,
66− β.miRNAtap = β,
67− β.minfi = β,
68− β.oligo = β,
69− β.oligoClasses = β,
70− β.org_At_tair_db = β,
71− β.org_Bt_eg_db = β,
72− β.org_Ce_eg_db = β,
73− β.org_Cf_eg_db = β,
74− β.org_Dm_eg_db = β,
75− β.org_Dr_eg_db = β,
76− β.org_EcK12_eg_db = β,
77− β.org_Gg_eg_db = β,
78− β.org_Hs_eg_db = β,
79− β.org_Mm_eg_db = β,
80− β.org_Rn_eg_db = β,
81− β.org_Sc_sgd_db = β,
82− β.org_Ss_eg_db = β,
83− β.org_Xl_eg_db = β
84−) =>
85−{ derive =
86− {biocVersion = String;} ->
87− {depends = ∀ α. [α]; name = String; sha256 = String; version = String;} ->
88− γ;
89− self = β;
90−} ->
91−{ AHCytoBands = γ;
92− AHEnsDbs = γ;
93− BSgenome_Alyrata_JGI_v1 = γ;
94− BSgenome_Amellifera_BeeBase_assembly4 = γ;
95− BSgenome_Amellifera_UCSC_apiMel2 = γ;
96− BSgenome_Amellifera_UCSC_apiMel2_masked = γ;
97− BSgenome_Aofficinalis_NCBI_V1 = γ;
98− BSgenome_Athaliana_TAIR_04232008 = γ;
99− BSgenome_Athaliana_TAIR_TAIR9 = γ;
100− BSgenome_Btaurus_UCSC_bosTau3 = γ;
101− BSgenome_Btaurus_UCSC_bosTau3_masked = γ;
102− BSgenome_Btaurus_UCSC_bosTau4 = γ;
103− BSgenome_Btaurus_UCSC_bosTau4_masked = γ;
104− BSgenome_Btaurus_UCSC_bosTau6 = γ;
105− BSgenome_Btaurus_UCSC_bosTau6_masked = γ;
106− BSgenome_Btaurus_UCSC_bosTau8 = γ;
107− BSgenome_Carietinum_NCBI_v1 = γ;
108− BSgenome_Celegans_UCSC_ce10 = γ;
109− BSgenome_Celegans_UCSC_ce11 = γ;
110− BSgenome_Celegans_UCSC_ce2 = γ;
111− BSgenome_Celegans_UCSC_ce6 = γ;
112− BSgenome_Cfamiliaris_UCSC_canFam2 = γ;
113− BSgenome_Cfamiliaris_UCSC_canFam2_masked = γ;
114− BSgenome_Cfamiliaris_UCSC_canFam3 = γ;
115− BSgenome_Cfamiliaris_UCSC_canFam3_masked = γ;
116− BSgenome_Dmelanogaster_UCSC_dm2 = γ;
117− BSgenome_Dmelanogaster_UCSC_dm2_masked = γ;
118− BSgenome_Dmelanogaster_UCSC_dm3 = γ;
119− BSgenome_Dmelanogaster_UCSC_dm3_masked = γ;
120− BSgenome_Dmelanogaster_UCSC_dm6 = γ;
121− BSgenome_Drerio_UCSC_danRer10 = γ;
122− BSgenome_Drerio_UCSC_danRer5 = γ;
123− BSgenome_Drerio_UCSC_danRer5_masked = γ;
124− BSgenome_Drerio_UCSC_danRer6 = γ;
125− BSgenome_Drerio_UCSC_danRer6_masked = γ;
126− BSgenome_Drerio_UCSC_danRer7 = γ;
127− BSgenome_Drerio_UCSC_danRer7_masked = γ;
128− BSgenome_Ecoli_NCBI_20080805 = γ;
129− BSgenome_Gaculeatus_UCSC_gasAcu1 = γ;
130− BSgenome_Gaculeatus_UCSC_gasAcu1_masked = γ;
131− BSgenome_Ggallus_UCSC_galGal3 = γ;
132− BSgenome_Ggallus_UCSC_galGal3_masked = γ;
133− BSgenome_Ggallus_UCSC_galGal4 = γ;
134− BSgenome_Ggallus_UCSC_galGal4_masked = γ;
135− BSgenome_Ggallus_UCSC_galGal5 = γ;
136− BSgenome_Hsapiens_1000genomes_hs37d5 = γ;
137− BSgenome_Hsapiens_NCBI_GRCh38 = γ;
138− BSgenome_Hsapiens_UCSC_hg17 = γ;
139− BSgenome_Hsapiens_UCSC_hg17_masked = γ;
140− BSgenome_Hsapiens_UCSC_hg18 = γ;
141− BSgenome_Hsapiens_UCSC_hg18_masked = γ;
142− BSgenome_Hsapiens_UCSC_hg19 = γ;
143− BSgenome_Hsapiens_UCSC_hg19_masked = γ;
144− BSgenome_Hsapiens_UCSC_hg38 = γ;
145− BSgenome_Hsapiens_UCSC_hg38_masked = γ;
146− BSgenome_Mfascicularis_NCBI_5_0 = γ;
147− BSgenome_Mfuro_UCSC_musFur1 = γ;
148− BSgenome_Mmulatta_UCSC_rheMac2 = γ;
149− BSgenome_Mmulatta_UCSC_rheMac2_masked = γ;
150− BSgenome_Mmulatta_UCSC_rheMac3 = γ;
151− BSgenome_Mmulatta_UCSC_rheMac3_masked = γ;
152− BSgenome_Mmulatta_UCSC_rheMac8 = γ;
153− BSgenome_Mmusculus_UCSC_mm10 = γ;
154− BSgenome_Mmusculus_UCSC_mm10_masked = γ;
155− BSgenome_Mmusculus_UCSC_mm8 = γ;
156− BSgenome_Mmusculus_UCSC_mm8_masked = γ;
157− BSgenome_Mmusculus_UCSC_mm9 = γ;
158− BSgenome_Mmusculus_UCSC_mm9_masked = γ;
159− BSgenome_Osativa_MSU_MSU7 = γ;
160− BSgenome_Ptroglodytes_UCSC_panTro2 = γ;
161− BSgenome_Ptroglodytes_UCSC_panTro2_masked = γ;
162− BSgenome_Ptroglodytes_UCSC_panTro3 = γ;
163− BSgenome_Ptroglodytes_UCSC_panTro3_masked = γ;
164− BSgenome_Ptroglodytes_UCSC_panTro5 = γ;
165− BSgenome_Ptroglodytes_UCSC_panTro6 = γ;
166− BSgenome_Rnorvegicus_UCSC_rn4 = γ;
167− BSgenome_Rnorvegicus_UCSC_rn4_masked = γ;
168− BSgenome_Rnorvegicus_UCSC_rn5 = γ;
169− BSgenome_Rnorvegicus_UCSC_rn5_masked = γ;
170− BSgenome_Rnorvegicus_UCSC_rn6 = γ;
171− BSgenome_Scerevisiae_UCSC_sacCer1 = γ;
172− BSgenome_Scerevisiae_UCSC_sacCer2 = γ;
173− BSgenome_Scerevisiae_UCSC_sacCer3 = γ;
174− BSgenome_Sscrofa_UCSC_susScr11 = γ;
175− BSgenome_Sscrofa_UCSC_susScr3 = γ;
176− BSgenome_Sscrofa_UCSC_susScr3_masked = γ;
177− BSgenome_Tgondii_ToxoDB_7_0 = γ;
178− BSgenome_Tguttata_UCSC_taeGut1 = γ;
179− BSgenome_Tguttata_UCSC_taeGut1_masked = γ;
180− BSgenome_Tguttata_UCSC_taeGut2 = γ;
181− BSgenome_Vvinifera_URGI_IGGP12Xv0 = γ;
182− BSgenome_Vvinifera_URGI_IGGP12Xv2 = γ;
183− BSgenome_Vvinifera_URGI_IGGP8X = γ;
184− ChemmineDrugs = γ;
185− DO_db = γ;
186− EnsDb_Hsapiens_v75 = γ;
187− EnsDb_Hsapiens_v79 = γ;
188− EnsDb_Hsapiens_v86 = γ;
189− EnsDb_Mmusculus_v75 = γ;
190− EnsDb_Mmusculus_v79 = γ;
191− EnsDb_Rnorvegicus_v75 = γ;
192− EnsDb_Rnorvegicus_v79 = γ;
193− EuPathDB = γ;
194− FDb_FANTOM4_promoters_hg19 = γ;
195− FDb_InfiniumMethylation_hg18 = γ;
196− FDb_InfiniumMethylation_hg19 = γ;
197− FDb_UCSC_snp135common_hg19 = γ;
198− FDb_UCSC_snp137common_hg19 = γ;
199− FDb_UCSC_tRNAs = γ;
200− GGHumanMethCancerPanelv1_db = γ;
201− GO_db = γ;
202− GenomeInfoDbData = γ;
203− Homo_sapiens = γ;
204− Hs6UG171_db = γ;
205− HsAgilentDesign026652_db = γ;
206− Hspec = γ;
207− HuExExonProbesetLocation = γ;
208− HuExExonProbesetLocationHg18 = γ;
209− HuExExonProbesetLocationHg19 = γ;
210− HuO22_db = γ;
211− IlluminaHumanMethylation27k_db = γ;
212− IlluminaHumanMethylation27kanno_ilmn12_hg19 = γ;
213− IlluminaHumanMethylation27kmanifest = γ;
214− IlluminaHumanMethylation450kanno_ilmn12_hg19 = γ;
215− IlluminaHumanMethylation450kmanifest = γ;
216− IlluminaHumanMethylation450kprobe = γ;
217− IlluminaHumanMethylationEPICanno_ilm10b2_hg19 = γ;
218− IlluminaHumanMethylationEPICanno_ilm10b3_hg19 = γ;
219− IlluminaHumanMethylationEPICanno_ilm10b4_hg19 = γ;
220− IlluminaHumanMethylationEPICmanifest = γ;
221− JASPAR2018 = γ;
222− JazaeriMetaData_db = γ;
223− KEGG_db = γ;
224− LAPOINTE_db = γ;
225− LRBase_Ath_eg_db = γ;
226− LRBase_Bta_eg_db = γ;
227− LRBase_Cel_eg_db = γ;
228− LRBase_Dme_eg_db = γ;
229− LRBase_Dre_eg_db = γ;
230− LRBase_Gga_eg_db = γ;
231− LRBase_Hsa_eg_db = γ;
232− LRBase_Mmu_eg_db = γ;
233− LRBase_Pab_eg_db = γ;
234− LRBase_Rno_eg_db = γ;
235− LRBase_Ssc_eg_db = γ;
236− LRBase_Xtr_eg_db = γ;
237− LowMACAAnnotation = γ;
238− LymphoSeqDB = γ;
239− MafDb_1Kgenomes_phase1_GRCh38 = γ;
240− MafDb_1Kgenomes_phase1_hs37d5 = γ;
241− MafDb_1Kgenomes_phase3_GRCh38 = γ;
242− MafDb_1Kgenomes_phase3_hs37d5 = γ;
243− MafDb_ESP6500SI_V2_SSA137_GRCh38 = γ;
244− MafDb_ESP6500SI_V2_SSA137_hs37d5 = γ;
245− MafDb_ExAC_r1_0_GRCh38 = γ;
246− MafDb_ExAC_r1_0_hs37d5 = γ;
247− MafDb_ExAC_r1_0_nonTCGA_GRCh38 = γ;
248− MafDb_ExAC_r1_0_nonTCGA_hs37d5 = γ;
249− MafDb_TOPMed_freeze5_hg19 = γ;
250− MafDb_TOPMed_freeze5_hg38 = γ;
251− MafDb_gnomAD_r2_0_1_GRCh38 = γ;
252− MafDb_gnomAD_r2_0_1_hs37d5 = γ;
253− MafDb_gnomAD_r2_1_hs37d5 = γ;
254− MafDb_gnomADex_r2_0_1_GRCh38 = γ;
255− MafDb_gnomADex_r2_0_1_hs37d5 = γ;
256− MafDb_gnomADex_r2_1_hs37d5 = γ;
257− MeSH_AOR_db = γ;
258− MeSH_Aca_eg_db = γ;
259− MeSH_Aga_PEST_eg_db = γ;
260− MeSH_Ame_eg_db = γ;
261− MeSH_Aml_eg_db = γ;
262− MeSH_Ana_eg_db = γ;
263− MeSH_Ani_FGSC_eg_db = γ;
264− MeSH_Ath_eg_db = γ;
265− MeSH_Bfl_eg_db = γ;
266− MeSH_Bsu_168_eg_db = γ;
267− MeSH_Bta_eg_db = γ;
268− MeSH_Cal_SC5314_eg_db = γ;
269− MeSH_Cbr_eg_db = γ;
270− MeSH_Cel_eg_db = γ;
271− MeSH_Cfa_eg_db = γ;
272− MeSH_Cin_eg_db = γ;
273− MeSH_Cja_eg_db = γ;
274− MeSH_Cpo_eg_db = γ;
275− MeSH_Cre_eg_db = γ;
276− MeSH_Dan_eg_db = γ;
277− MeSH_Dda_3937_eg_db = γ;
278− MeSH_Ddi_AX4_eg_db = γ;
279− MeSH_Der_eg_db = γ;
280− MeSH_Dgr_eg_db = γ;
281− MeSH_Dme_eg_db = γ;
282− MeSH_Dmo_eg_db = γ;
283− MeSH_Dpe_eg_db = γ;
284− MeSH_Dre_eg_db = γ;
285− MeSH_Dse_eg_db = γ;
286− MeSH_Dsi_eg_db = γ;
287− MeSH_Dvi_eg_db = γ;
288− MeSH_Dya_eg_db = γ;
289− MeSH_Eco_55989_eg_db = γ;
290− MeSH_Eco_ED1a_eg_db = γ;
291− MeSH_Eco_IAI39_eg_db = γ;
292− MeSH_Eco_K12_MG1655_eg_db = γ;
293− MeSH_Eco_O157_H7_Sakai_eg_db = γ;
294− MeSH_Eco_UMN026_eg_db = γ;
295− MeSH_Eqc_eg_db = γ;
296− MeSH_Gga_eg_db = γ;
297− MeSH_Gma_eg_db = γ;
298− MeSH_Hsa_eg_db = γ;
299− MeSH_Laf_eg_db = γ;
300− MeSH_Lma_eg_db = γ;
301− MeSH_Mdo_eg_db = γ;
302− MeSH_Mes_eg_db = γ;
303− MeSH_Mga_eg_db = γ;
304− MeSH_Miy_eg_db = γ;
305− MeSH_Mml_eg_db = γ;
306− MeSH_Mmu_eg_db = γ;
307− MeSH_Mtr_eg_db = γ;
308− MeSH_Nle_eg_db = γ;
309− MeSH_Oan_eg_db = γ;
310− MeSH_Ocu_eg_db = γ;
311− MeSH_Oni_eg_db = γ;
312− MeSH_Osa_eg_db = γ;
313− MeSH_PCR_db = γ;
314− MeSH_Pab_eg_db = γ;
315− MeSH_Pae_PAO1_eg_db = γ;
316− MeSH_Pfa_3D7_eg_db = γ;
317− MeSH_Pto_eg_db = γ;
318− MeSH_Ptr_eg_db = γ;
319− MeSH_Rno_eg_db = γ;
320− MeSH_Sce_S288c_eg_db = γ;
321− MeSH_Sco_A32_eg_db = γ;
322− MeSH_Sil_eg_db = γ;
323− MeSH_Spu_eg_db = γ;
324− MeSH_Ssc_eg_db = γ;
325− MeSH_Syn_eg_db = γ;
326− MeSH_Tbr_9274_eg_db = γ;
327− MeSH_Tgo_ME49_eg_db = γ;
328− MeSH_Tgu_eg_db = γ;
329− MeSH_Vvi_eg_db = γ;
330− MeSH_Xla_eg_db = γ;
331− MeSH_Xtr_eg_db = γ;
332− MeSH_Zma_eg_db = γ;
333− MeSH_db = γ;
334− MmAgilentDesign026655_db = γ;
335− MoExExonProbesetLocation = γ;
336− Mu15v1_db = γ;
337− Mu22v3_db = γ;
338− Mus_musculus = γ;
339− Norway981_db = γ;
340− OperonHumanV3_db = γ;
341− PANTHER_db = γ;
342− PFAM_db = γ;
343− POCRCannotation_db = γ;
344− PartheenMetaData_db = γ;
345− PolyPhen_Hsapiens_dbSNP131 = γ;
346− RaExExonProbesetLocation = γ;
347− Rattus_norvegicus = γ;
348− RmiR_Hs_miRNA = γ;
349− RmiR_hsa = γ;
350− RnAgilentDesign028282_db = γ;
351− Roberts2005Annotation_db = γ;
352− SHDZ_db = γ;
353− SIFT_Hsapiens_dbSNP132 = γ;
354− SIFT_Hsapiens_dbSNP137 = γ;
355− SNPlocs_Hsapiens_dbSNP141_GRCh38 = γ;
356− SNPlocs_Hsapiens_dbSNP142_GRCh37 = γ;
357− SNPlocs_Hsapiens_dbSNP144_GRCh37 = γ;
358− SNPlocs_Hsapiens_dbSNP144_GRCh38 = γ;
359− SNPlocs_Hsapiens_dbSNP149_GRCh38 = γ;
360− SNPlocs_Hsapiens_dbSNP150_GRCh38 = γ;
361− SNPlocs_Hsapiens_dbSNP151_GRCh38 = γ;
362− SNPlocs_Hsapiens_dbSNP_20101109 = γ;
363− SNPlocs_Hsapiens_dbSNP_20120608 = γ;
364− TxDb_Athaliana_BioMart_plantsmart22 = γ;
365− TxDb_Athaliana_BioMart_plantsmart25 = γ;
366− TxDb_Athaliana_BioMart_plantsmart28 = γ;
367− TxDb_Btaurus_UCSC_bosTau8_refGene = γ;
368− TxDb_Celegans_UCSC_ce11_refGene = γ;
369− TxDb_Celegans_UCSC_ce6_ensGene = γ;
370− TxDb_Cfamiliaris_UCSC_canFam3_refGene = γ;
371− TxDb_Dmelanogaster_UCSC_dm3_ensGene = γ;
372− TxDb_Dmelanogaster_UCSC_dm6_ensGene = γ;
373− TxDb_Drerio_UCSC_danRer10_refGene = γ;
374− TxDb_Ggallus_UCSC_galGal4_refGene = γ;
375− TxDb_Ggallus_UCSC_galGal5_refGene = γ;
376− TxDb_Hsapiens_BioMart_igis = γ;
377− TxDb_Hsapiens_UCSC_hg18_knownGene = γ;
378− TxDb_Hsapiens_UCSC_hg19_knownGene = γ;
379− TxDb_Hsapiens_UCSC_hg19_lincRNAsTranscripts = γ;
380− TxDb_Hsapiens_UCSC_hg38_knownGene = γ;
381− TxDb_Mmulatta_UCSC_rheMac3_refGene = γ;
382− TxDb_Mmulatta_UCSC_rheMac8_refGene = γ;
383− TxDb_Mmusculus_UCSC_mm10_ensGene = γ;
384− TxDb_Mmusculus_UCSC_mm10_knownGene = γ;
385− TxDb_Mmusculus_UCSC_mm9_knownGene = γ;
386− TxDb_Ptroglodytes_UCSC_panTro4_refGene = γ;
387− TxDb_Ptroglodytes_UCSC_panTro5_refGene = γ;
388− TxDb_Rnorvegicus_BioMart_igis = γ;
389− TxDb_Rnorvegicus_UCSC_rn4_ensGene = γ;
390− TxDb_Rnorvegicus_UCSC_rn5_refGene = γ;
391− TxDb_Rnorvegicus_UCSC_rn6_refGene = γ;
392− TxDb_Scerevisiae_UCSC_sacCer2_sgdGene = γ;
393− TxDb_Scerevisiae_UCSC_sacCer3_sgdGene = γ;
394− TxDb_Sscrofa_UCSC_susScr11_refGene = γ;
395− TxDb_Sscrofa_UCSC_susScr3_refGene = γ;
396− XtraSNPlocs_Hsapiens_dbSNP141_GRCh38 = γ;
397− XtraSNPlocs_Hsapiens_dbSNP144_GRCh37 = γ;
398− XtraSNPlocs_Hsapiens_dbSNP144_GRCh38 = γ;
399− adme16cod_db = γ;
400− ag_db = γ;
401− agcdf = γ;
402− agprobe = γ;
403− alternativeSplicingEvents_hg19 = γ;
404− alternativeSplicingEvents_hg38 = γ;
405− anopheles_db0 = γ;
406− arabidopsis_db0 = γ;
407− ath1121501_db = γ;
408− ath1121501cdf = γ;
409− ath1121501probe = γ;
410− barley1cdf = γ;
411− barley1probe = γ;
412− bovine_db = γ;
413− bovine_db0 = γ;
414− bovinecdf = γ;
415− bovineprobe = γ;
416− bsubtiliscdf = γ;
417− bsubtilisprobe = γ;
418− cMAP = γ;
419− canine2_db = γ;
420− canine2cdf = γ;
421− canine2probe = γ;
422− canine_db = γ;
423− canine_db0 = γ;
424− caninecdf = γ;
425− canineprobe = γ;
426− celegans_db = γ;
427− celeganscdf = γ;
428− celegansprobe = γ;
429− chicken_db = γ;
430− chicken_db0 = γ;
431− chickencdf = γ;
432− chickenprobe = γ;
433− chimp_db0 = γ;
434− citruscdf = γ;
435− citrusprobe = γ;
436− clariomdhumanprobeset_db = γ;
437− clariomdhumantranscriptcluster_db = γ;
438− clariomshumanhttranscriptcluster_db = γ;
439− clariomshumantranscriptcluster_db = γ;
440− clariomsmousehttranscriptcluster_db = γ;
441− clariomsmousetranscriptcluster_db = γ;
442− clariomsrathttranscriptcluster_db = γ;
443− clariomsrattranscriptcluster_db = γ;
444− cottoncdf = γ;
445− cottonprobe = γ;
446− cyp450cdf = γ;
447− drosgenome1_db = γ;
448− drosgenome1cdf = γ;
449− drosgenome1probe = γ;
450− drosophila2_db = γ;
451− drosophila2cdf = γ;
452− drosophila2probe = γ;
453− ecoli2_db = γ;
454− ecoli2cdf = γ;
455− ecoli2probe = γ;
456− ecoliK12_db0 = γ;
457− ecoliSakai_db0 = γ;
458− ecoliasv2cdf = γ;
459− ecoliasv2probe = γ;
460− ecolicdf = γ;
461− ecoliprobe = γ;
462− fitCons_UCSC_hg19 = γ;
463− fly_db0 = γ;
464− geneplast_data_string_v91 = γ;
465− genomewidesnp5Crlmm = γ;
466− genomewidesnp6Crlmm = γ;
467− gp53cdf = γ;
468− grasp2db = γ;
469− greengenes13_5MgDb = γ;
470− h10kcod_db = γ;
471− h20kcod_db = γ;
472− hapmap370k = γ;
473− hcg110_db = γ;
474− hcg110cdf = γ;
475− hcg110probe = γ;
476− hgfocus_db = γ;
477− hgfocuscdf = γ;
478− hgfocusprobe = γ;
479− hgu133a2_db = γ;
480− hgu133a2cdf = γ;
481− hgu133a2frmavecs = γ;
482− hgu133a2probe = γ;
483− hgu133a_db = γ;
484− hgu133acdf = γ;
485− hgu133afrmavecs = γ;
486− hgu133aprobe = γ;
487− hgu133atagcdf = γ;
488− hgu133atagprobe = γ;
489− hgu133b_db = γ;
490− hgu133bcdf = γ;
491− hgu133bprobe = γ;
492− hgu133plus2_db = γ;
493− hgu133plus2cdf = γ;
494− hgu133plus2frmavecs = γ;
495− hgu133plus2probe = γ;
496− hgu219_db = γ;
497− hgu219cdf = γ;
498− hgu219probe = γ;
499− hgu95a_db = γ;
500− hgu95acdf = γ;
501− hgu95aprobe = γ;
502− hgu95av2 = γ;
503− hgu95av2_db = γ;
504− hgu95av2cdf = γ;
505− hgu95av2probe = γ;
506− hgu95b_db = γ;
507− hgu95bcdf = γ;
508− hgu95bprobe = γ;
509− hgu95c_db = γ;
510− hgu95ccdf = γ;
511− hgu95cprobe = γ;
512− hgu95d_db = γ;
513− hgu95dcdf = γ;
514− hgu95dprobe = γ;
515− hgu95e_db = γ;
516− hgu95ecdf = γ;
517− hgu95eprobe = γ;
518− hguDKFZ31_db = γ;
519− hguatlas13k_db = γ;
520− hgubeta7_db = γ;
521− hgug4100a_db = γ;
522− hgug4101a_db = γ;
523− hgug4110b_db = γ;
524− hgug4111a_db = γ;
525− hgug4112a_db = γ;
526− hgug4845a_db = γ;
527− hguqiagenv3_db = γ;
528− hi16cod_db = γ;
529− hivprtplus2cdf = γ;
530− hom_At_inp_db = γ;
531− hom_Ce_inp_db = γ;
532− hom_Dm_inp_db = γ;
533− hom_Dr_inp_db = γ;
534− hom_Hs_inp_db = γ;
535− hom_Mm_inp_db = γ;
536− hom_Rn_inp_db = γ;
537− hom_Sc_inp_db = γ;
538− hs25kresogen_db = γ;
539− hspeccdf = γ;
540− hta20probeset_db = γ;
541− hta20transcriptcluster_db = γ;
542− hthgu133a_db = γ;
543− hthgu133acdf = γ;
544− hthgu133afrmavecs = γ;
545− hthgu133aprobe = γ;
546− hthgu133b_db = γ;
547− hthgu133bcdf = γ;
548− hthgu133bprobe = γ;
549− hthgu133pluspmcdf = γ;
550− hthgu133pluspmprobe = γ;
551− htmg430acdf = γ;
552− htmg430aprobe = γ;
553− htmg430bcdf = γ;
554− htmg430bprobe = γ;
555− htmg430pmcdf = γ;
556− htmg430pmprobe = γ;
557− htrat230pmcdf = γ;
558− htrat230pmprobe = γ;
559− htratfocuscdf = γ;
560− htratfocusprobe = γ;
561− hu35ksuba_db = γ;
562− hu35ksubacdf = γ;
563− hu35ksubaprobe = γ;
564− hu35ksubb_db = γ;
565− hu35ksubbcdf = γ;
566− hu35ksubbprobe = γ;
567− hu35ksubc_db = γ;
568− hu35ksubccdf = γ;
569− hu35ksubcprobe = γ;
570− hu35ksubd_db = γ;
571− hu35ksubdcdf = γ;
572− hu35ksubdprobe = γ;
573− hu6800_db = γ;
574− hu6800cdf = γ;
575− hu6800probe = γ;
576− hu6800subacdf = γ;
577− hu6800subbcdf = γ;
578− hu6800subccdf = γ;
579− hu6800subdcdf = γ;
580− huex10stprobeset_db = γ;
581− huex10sttranscriptcluster_db = γ;
582− huex_1_0_st_v2frmavecs = γ;
583− hugene10stprobeset_db = γ;
584− hugene10sttranscriptcluster_db = γ;
585− hugene10stv1cdf = γ;
586− hugene10stv1probe = γ;
587− hugene11stprobeset_db = γ;
588− hugene11sttranscriptcluster_db = γ;
589− hugene20stprobeset_db = γ;
590− hugene20sttranscriptcluster_db = γ;
591− hugene21stprobeset_db = γ;
592− hugene21sttranscriptcluster_db = γ;
593− hugene_1_0_st_v1frmavecs = γ;
594− human1mduov3bCrlmm = γ;
595− human1mv1cCrlmm = γ;
596− human370quadv3cCrlmm = γ;
597− human370v1cCrlmm = γ;
598− human550v3bCrlmm = γ;
599− human610quadv1bCrlmm = γ;
600− human650v3aCrlmm = γ;
601− human660quadv1aCrlmm = γ;
602− humanCHRLOC = γ;
603− human_db0 = γ;
604− humancytosnp12v2p1hCrlmm = γ;
605− humanomni1quadv1bCrlmm = γ;
606− humanomni25quadv1bCrlmm = γ;
607− humanomni5quadv1bCrlmm = γ;
608− humanomniexpress12v1bCrlmm = γ;
609− hwgcod_db = γ;
610− illuminaHumanWGDASLv3_db = γ;
611− illuminaHumanWGDASLv4_db = γ;
612− illuminaHumanv1_db = γ;
613− illuminaHumanv2BeadID_db = γ;
614− illuminaHumanv2_db = γ;
615− illuminaHumanv3_db = γ;
616− illuminaHumanv4_db = γ;
617− illuminaMousev1_db = γ;
618− illuminaMousev1p1_db = γ;
619− illuminaMousev2_db = γ;
620− illuminaRatv1_db = γ;
621− indac_db = γ;
622− lumiHumanAll_db = γ;
623− lumiHumanIDMapping = γ;
624− lumiMouseAll_db = γ;
625− lumiMouseIDMapping = γ;
626− lumiRatAll_db = γ;
627− lumiRatIDMapping = γ;
628− m10kcod_db = γ;
629− m20kcod_db = γ;
630− maizecdf = γ;
631− maizeprobe = γ;
632− malaria_db0 = γ;
633− medicagocdf = γ;
634− medicagoprobe = γ;
635− mgu74a_db = γ;
636− mgu74acdf = γ;
637− mgu74aprobe = γ;
638− mgu74av2_db = γ;
639− mgu74av2cdf = γ;
640− mgu74av2probe = γ;
641− mgu74b_db = γ;
642− mgu74bcdf = γ;
643− mgu74bprobe = γ;
644− mgu74bv2_db = γ;
645− mgu74bv2cdf = γ;
646− mgu74bv2probe = γ;
647− mgu74c_db = γ;
648− mgu74ccdf = γ;
649− mgu74cprobe = γ;
650− mgu74cv2_db = γ;
651− mgu74cv2cdf = γ;
652− mgu74cv2probe = γ;
653− mguatlas5k_db = γ;
654− mgug4104a_db = γ;
655− mgug4120a_db = γ;
656− mgug4121a_db = γ;
657− mgug4122a_db = γ;
658− mi16cod_db = γ;
659− miRBaseVersions_db = γ;
660− miRNAtap_db = γ;
661− mirbase_db = γ;
662− mirna102xgaincdf = γ;
663− mirna10cdf = γ;
664− mirna10probe = γ;
665− mirna20cdf = γ;
666− mm24kresogen_db = γ;
667− moe430a_db = γ;
668− moe430acdf = γ;
669− moe430aprobe = γ;
670− moe430b_db = γ;
671− moe430bcdf = γ;
672− moe430bprobe = γ;
673− moex10stprobeset_db = γ;
674− moex10sttranscriptcluster_db = γ;
675− mogene10stprobeset_db = γ;
676− mogene10sttranscriptcluster_db = γ;
677− mogene10stv1cdf = γ;
678− mogene10stv1probe = γ;
679− mogene11stprobeset_db = γ;
680− mogene11sttranscriptcluster_db = γ;
681− mogene20stprobeset_db = γ;
682− mogene20sttranscriptcluster_db = γ;
683− mogene21stprobeset_db = γ;
684− mogene21sttranscriptcluster_db = γ;
685− mogene_1_0_st_v1frmavecs = γ;
686− mouse4302_db = γ;
687− mouse4302cdf = γ;
688− mouse4302frmavecs = γ;
689− mouse4302probe = γ;
690− mouse430a2_db = γ;
691− mouse430a2cdf = γ;
692− mouse430a2frmavecs = γ;
693− mouse430a2probe = γ;
694− mouseCHRLOC = γ;
695− mouse_db0 = γ;
696− mpedbarray_db = γ;
697− mta10probeset_db = γ;
698− mta10transcriptcluster_db = γ;
699− mu11ksuba_db = γ;
700− mu11ksubacdf = γ;
701− mu11ksubaprobe = γ;
702− mu11ksubb_db = γ;
703− mu11ksubbcdf = γ;
704− mu11ksubbprobe = γ;
705− mu19ksuba_db = γ;
706− mu19ksubacdf = γ;
707− mu19ksubb_db = γ;
708− mu19ksubbcdf = γ;
709− mu19ksubc_db = γ;
710− mu19ksubccdf = γ;
711− mu6500subacdf = γ;
712− mu6500subbcdf = γ;
713− mu6500subccdf = γ;
714− mu6500subdcdf = γ;
715− mwgcod_db = γ;
716− nugohs1a520180_db = γ;
717− nugohs1a520180cdf = γ;
718− nugohs1a520180probe = γ;
719− nugomm1a520177_db = γ;
720− nugomm1a520177cdf = γ;
721− nugomm1a520177probe = γ;
722− oligoData = γ;
723− org_Ag_eg_db = γ;
724− org_At_tair_db = γ;
725− org_Bt_eg_db = γ;
726− org_Ce_eg_db = γ;
727− org_Cf_eg_db = γ;
728− org_Dm_eg_db = γ;
729− org_Dr_eg_db = γ;
730− org_EcK12_eg_db = γ;
731− org_EcSakai_eg_db = γ;
732− org_Gg_eg_db = γ;
733− org_Hs_eg_db = γ;
734− org_Mm_eg_db = γ;
735− org_Mmu_eg_db = γ;
736− org_Pf_plasmo_db = γ;
737− org_Pt_eg_db = γ;
738− org_Rn_eg_db = γ;
739− org_Sc_sgd_db = γ;
740− org_Ss_eg_db = γ;
741− org_Xl_eg_db = γ;
742− paeg1acdf = γ;
743− paeg1aprobe = γ;
744− pd_081229_hg18_promoter_medip_hx1 = γ;
745− pd_2006_07_18_hg18_refseq_promoter = γ;
746− pd_2006_07_18_mm8_refseq_promoter = γ;
747− pd_2006_10_31_rn34_refseq_promoter = γ;
748− pd_ag = γ;
749− pd_aragene_1_0_st = γ;
750− pd_aragene_1_1_st = γ;
751− pd_ath1_121501 = γ;
752− pd_barley1 = γ;
753− pd_bovgene_1_0_st = γ;
754− pd_bovgene_1_1_st = γ;
755− pd_bovine = γ;
756− pd_bsubtilis = γ;
757− pd_cangene_1_0_st = γ;
758− pd_cangene_1_1_st = γ;
759− pd_canine = γ;
760− pd_canine_2 = γ;
761− pd_celegans = γ;
762− pd_charm_hg18_example = γ;
763− pd_chicken = γ;
764− pd_chigene_1_0_st = γ;
765− pd_chigene_1_1_st = γ;
766− pd_chogene_2_0_st = γ;
767− pd_chogene_2_1_st = γ;
768− pd_citrus = γ;
769− pd_clariom_d_human = γ;
770− pd_clariom_s_human = γ;
771− pd_clariom_s_human_ht = γ;
772− pd_clariom_s_mouse = γ;
773− pd_clariom_s_mouse_ht = γ;
774− pd_clariom_s_rat = γ;
775− pd_clariom_s_rat_ht = γ;
776− pd_cotton = γ;
777− pd_cyngene_1_0_st = γ;
778− pd_cyngene_1_1_st = γ;
779− pd_cyrgene_1_0_st = γ;
780− pd_cyrgene_1_1_st = γ;
781− pd_cytogenetics_array = γ;
782− pd_drogene_1_0_st = γ;
783− pd_drogene_1_1_st = γ;
784− pd_drosgenome1 = γ;
785− pd_drosophila_2 = γ;
786− pd_e_coli_2 = γ;
787− pd_ecoli = γ;
788− pd_ecoli_asv2 = γ;
789− pd_elegene_1_0_st = γ;
790− pd_elegene_1_1_st = γ;
791− pd_equgene_1_0_st = γ;
792− pd_equgene_1_1_st = γ;
793− pd_feinberg_hg18_me_hx1 = γ;
794− pd_feinberg_mm8_me_hx1 = γ;
795− pd_felgene_1_0_st = γ;
796− pd_felgene_1_1_st = γ;
797− pd_fingene_1_0_st = γ;
798− pd_fingene_1_1_st = γ;
799− pd_genomewidesnp_5 = γ;
800− pd_genomewidesnp_6 = γ;
801− pd_guigene_1_0_st = γ;
802− pd_guigene_1_1_st = γ;
803− pd_hc_g110 = γ;
804− pd_hg18_60mer_expr = γ;
805− pd_hg_focus = γ;
806− pd_hg_u133_plus_2 = γ;
807− pd_hg_u133a = γ;
808− pd_hg_u133a_2 = γ;
809− pd_hg_u133a_tag = γ;
810− pd_hg_u133b = γ;
811− pd_hg_u219 = γ;
812− pd_hg_u95a = γ;
813− pd_hg_u95av2 = γ;
814− pd_hg_u95b = γ;
815− pd_hg_u95c = γ;
816− pd_hg_u95d = γ;
817− pd_hg_u95e = γ;
818− pd_ht_hg_u133_plus_pm = γ;
819− pd_ht_hg_u133a = γ;
820− pd_ht_mg_430a = γ;
821− pd_hta_2_0 = γ;
822− pd_hu6800 = γ;
823− pd_huex_1_0_st_v2 = γ;
824− pd_hugene_1_0_st_v1 = γ;
825− pd_hugene_1_1_st_v1 = γ;
826− pd_hugene_2_0_st = γ;
827− pd_hugene_2_1_st = γ;
828− pd_maize = γ;
829− pd_mapping250k_nsp = γ;
830− pd_mapping250k_sty = γ;
831− pd_mapping50k_hind240 = γ;
832− pd_mapping50k_xba240 = γ;
833− pd_margene_1_0_st = γ;
834− pd_margene_1_1_st = γ;
835− pd_medgene_1_0_st = γ;
836− pd_medgene_1_1_st = γ;
837− pd_medicago = γ;
838− pd_mg_u74a = γ;
839− pd_mg_u74av2 = γ;
840− pd_mg_u74b = γ;
841− pd_mg_u74bv2 = γ;
842− pd_mg_u74c = γ;
843− pd_mg_u74cv2 = γ;
844− pd_mirna_1_0 = γ;
845− pd_mirna_2_0 = γ;
846− pd_mirna_3_0 = γ;
847− pd_mirna_3_1 = γ;
848− pd_mirna_4_0 = γ;
849− pd_moe430a = γ;
850− pd_moe430b = γ;
851− pd_moex_1_0_st_v1 = γ;
852− pd_mogene_1_0_st_v1 = γ;
853− pd_mogene_1_1_st_v1 = γ;
854− pd_mogene_2_0_st = γ;
855− pd_mogene_2_1_st = γ;
856− pd_mouse430_2 = γ;
857− pd_mouse430a_2 = γ;
858− pd_mta_1_0 = γ;
859− pd_mu11ksuba = γ;
860− pd_mu11ksubb = γ;
861− pd_nugo_hs1a520180 = γ;
862− pd_nugo_mm1a520177 = γ;
863− pd_ovigene_1_0_st = γ;
864− pd_ovigene_1_1_st = γ;
865− pd_pae_g1a = γ;
866− pd_plasmodium_anopheles = γ;
867− pd_poplar = γ;
868− pd_porcine = γ;
869− pd_porgene_1_0_st = γ;
870− pd_porgene_1_1_st = γ;
871− pd_rabgene_1_0_st = γ;
872− pd_rabgene_1_1_st = γ;
873− pd_rae230a = γ;
874− pd_rae230b = γ;
875− pd_raex_1_0_st_v1 = γ;
876− pd_ragene_1_0_st_v1 = γ;
877− pd_ragene_1_1_st_v1 = γ;
878− pd_ragene_2_0_st = γ;
879− pd_ragene_2_1_st = γ;
880− pd_rat230_2 = γ;
881− pd_rcngene_1_0_st = γ;
882− pd_rcngene_1_1_st = γ;
883− pd_rg_u34a = γ;
884− pd_rg_u34b = γ;
885− pd_rg_u34c = γ;
886− pd_rhegene_1_0_st = γ;
887− pd_rhegene_1_1_st = γ;
888− pd_rhesus = γ;
889− pd_rice = γ;
890− pd_rjpgene_1_0_st = γ;
891− pd_rjpgene_1_1_st = γ;
892− pd_rn_u34 = γ;
893− pd_rta_1_0 = γ;
894− pd_rusgene_1_0_st = γ;
895− pd_rusgene_1_1_st = γ;
896− pd_s_aureus = γ;
897− pd_soybean = γ;
898− pd_soygene_1_0_st = γ;
899− pd_soygene_1_1_st = γ;
900− pd_sugar_cane = γ;
901− pd_tomato = γ;
902− pd_u133_x3p = γ;
903− pd_vitis_vinifera = γ;
904− pd_wheat = γ;
905− pd_x_laevis_2 = γ;
906− pd_x_tropicalis = γ;
907− pd_xenopus_laevis = γ;
908− pd_yeast_2 = γ;
909− pd_yg_s98 = γ;
910− pd_zebgene_1_0_st = γ;
911− pd_zebgene_1_1_st = γ;
912− pd_zebrafish = γ;
913− pedbarrayv10_db = γ;
914− pedbarrayv9_db = γ;
915− phastCons100way_UCSC_hg19 = γ;
916− phastCons100way_UCSC_hg38 = γ;
917− phastCons7way_UCSC_hg38 = γ;
918− pig_db0 = γ;
919− plasmodiumanophelescdf = γ;
920− plasmodiumanophelesprobe = γ;
921− poplarcdf = γ;
922− poplarprobe = γ;
923− porcine_db = γ;
924− porcinecdf = γ;
925− porcineprobe = γ;
926− primeviewcdf = γ;
927− primeviewprobe = γ;
928− r10kcod_db = γ;
929− rae230a_db = γ;
930− rae230acdf = γ;
931− rae230aprobe = γ;
932− rae230b_db = γ;
933− rae230bcdf = γ;
934− rae230bprobe = γ;
935− raex10stprobeset_db = γ;
936− raex10sttranscriptcluster_db = γ;
937− ragene10stprobeset_db = γ;
938− ragene10sttranscriptcluster_db = γ;
939− ragene10stv1cdf = γ;
940− ragene10stv1probe = γ;
941− ragene11stprobeset_db = γ;
942− ragene11sttranscriptcluster_db = γ;
943− ragene20stprobeset_db = γ;
944− ragene20sttranscriptcluster_db = γ;
945− ragene21stprobeset_db = γ;
946− ragene21sttranscriptcluster_db = γ;
947− rat2302_db = γ;
948− rat2302cdf = γ;
949− rat2302probe = γ;
950− ratCHRLOC = γ;
951− rat_db0 = γ;
952− rattoxfxcdf = γ;
953− rattoxfxprobe = γ;
954− reactome_db = γ;
955− rgu34a_db = γ;
956− rgu34acdf = γ;
957− rgu34aprobe = γ;
958− rgu34b_db = γ;
959− rgu34bcdf = γ;
960− rgu34bprobe = γ;
961− rgu34c_db = γ;
962− rgu34ccdf = γ;
963− rgu34cprobe = γ;
964− rguatlas4k_db = γ;
965− rgug4105a_db = γ;
966− rgug4130a_db = γ;
967− rgug4131a_db = γ;
968− rhesus_db0 = γ;
969− rhesuscdf = γ;
970− rhesusprobe = γ;
971− ri16cod_db = γ;
972− ribosomaldatabaseproject11_5MgDb = γ;
973− ricecdf = γ;
974− riceprobe = γ;
975− rnu34_db = γ;
976− rnu34cdf = γ;
977− rnu34probe = γ;
978− rta10probeset_db = γ;
979− rta10transcriptcluster_db = γ;
980− rtu34_db = γ;
981− rtu34cdf = γ;
982− rtu34probe = γ;
983− rwgcod_db = γ;
984− saureuscdf = γ;
985− saureusprobe = γ;
986− silva128_1MgDb = γ;
987− soybeancdf = γ;
988− soybeanprobe = γ;
989− sugarcanecdf = γ;
990− sugarcaneprobe = γ;
991− targetscan_Hs_eg_db = γ;
992− targetscan_Mm_eg_db = γ;
993− test1cdf = γ;
994− test2cdf = γ;
995− test3cdf = γ;
996− test3probe = γ;
997− tomatocdf = γ;
998− tomatoprobe = γ;
999− u133aaofav2cdf = γ;
1000− u133x3p_db = γ;
1001− u133x3pcdf = γ;
1002− u133x3pprobe = γ;
1003− vitisviniferacdf = γ;
1004− vitisviniferaprobe = γ;
1005− wheatcdf = γ;
1006− wheatprobe = γ;
1007− worm_db0 = γ;
1008− xenopus_db0 = γ;
1009− xenopuslaeviscdf = γ;
1010− xenopuslaevisprobe = γ;
1011− xlaevis2cdf = γ;
1012− xlaevis2probe = γ;
1013− xlaevis_db = γ;
1014− xtropicaliscdf = γ;
1015− xtropicalisprobe = γ;
1016− ye6100subacdf = γ;
1017− ye6100subbcdf = γ;
1018− ye6100subccdf = γ;
1019− ye6100subdcdf = γ;
1020− yeast2_db = γ;
1021− yeast2cdf = γ;
1022− yeast2probe = γ;
1023− yeast_db0 = γ;
1024− ygs98_db = γ;
1025− ygs98cdf = γ;
1026− ygs98frmavecs = γ;
1027− ygs98probe = γ;
1028− zebrafish_db = γ;
1029− zebrafish_db0 = γ;
1030− zebrafishcdf = γ;
1031− zebrafishprobe = γ;
1032−}
test/golden/importless/build-rebar3.txt+19−22
@@ -1,26 +1,23 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ.
2−( (β) // (γ) ~ ({buildInputs = [δ]; name = String;}),
3− ( { buildInputs = [ε];
4− buildPhase = String;
5− buildPlugins = [ζ];
6− compilePorts = Bool;
7− configurePhase = String;
8− dontStrip = Bool;
9− installPhase = String;
10− meta = ∀ α. α;
11− name = String;
12− passthru = {beamDeps = [ζ]; env = η; packageName = θ;};
13− postPatch = String;
14− propagatedBuildInputs = ι;
15− setupHook = κ;
16− src = λ;
17− version = μ;
18− }
19− ) //
20− ( ν
21− ) ~
22− ( γ
23− ),
2+( β // γ ~ {buildInputs = [δ]; name = String;},
3+ { buildInputs = [ε];
4+ buildPhase = String;
5+ buildPlugins = [ζ];
6+ compilePorts = Bool;
7+ configurePhase = String;
8+ dontStrip = Bool;
9+ installPhase = String;
10+ meta = ∀ α. α;
11+ name = String;
12+ passthru = {beamDeps = [ζ]; env = η; packageName = θ;};
13+ postPatch = String;
14+ propagatedBuildInputs = ι;
15+ setupHook = κ;
16+ src = λ;
17+ version = μ;
18+ } //
19+ ν ~
20+ γ,
2421 β.?beamDeps = [ζ],
2522 β.?buildInputs = [ε],
2623 β.?buildPhase = Null,
test/golden/importless/buildOcamlJane.txt+13−16
@@ -1,20 +1,17 @@
11∀ α β γ δ ε ζ.
2−( ( α
3− ) //
4− ( { buildInputs = [β];
5− buildPhase = String;
6− configurePhase = String;
7− dontAddPrefix = Bool;
8− hasSharedObjects = Bool;
9− installPhase = String;
10− minimumSupportedOcamlVersion = String;
11− name = γ;
12− src = δ;
13− version = String;
14− }
15− ) ~
16− ( ε
17− ),
2+( α //
3+ { buildInputs = [β];
4+ buildPhase = String;
5+ configurePhase = String;
6+ dontAddPrefix = Bool;
7+ hasSharedObjects = Bool;
8+ installPhase = String;
9+ minimumSupportedOcamlVersion = String;
10+ name = γ;
11+ src = δ;
12+ version = String;
13+ } ~
14+ ε,
1815 α.?buildInputs = [β],
1916 α.?hash = String,
2017 α.?minimumSupportedOcamlVersion = String,
test/golden/importless/builder.txt+10−13
@@ -1,17 +1,14 @@
11∀ α β γ δ ε ζ η θ.
2−( ( α
3− ) //
4− ( { buildPhase = String;
5− checkPhase = String;
6− configurePhase = String;
7− installPhase = String;
8− modRoot = String;
9− passthru = {forCurses = Bool; forTiles = Bool;};
10− pname = String;
11− }
12− ) ~
13− ( β
14− ),
2+( α //
3+ { buildPhase = String;
4+ checkPhase = String;
5+ configurePhase = String;
6+ installPhase = String;
7+ modRoot = String;
8+ passthru = {forCurses = Bool; forTiles = Bool;};
9+ pname = String;
10+ } ~
11+ β,
1512 α.?buildPhase = String,
1613 α.?checkPhase = String,
1714 α.?configurePhase = String,
test/golden/importless/cohttp.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.optionals = Bool -> [ε] -> ζ,
44 η.meta = β,
55 η.src = θ,
test/golden/importless/combinators.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.src = ε,
55 δ.version = ζ
test/golden/importless/contrib.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1 γ1 δ1 ε1.
2−( (β) // ({description = String; homepage = String;}) ~ (γ),
2+( β // {description = String; homepage = String;} ~ γ,
33 δ.lib = ε,
44 δ.mkDerivation =
55 { doInstallCheck = Bool;
test/golden/importless/cstruct.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.minimumOCamlVersion = ε,
55 δ.src = ζ,
test/golden/importless/debian-build.txt+10−13
@@ -1,17 +1,14 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο.
2−( ( β
3− ) //
4− ( { installExtraDebsPhase = String;
5− installPhase = String;
6− meta = ∀ α. α;
7− name = String;
8− postHook = String;
9− sysInfoPhase = String;
10− }
11− ) ~
12− ( γ
13− ),
14− ({doCheck = Bool; prePhases = String; prefix = String;}) // (γ) ~ (δ),
2+( β //
3+ { installExtraDebsPhase = String;
4+ installPhase = String;
5+ meta = ∀ α. α;
6+ name = String;
7+ postHook = String;
8+ sysInfoPhase = String;
9+ } ~
10+ γ,
11+ {doCheck = Bool; prePhases = String; prefix = String;} // γ ~ δ,
1512 ε.?debProvides = [ζ],
1613 ε.?debRequires = [η],
1714 ε.?fsTranslation = Bool,
test/golden/importless/declare-lazyAttrsOf.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ η θ.
2−( (α) // ({emptyValue = {value = String;};}) ~ (β),
2+( α // {emptyValue = {value = String;};} ~ β,
33 γ.lib = δ,
44 δ.mkOption = {default = {}; type = ε;} -> ζ,
55 δ.types = η,
test/golden/importless/declare-submoduleWith-special.txt+1−1
@@ -1,5 +1,5 @@
11∀ ζ η θ ι κ λ.
2−( (ζ) // ({foo = String;}) ~ (η),
2+( ζ // {foo = String;} ~ η,
33 θ.lib = ζ,
44 ζ.mkOption = {default = {}; type = ι;} -> κ,
55 ζ.types = λ,
test/golden/importless/define-option-dependently-nested.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( ({value = Number;}) // (β) ~ (γ),
2+( {value = Number;} // β ~ γ,
33 δ.?set = ε,
44 ε.?enable = ζ,
55 η.?enable = θ,
test/golden/importless/define-option-dependently.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η.
2−( ({value = Number;}) // (β) ~ (γ),
2+( {value = Number;} // β ~ γ,
33 δ.?enable = ε,
44 ζ.lib = η,
55 ζ.options = δ,
test/golden/importless/dsseries.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.config = ε,
44 δ.lib = ζ,
55 δ.pkgs = η,
test/golden/importless/faust1.txt+37−46
@@ -1,50 +1,41 @@
11∀ γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1 γ1 δ1 ε1 ζ1.
2−( ( γ
3− ) //
4− ( { dontBuild = Bool;
5− installPhase = String;
6− meta = ∀ β. β;
7− name = String;
8− postInstall = String;
9− src = δ;
10− }
11− ) ~
12− ( ε
13− ),
14− ( ζ
15− ) //
16− ( { buildInputs = [η];
17− nativeBuildInputs = [θ];
18− postFixup = String;
19− propagatedBuildInputs = [ι];
20− }
21− ) ~
22− ( { buildInputs = [η];
23− meta = ∀ β. β;
24− passthru = {wrap = κ; wrapWithBuildEnv = λ;};
25− pname = String;
26− postFixup = String;
27− postInstall = String;
28− preConfigure = String;
29− src = δ;
30− version = μ;
31− }
32− ),
33− ( ν
34− ) //
35− ( {buildInputs = [η]; postFixup = String;}
36− ) ~
37− ( { buildInputs = [η];
38− meta = ∀ β. β;
39− passthru = {wrap = κ; wrapWithBuildEnv = λ;};
40− pname = String;
41− postFixup = String;
42− postInstall = String;
43− preConfigure = String;
44− src = δ;
45− version = μ;
46− }
47− ),
2+( γ //
3+ { dontBuild = Bool;
4+ installPhase = String;
5+ meta = ∀ β. β;
6+ name = String;
7+ postInstall = String;
8+ src = δ;
9+ } ~
10+ ε,
11+ ζ //
12+ { buildInputs = [η];
13+ nativeBuildInputs = [θ];
14+ postFixup = String;
15+ propagatedBuildInputs = [ι];
16+ } ~
17+ { buildInputs = [η];
18+ meta = ∀ β. β;
19+ passthru = {wrap = κ; wrapWithBuildEnv = λ;};
20+ pname = String;
21+ postFixup = String;
22+ postInstall = String;
23+ preConfigure = String;
24+ src = δ;
25+ version = μ;
26+ },
27+ ν //
28+ {buildInputs = [η]; postFixup = String;} ~
29+ { buildInputs = [η];
30+ meta = ∀ β. β;
31+ passthru = {wrap = κ; wrapWithBuildEnv = λ;};
32+ pname = String;
33+ postFixup = String;
34+ postInstall = String;
35+ preConfigure = String;
36+ src = δ;
37+ version = μ;
38+ },
4839 ξ.?scripts = [ο],
4940 π.?scripts = [ο],
5041 ρ.lib = σ,
test/golden/importless/faust2.txt+42−51
@@ -1,55 +1,46 @@
11∀ γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1 γ1 δ1 ε1 ζ1 η1.
2−( ( γ
3− ) //
4− ( { dontBuild = Bool;
5− installPhase = String;
6− meta = ∀ β. β;
7− name = String;
8− postInstall = String;
9− src = δ;
10− }
11− ) ~
12− ( ε
13− ),
14− ( ζ
15− ) //
16− ( { buildInputs = [η];
17− libPath = θ;
18− nativeBuildInputs = [η];
19− postFixup = String;
20− propagatedBuildInputs = [ι];
21− }
22− ) ~
23− ( { buildInputs = [κ];
24− cmakeFlags = String;
25− meta = ∀ β. β;
26− nativeBuildInputs = [η];
27− passthru = {wrap = λ; wrapWithBuildEnv = μ;};
28− pname = String;
29− postFixup = String;
30− postInstall = String;
31− preConfigure = String;
32− src = δ;
33− version = ν;
34− }
35− ),
36− ( ξ
37− ) //
38− ( {buildInputs = [η]; postFixup = String;}
39− ) ~
40− ( { buildInputs = [κ];
41− cmakeFlags = String;
42− meta = ∀ β. β;
43− nativeBuildInputs = [η];
44− passthru = {wrap = λ; wrapWithBuildEnv = μ;};
45− pname = String;
46− postFixup = String;
47− postInstall = String;
48− preConfigure = String;
49− src = δ;
50− version = ν;
51− }
52− ),
2+( γ //
3+ { dontBuild = Bool;
4+ installPhase = String;
5+ meta = ∀ β. β;
6+ name = String;
7+ postInstall = String;
8+ src = δ;
9+ } ~
10+ ε,
11+ ζ //
12+ { buildInputs = [η];
13+ libPath = θ;
14+ nativeBuildInputs = [η];
15+ postFixup = String;
16+ propagatedBuildInputs = [ι];
17+ } ~
18+ { buildInputs = [κ];
19+ cmakeFlags = String;
20+ meta = ∀ β. β;
21+ nativeBuildInputs = [η];
22+ passthru = {wrap = λ; wrapWithBuildEnv = μ;};
23+ pname = String;
24+ postFixup = String;
25+ postInstall = String;
26+ preConfigure = String;
27+ src = δ;
28+ version = ν;
29+ },
30+ ξ //
31+ {buildInputs = [η]; postFixup = String;} ~
32+ { buildInputs = [κ];
33+ cmakeFlags = String;
34+ meta = ∀ β. β;
35+ nativeBuildInputs = [η];
36+ passthru = {wrap = λ; wrapWithBuildEnv = μ;};
37+ pname = String;
38+ postFixup = String;
39+ postInstall = String;
40+ preConfigure = String;
41+ src = δ;
42+ version = ν;
43+ },
5344 ο.?scripts = [π],
5445 ρ.?scripts = [π],
5546 σ.lib = τ,
test/golden/importless/fcitx.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1 γ1 δ1 ε1 ζ1 η1 θ1 ι1.
2−( (β) // ({check = γ -> Bool; name = String;}) ~ (δ),
2+( β // {check = γ -> Bool; name = String;} ~ δ,
33 ε.config = ζ,
44 ε.lib = η,
55 ε.pkgs = θ,
test/golden/importless/fixed-points.txt+5−9
@@ -2,18 +2,14 @@
22θ ->
33{ composeExtensions =
44 ∀ α β γ δ ε ζ η.
5− ((α) // (β) ~ (γ), (β) // (δ) ~ (ε)) => (ζ -> α -> β) ->
6− (ζ -> η -> δ) -> ζ -> α -> ε;
5+ (α // β ~ γ, β // δ ~ ε) => (ζ -> α -> β) -> (ζ -> η -> δ) -> ζ -> α -> ε;
76 converge = ∀ α. (α -> α) -> α -> α;
8− extends =
9− ∀ α β γ δ. ((α) // (β) ~ (γ)) => (δ -> α -> β) -> (δ -> α) -> δ -> γ;
7+ extends = ∀ α β γ δ. (α // β ~ γ) => (δ -> α -> β) -> (δ -> α) -> δ -> γ;
108 fix = ∀ α. (α -> α) -> α;
11− fix' = ∀ α β. ((α) // ({__unfix__ = β -> α;}) ~ (β)) => (β -> α) -> β;
9+ fix' = ∀ α β. (α // {__unfix__ = β -> α;} ~ β) => (β -> α) -> β;
1210 makeExtensible =
13− ∀ α β γ.
14− ((α) // ({__unfix__ = β -> α;}) ~ (β), (β) // ({}) ~ (γ)) => (β -> α) -> γ;
11+ ∀ α β γ. (α // {__unfix__ = β -> α;} ~ β, β // {} ~ γ) => (β -> α) -> γ;
1512 makeExtensibleWithCustomName =
1613 ∀ α β γ δ.
17− ((α) // ({__unfix__ = β -> α;}) ~ (β), (β) // ({}) ~ (γ)) => δ ->
18− (β -> α) -> γ;
14+ (α // {__unfix__ = β -> α;} ~ β, β // {} ~ γ) => δ -> (β -> α) -> γ;
1915}
test/golden/importless/freeoffice.txt+9−12
@@ -1,16 +1,13 @@
11∀ α β γ δ.
2−( ( α
3− ) //
4− ( { archive = String;
5− edition = String;
6− pname = String;
7− src = β;
8− suiteName = String;
9− version = String;
10− }
11− ) ~
12− ( γ
13− ),
2+( α //
3+ { archive = String;
4+ edition = String;
5+ pname = String;
6+ src = β;
7+ suiteName = String;
8+ version = String;
9+ } ~
10+ γ,
1411 α.?officeVersion = {edition = String; sha256 = String; version = String;},
1512 α.callPackage = String -> γ -> δ,
1613 α.fetchurl = {sha256 = String; url = String;} -> β
test/golden/importless/fs.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.optional = Bool -> ε -> ζ,
44 η.meta = β,
55 η.src = θ,
test/golden/importless/generic-builder.txt+13−16
@@ -1,20 +1,17 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο.
2−( (α) // ({name = String;}) ~ (β),
3− ( { NIX_CFLAGS_COMPILE = γ;
4− buildInputs = [δ];
5− buildPhase = String;
6− checkPhase = String;
7− configurePhase = String;
8− installFlags = [String];
9− installPhase = String;
10− postFixup = String;
11− rCommand = String;
12− }
13− ) //
14− ( β
15− ) ~
16− ( ε
17− ),
2+( α // {name = String;} ~ β,
3+ { NIX_CFLAGS_COMPILE = γ;
4+ buildInputs = [δ];
5+ buildPhase = String;
6+ checkPhase = String;
7+ configurePhase = String;
8+ installFlags = [String];
9+ installPhase = String;
10+ postFixup = String;
11+ rCommand = String;
12+ } //
13+ β ~
14+ ε,
1815 α.?buildInputs = [δ],
1916 α.?doCheck = Bool,
2017 α.?requireX = Bool,
test/golden/importless/generic-stack-builder.txt+18−21
@@ -1,25 +1,22 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ.
2−( ( α
3− ) //
4− ( { GIT_SSL_CAINFO = String;
5− LANG = String;
6− LD_LIBRARY_PATH = β;
7− STACK_IN_NIX_EXTRA_ARGS = [γ];
8− STACK_IN_NIX_SHELL = Number;
9− STACK_PLATFORM_VARIANT = String;
10− __noChroot = Bool;
11− buildInputs = [δ];
12− buildPhase = String;
13− checkPhase = String;
14− doCheck = Bool;
15− installPhase = String;
16− nativeBuildInputs = [ε];
17− preConfigure = String;
18− preferLocalBuild = Bool;
19− }
20− ) ~
21− ( ζ
22− ),
2+( α //
3+ { GIT_SSL_CAINFO = String;
4+ LANG = String;
5+ LD_LIBRARY_PATH = β;
6+ STACK_IN_NIX_EXTRA_ARGS = [γ];
7+ STACK_IN_NIX_SHELL = Number;
8+ STACK_PLATFORM_VARIANT = String;
9+ __noChroot = Bool;
10+ buildInputs = [δ];
11+ buildPhase = String;
12+ checkPhase = String;
13+ doCheck = Bool;
14+ installPhase = String;
15+ nativeBuildInputs = [ε];
16+ preConfigure = String;
17+ preferLocalBuild = Bool;
18+ } ~
19+ ζ,
2320 α.?LD_LIBRARY_PATH = [δ],
2421 α.?buildInputs = [δ],
2522 α.?buildPhase = String,
test/golden/importless/geogebra6.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ.
2−( (β) // ({license = γ; maintainers = [δ]; platforms = ε;}) ~ (ζ),
2+( β // {license = γ; maintainers = [δ]; platforms = ε;} ~ ζ,
33 η.lib = θ,
44 η.mkDerivation =
55 { desktopItem = ι;
test/golden/importless/graphql.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.src = ε,
55 δ.version = ζ
test/golden/importless/http.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.optionals = Bool -> [ε] -> ζ,
44 η.meta = β,
55 η.src = θ,
test/golden/importless/integrations-core.txt+10−13
@@ -1,17 +1,14 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ.
2−( ( α
3− ) //
4− ( { doCheck = Bool;
5− name = String;
6− postPatch = String;
7− sourceRoot = String;
8− src = β;
9− version = String;
10− }
11− ) ~
12− ( γ
13− ),
14− (δ) // ({datadog_checks_base = ε; python = ζ;}) ~ (η),
2+( α //
3+ { doCheck = Bool;
4+ name = String;
5+ postPatch = String;
6+ sourceRoot = String;
7+ src = β;
8+ version = String;
9+ } ~
10+ γ,
11+ δ // {datadog_checks_base = ε; python = ζ;} ~ η,
1512 θ.fetchFromGitHub =
1613 {owner = String; repo = String; rev = String; sha256 = String;} -> β,
1714 θ.lib = ι,
test/golden/importless/janePackage.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι κ.
2−( ( α
3− ) //
4− ( { meta = {homepage = String; license = β;};
5− minimumOCamlVersion = String;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { meta = {homepage = String; license = β;};
4+ minimumOCamlVersion = String;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?version = String,
1310 ε.lib = ζ,
1411 α.hash = η,
test/golden/importless/janePackage_0_12.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι.
2−( ( α
3− ) //
4− ( { meta = {homepage = String; license = β;};
5− minimumOCamlVersion = String;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { meta = {homepage = String; license = β;};
4+ minimumOCamlVersion = String;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?version = String,
1310 ε.licenses = ζ,
1411 α.hash = η,
test/golden/importless/janePackage_0_13.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι.
2−( ( α
3− ) //
4− ( { meta = {homepage = String; license = β;};
5− minimumOCamlVersion = String;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { meta = {homepage = String; license = β;};
4+ minimumOCamlVersion = String;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?version = String,
1310 ε.licenses = ζ,
1411 α.hash = η,
test/golden/importless/java.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.config = ε,
44 δ.lib = ζ,
55 δ.pkgs = η,
test/golden/importless/licenses.txt+14−17
@@ -1,21 +1,18 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1.
2−( (α) // ({shortName = β;}) ~ (γ),
3− ( δ
4− ) //
5− ( { agpl3 = ε;
6− fdl11 = ζ;
7− fdl12 = η;
8− fdl13 = θ;
9− gpl1 = ι;
10− gpl2 = κ;
11− gpl3 = λ;
12− lgpl2 = μ;
13− lgpl21 = ν;
14− lgpl3 = ξ;
15− }
16− ) ~
17− ( ο
18− ),
2+( α // {shortName = β;} ~ γ,
3+ δ //
4+ { agpl3 = ε;
5+ fdl11 = ζ;
6+ fdl12 = η;
7+ fdl13 = θ;
8+ gpl1 = ι;
9+ gpl2 = κ;
10+ gpl3 = λ;
11+ lgpl2 = μ;
12+ lgpl21 = ν;
13+ lgpl3 = ξ;
14+ } ~
15+ ο,
1916 π.licenses = ρ,
2017 π.mapAttrs =
2118 (β -> α -> γ) ->
test/golden/importless/linux-4.14.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ.
2−( ( α
3− ) //
4− ( { extraMeta = {branch = β;};
5− modDirVersion = Null;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { extraMeta = {branch = β;};
4+ modDirVersion = Null;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?argsOverride = {},
1310 α.?modDirVersionArg = Null,
1411 α.buildLinux = δ -> ε,
test/golden/importless/linux-4.19.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ.
2−( ( α
3− ) //
4− ( { extraMeta = {branch = β;};
5− modDirVersion = Null;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { extraMeta = {branch = β;};
4+ modDirVersion = Null;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?argsOverride = {},
1310 α.?modDirVersionArg = Null,
1411 α.buildLinux = δ -> ε,
test/golden/importless/linux-4.4.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ η.
2−( (α) // ({extraMeta = {branch = String;}; src = β; version = String;}) ~ (γ),
2+( α // {extraMeta = {branch = String;}; src = β; version = String;} ~ γ,
33 α.?argsOverride = {},
44 α.buildLinux = γ -> δ,
55 α.buildPackages = ε,
test/golden/importless/linux-4.9.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ η.
2−( (α) // ({extraMeta = {branch = String;}; src = β; version = String;}) ~ (γ),
2+( α // {extraMeta = {branch = String;}; src = β; version = String;} ~ γ,
33 α.?argsOverride = {},
44 α.buildLinux = γ -> δ,
55 α.buildPackages = ε,
test/golden/importless/linux-5.4.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ.
2−( ( α
3− ) //
4− ( { extraMeta = {branch = β;};
5− modDirVersion = Null;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { extraMeta = {branch = β;};
4+ modDirVersion = Null;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?argsOverride = {},
1310 α.?modDirVersionArg = Null,
1411 α.buildLinux = δ -> ε,
test/golden/importless/linux-5.8.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ.
2−( ( α
3− ) //
4− ( { extraMeta = {branch = β;};
5− modDirVersion = Null;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { extraMeta = {branch = β;};
4+ modDirVersion = Null;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?argsOverride = {},
1310 α.?modDirVersionArg = Null,
1411 α.buildLinux = δ -> ε,
test/golden/importless/linux-5.9.txt+7−10
@@ -1,14 +1,11 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ.
2−( ( α
3− ) //
4− ( { extraMeta = {branch = β;};
5− modDirVersion = Null;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( α //
3+ { extraMeta = {branch = β;};
4+ modDirVersion = Null;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 α.?argsOverride = {},
1310 α.?modDirVersionArg = Null,
1411 α.buildLinux = δ -> ε,
test/golden/importless/linux-hardkernel-4.14.txt+9−12
@@ -1,16 +1,13 @@
11∀ α β γ δ ε ζ η θ ι.
2−( ( α
3− ) //
4− ( { defconfig = String;
5− extraConfig = String;
6− extraMeta = {branch = String; platforms = [String];};
7− modDirVersion = String;
8− src = β;
9− version = String;
10− }
11− ) ~
12− ( γ
13− ),
2+( α //
3+ { defconfig = String;
4+ extraConfig = String;
5+ extraMeta = {branch = String; platforms = [String];};
6+ modDirVersion = String;
7+ src = β;
8+ version = String;
9+ } ~
10+ γ,
1411 α.?argsOverride = {},
1512 α.?extraConfig = String,
1613 α.buildLinux = γ -> δ,
test/golden/importless/linux-testing-bcachefs.txt+13−16
@@ -1,20 +1,17 @@
11∀ β γ δ ε ζ η θ ι κ λ μ.
2−( ( β
3− ) //
4− ( { extraConfig = String;
5− extraMeta =
6− { branch = String;
7− hydraPlatforms = ∀ α. [α];
8− maintainers = [γ];
9− platforms = [String];
10− };
11− modDirVersion = String;
12− src = δ;
13− version = String;
14− }
15− ) ~
16− ( ε
17− ),
2+( β //
3+ { extraConfig = String;
4+ extraMeta =
5+ { branch = String;
6+ hydraPlatforms = ∀ α. [α];
7+ maintainers = [γ];
8+ platforms = [String];
9+ };
10+ modDirVersion = String;
11+ src = δ;
12+ version = String;
13+ } ~
14+ ε,
1815 β.?argsOverride = {},
1916 β.buildLinux = ε -> ζ,
2017 β.buildPackages = η,
test/golden/importless/linux-testing.txt+7−10
@@ -1,14 +1,11 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( ( β
3− ) //
4− ( { extraMeta = {branch = String; hydraPlatforms = ∀ α. [α];};
5− modDirVersion = Null;
6− src = γ;
7− version = String;
8− }
9− ) ~
10− ( δ
11− ),
2+( β //
3+ { extraMeta = {branch = String; hydraPlatforms = ∀ α. [α];};
4+ modDirVersion = Null;
5+ src = γ;
6+ version = String;
7+ } ~
8+ δ,
129 β.?argsOverride = {},
1310 β.?modDirVersionArg = Null,
1411 β.buildLinux = δ -> ε,
test/golden/importless/linux-zen.txt+8−11
@@ -1,15 +1,12 @@
11∀ α β γ δ ε ζ η θ.
2−( ( α
3− ) //
4− ( { extraMeta = {branch = String; maintainers = [β];};
5− isZen = Bool;
6− modDirVersion = String;
7− src = γ;
8− version = String;
9− }
10− ) ~
11− ( δ
12− ),
2+( α //
3+ { extraMeta = {branch = String; maintainers = [β];};
4+ isZen = Bool;
5+ modDirVersion = String;
6+ src = γ;
7+ version = String;
8+ } ~
9+ δ,
1310 α.?argsOverride = {},
1411 α.buildLinux = δ -> ε,
1512 α.fetchFromGitHub =
test/golden/importless/m32edit.txt+8−11
@@ -1,15 +1,12 @@
11∀ α β γ.
2−( ( α
3− ) //
4− ( { brand = String;
5− homepage = String;
6− sha256 = String;
7− type = String;
8− version = String;
9− }
10− ) ~
11− ( β
12− ),
2+( α //
3+ { brand = String;
4+ homepage = String;
5+ sha256 = String;
6+ type = String;
7+ version = String;
8+ } ~
9+ β,
1310 α.callPackage = String -> β -> γ
1411) =>
1512α -> γ
test/golden/importless/maven-build.txt+17−20
@@ -1,24 +1,21 @@
11∀ α β γ δ ε ζ.
2−( ( { finalPhase = String;
3− mvnAssembly = String;
4− mvnCheckstyle = String;
5− mvnCompile = String;
6− mvnJar = String;
7− mvnJavadoc = String;
8− mvnRelease = String;
9− mvnTest = String;
10− mvnTestCompile = String;
11− mvnTestJar = String;
12− name = α;
13− phases = String;
14− setupPhase = String;
15− src = β;
16− }
17− ) //
18− ( γ
19− ) ~
20− ( δ
21− ),
2+( { finalPhase = String;
3+ mvnAssembly = String;
4+ mvnCheckstyle = String;
5+ mvnCompile = String;
6+ mvnJar = String;
7+ mvnJavadoc = String;
8+ mvnRelease = String;
9+ mvnTest = String;
10+ mvnTestCompile = String;
11+ mvnTestJar = String;
12+ name = α;
13+ phases = String;
14+ setupPhase = String;
15+ src = β;
16+ } //
17+ γ ~
18+ δ,
2219 γ.?doCheckstyle = Bool,
2320 γ.?doJavadoc = Bool,
2421 γ.?doRelease = Bool,
test/golden/importless/mem.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.optional = Bool -> ε -> ζ,
44 η.meta = β,
55 η.src = θ,
test/golden/importless/moodle-utils.txt+9−12
@@ -1,16 +1,13 @@
11∀ ε ζ η θ ι κ λ μ ν ξ ο.
2−( ( ε
3− ) //
4− ( { buildInputs = [ζ];
5− buildPhase = η;
6− configurePhase = θ;
7− installPhase = String;
8− name = ι;
9− pluginType = κ;
10− }
11− ) ~
12− ( λ
13− ),
2+( ε //
3+ { buildInputs = [ζ];
4+ buildPhase = η;
5+ configurePhase = θ;
6+ installPhase = String;
7+ name = ι;
8+ pluginType = κ;
9+ } ~
10+ λ,
1411 μ.?buildInputs = [ζ],
1512 ν.stdenv = ξ,
1613 ν.unzip = ζ,
test/golden/importless/pack.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.optionals = Bool -> [ε] -> ζ,
44 η.meta = β,
55 η.src = θ,
test/golden/importless/pk.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.minimumOCamlVersion = ε,
55 δ.src = ζ,
test/golden/importless/platform-flags.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ.
2−( ({}) // (α) ~ (β),
2+( {} // α ~ β,
33 γ.?platform = δ,
44 ε.?arch = ζ,
55 η.?cpu = θ,
test/golden/importless/pressureaudio.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι.
2−( (β) // ({description = String; longDescription = String;}) ~ (γ),
2+( β // {description = String; longDescription = String;} ~ γ,
33 δ.mkDerivation =
44 { buildPhase = String;
55 dontConfigure = Bool;
test/golden/importless/qtModule.txt+14−17
@@ -1,21 +1,18 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ.
2−( ( β
3− ) //
4− ( { meta = ∀ α. α;
5− name = String;
6− nativeBuildInputs = [γ];
7− outputs = [String];
8− patches = [δ];
9− postFixup = String;
10− preConfigure = String;
11− preHook = String;
12− propagatedBuildInputs = [ε];
13− setOutputFlags = Bool;
14− src = ζ;
15− }
16− ) ~
17− ( η
18− ),
2+( β //
3+ { meta = ∀ α. α;
4+ name = String;
5+ nativeBuildInputs = [γ];
6+ outputs = [String];
7+ patches = [δ];
8+ postFixup = String;
9+ preConfigure = String;
10+ preHook = String;
11+ propagatedBuildInputs = [ε];
12+ setOutputFlags = Bool;
13+ src = ζ;
14+ } ~
15+ η,
1916 β.?meta = {},
2017 β.?nativeBuildInputs = [γ],
2118 β.?outputs = [String],
test/golden/importless/rebar3-release.txt+16−19
@@ -1,23 +1,20 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ.
2−( (β) // (γ) ~ ({buildInputs = [δ]; name = String;}),
3− ( { buildInputs = [ε];
4− buildPhase = String;
5− configurePhase = String;
6− dontStrip = Bool;
7− installPhase = String;
8− meta = ∀ α. α;
9− name = String;
10− passthru = {env = ζ; packageName = η;};
11− propagatedBuildInputs = [Null];
12− setupHook = θ;
13− src = ι;
14− version = κ;
15− }
16− ) //
17− ( λ
18− ) ~
19− ( γ
20− ),
2+( β // γ ~ {buildInputs = [δ]; name = String;},
3+ { buildInputs = [ε];
4+ buildPhase = String;
5+ configurePhase = String;
6+ dontStrip = Bool;
7+ installPhase = String;
8+ meta = ∀ α. α;
9+ name = String;
10+ passthru = {env = ζ; packageName = η;};
11+ propagatedBuildInputs = [Null];
12+ setupHook = θ;
13+ src = ι;
14+ version = κ;
15+ } //
16+ λ ~
17+ γ,
2118 β.?buildInputs = [ε],
2219 β.?buildPhase = Null,
2320 β.?checkouts = Null,
test/golden/importless/rng-mirage.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.minimumOCamlVersion = ε,
55 δ.src = ζ,
test/golden/importless/rng.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.minimumOCamlVersion = ε,
55 δ.src = ζ,
test/golden/importless/sage-env.txt+1−1
@@ -1,5 +1,5 @@
11∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1.
2−( (α) // ({lib = β;}) ~ (γ),
2+( α // {lib = β;} ~ γ,
33 δ.cc = String,
44 ε.makeBinPath = [String] -> ζ,
55 η.bintools = String,
test/golden/importless/schema.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ.
2−((β) // ({meta = {hydraPlatforms = ∀ α. [α];};}) ~ (γ)) => { fetchFromGitHub =
2+(β // {meta = {hydraPlatforms = ∀ α. [α];};} ~ γ) => { fetchFromGitHub =
33 { name = String;
44 owner = String;
55 repo = String;
test/golden/importless/sdk-pkgs.txt+10−13
@@ -1,17 +1,14 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π.
2−( ( β
3− ) //
4− ( { sdk =
5− { name = String;
6− outPath = String;
7− platform = γ;
8− type = String;
9− version = δ;
10− };
11− }
12− ) ~
13− ( ε
14− ),
2+( β //
3+ { sdk =
4+ { name = String;
5+ outPath = String;
6+ platform = γ;
7+ type = String;
8+ version = δ;
9+ };
10+ } ~
11+ ε,
1512 ζ.sdkVer = δ,
1613 ζ.xcodePlatform = γ,
1714 η.lib = θ,
test/golden/importless/shadow.txt+8−11
@@ -1,15 +1,12 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1 γ1 δ1 ε1 ζ1 η1.
2−( ( { newgidmap = {source = String;};
3− newgrp = {source = String;};
4− newuidmap = {source = String;};
5− sg = {source = String;};
6− su = {source = String;};
7− }
8− ) //
9− ( β
10− ) ~
11− ( γ
12− ),
2+( { newgidmap = {source = String;};
3+ newgrp = {source = String;};
4+ newuidmap = {source = String;};
5+ sg = {source = String;};
6+ su = {source = String;};
7+ } //
8+ β ~
9+ γ,
1310 δ.config = ε,
1411 δ.lib = ζ,
1512 δ.pkgs = η,
test/golden/importless/skeinrepo.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ λ μ.
2−( (β) // (γ) ~ (δ),
2+( β // γ ~ δ,
33 ε.optional = ζ -> η -> [θ],
44 ε.optionalAttrs = ι -> {dontAutoPatchelf = Bool;} -> γ,
55 κ.isLinux = Bool,
test/golden/importless/socket.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.src = ε,
55 δ.useDune2 = ζ,
test/golden/importless/softmaker_office.txt+9−12
@@ -1,16 +1,13 @@
11∀ α β γ δ.
2−( ( α
3− ) //
4− ( { archive = String;
5− edition = String;
6− pname = String;
7− src = β;
8− suiteName = String;
9− version = String;
10− }
11− ) ~
12− ( γ
13− ),
2+( α //
3+ { archive = String;
4+ edition = String;
5+ pname = String;
6+ src = β;
7+ suiteName = String;
8+ version = String;
9+ } ~
10+ γ,
1411 α.?officeVersion = {edition = String; sha256 = String; version = String;},
1512 α.callPackage = String -> γ -> δ,
1613 α.fetchurl = {sha256 = String; url = String;} -> β
test/golden/importless/staging.txt+2−2
@@ -1,6 +1,6 @@
11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π.
2−( (β) // ({meta = ∀ α. α;}) ~ (γ),
3− (δ) // ({description = String;}) ~ (ε),
2+( β // {meta = ∀ α. α;} ~ γ,
3+ δ // {description = String;} ~ ε,
44 ζ.?postPatch = String,
55 η.lib = θ,
66 ι.meta = δ,
test/golden/importless/test.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.meta = β,
44 δ.src = ε,
55 δ.version = ζ
test/golden/importless/unix.txt+1−1
@@ -1,5 +1,5 @@
11∀ β γ δ ε ζ η θ ι κ.
2−( (β) // ({description = String;}) ~ (γ),
2+( β // {description = String;} ~ γ,
33 δ.optional = Bool -> ε -> ζ,
44 η.meta = β,
55 η.src = θ,
test/golden/importless/x32edit.txt+8−11
@@ -1,15 +1,12 @@
11∀ α β γ.
2−( ( α
3− ) //
4− ( { brand = String;
5− homepage = String;
6− sha256 = String;
7− type = String;
8− version = String;
9− }
10− ) ~
11− ( β
12− ),
2+( α //
3+ { brand = String;
4+ homepage = String;
5+ sha256 = String;
6+ type = String;
7+ version = String;
8+ } ~
9+ β,
1310 α.callPackage = String -> β -> γ
1411) =>
1512α -> γ
test/golden/mine/inftype.txt+1−1
@@ -1 +1 @@
1−∀ α β γ. ((α) // ({a = Number;}) ~ (β), α.f = β -> γ) => α -> γ
1+∀ α β γ. (α // {a = Number;} ~ β, α.f = β -> γ) => α -> γ