|
1 | | -let Prelude = ../External/Prelude.dhall |
| 1 | +let Prelude = ../../External/Prelude.dhall |
2 | 2 |
|
3 | | -let Optional/map = Prelude.Optional.map |
4 | | - |
5 | | -let Optional/default = Prelude.Optional.default |
6 | | - |
7 | | -let List/drop = Prelude.List.drop |
| 3 | +let Extensions = ../../Lib/Extensions.dhall |
8 | 4 |
|
9 | | -let List/concatMap = Prelude.List.concatMap |
| 5 | +let join = Extensions.join |
10 | 6 |
|
11 | | -let Text/concat = Prelude.Text.concat |
12 | | - |
13 | | -let Artifacts = ../Constants/Artifacts.dhall |
14 | | - |
15 | | -let Size = ../Command/Size.dhall |
| 7 | +let Optional/map = Prelude.Optional.map |
16 | 8 |
|
17 | | -let Package = ../Constants/DebianPackage.dhall |
| 9 | +let Optional/default = Prelude.Optional.default |
18 | 10 |
|
19 | | -let Network = ../Constants/Network.dhall |
| 11 | +let Artifacts = ../../Constants/Artifacts.dhall |
20 | 12 |
|
21 | | -let DebianChannel = ../Constants/DebianChannel.dhall |
| 13 | +let Size = ../../Command/Size.dhall |
22 | 14 |
|
23 | | -let Profiles = ../Constants/Profiles.dhall |
| 15 | +let Package = ../../Constants/DebianPackage.dhall |
24 | 16 |
|
25 | | -let Artifact = ../Constants/Artifacts.dhall |
| 17 | +let Network = ../../Constants/Network.dhall |
26 | 18 |
|
27 | | -let DebianVersions = ../Constants/DebianVersions.dhall |
| 19 | +let DebianChannel = ../../Constants/DebianChannel.dhall |
28 | 20 |
|
29 | | -let DebianRepo = ../Constants/DebianRepo.dhall |
| 21 | +let Profiles = ../../Constants/Profiles.dhall |
30 | 22 |
|
31 | | -let Toolchain = ../Constants/Toolchain.dhall |
| 23 | +let Artifact = ../../Constants/Artifacts.dhall |
32 | 24 |
|
33 | | -let ContainerImages = ../Constants/ContainerImages.dhall |
| 25 | +let DebianVersions = ../../Constants/DebianVersions.dhall |
34 | 26 |
|
35 | | -let Command = ./Base.dhall |
| 27 | +let DebianRepo = ../../Constants/DebianRepo.dhall |
36 | 28 |
|
37 | | -let Cmd = ../Lib/Cmds.dhall |
| 29 | +let Toolchain = ../../Constants/Toolchain.dhall |
38 | 30 |
|
39 | | -let Mina = ./Mina.dhall |
| 31 | +let ContainerImages = ../../Constants/ContainerImages.dhall |
40 | 32 |
|
41 | | -let join = |
42 | | - \(sep : Text) |
43 | | - -> \(xs : List Text) |
44 | | - -> let concatWithSepAtStart = |
45 | | - List/concatMap Text Text (\(item : Text) -> [ sep, item ]) xs |
| 33 | +let Command = ../Base.dhall |
46 | 34 |
|
47 | | - let concat = List/drop 1 Text concatWithSepAtStart |
| 35 | +let Cmd = ../../Lib/Cmds.dhall |
48 | 36 |
|
49 | | - in Text/concat concat |
| 37 | +let Mina = ../Mina.dhall |
50 | 38 |
|
51 | 39 | let Spec = |
52 | 40 | { Type = |
|
0 commit comments