From c5e01bdce382702d8c49e3fcad3637dd391b6110 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= Date: Wed, 7 Sep 2022 18:10:22 +0100 Subject: [PATCH] freeze deps --- Double/listMax.dhall | 6 ++++-- Double/listMin.dhall | 6 ++++-- Integer/build.dhall | 8 ++++++-- Integer/fold.dhall | 8 ++++++-- Integer/isZero.dhall | 8 ++++++-- Integer/listMax.dhall | 25 +++++++++++++------------ Integer/listMin.dhall | 33 ++++++++++++++++----------------- Integer/max.dhall | 4 +++- Integer/min.dhall | 4 +++- Integer/package.dhall | 4 ++-- Integer/product.dhall | 4 +++- List/filterMap.dhall | 8 ++++++-- List/package.dhall | 5 +---- Natural/fromAny.dhall | 4 +++- Natural/package.dhall | 5 +---- Number/greaterThan.dhall | 4 +++- Number/greaterThanEqual.dhall | 4 +++- Number/listMax.dhall | 6 ++++-- Number/listMin.dhall | 6 ++++-- Number/positive.dhall | 4 +++- Number/toNatural.dhall | 4 +++- package.dhall | 20 +++++++++++--------- 22 files changed, 108 insertions(+), 72 deletions(-) diff --git a/Double/listMax.dhall b/Double/listMax.dhall index e8a5baf..424cdf0 100644 --- a/Double/listMax.dhall +++ b/Double/listMax.dhall @@ -1,7 +1,9 @@ λ(nix : ../NixPrelude.dhall) → - let max = ./max.dhall nix + let Optional/map = + https://prelude.dhall-lang.org/Optional/map.dhall + sha256:501534192d988218d43261c299cc1d1e0b13d25df388937add784778ab0054fa - let Optional/map = ../Optional/map.dhall nix + let max = ./max.dhall nix let listMax : List Double → Optional Double diff --git a/Double/listMin.dhall b/Double/listMin.dhall index 343c7d4..95baf85 100644 --- a/Double/listMin.dhall +++ b/Double/listMin.dhall @@ -1,10 +1,12 @@ λ(nix : ../NixPrelude.dhall) → + let Optional/map = + https://prelude.dhall-lang.org/Optional/map.dhall + sha256:501534192d988218d43261c299cc1d1e0b13d25df388937add784778ab0054fa + let min = ./min.dhall nix let Double/isZero = ./isZero.dhall nix - let Optional/map = ../Optional/map.dhall nix - let listMin : List Double → Optional Double = λ(xs : List Double) → diff --git a/Integer/build.dhall b/Integer/build.dhall index e6732ea..a231c83 100644 --- a/Integer/build.dhall +++ b/Integer/build.dhall @@ -1,6 +1,10 @@ -let Integer/add = https://prelude.dhall-lang.org/Integer/add.dhall +let Integer/add = + https://prelude.dhall-lang.org/Integer/add.dhall + sha256:7da1306a0bf87c5668beead2a1db1b18861e53d7ce1f38057b2964b649f59c3b -let negate = https://prelude.dhall-lang.org/Integer/negate.dhall +let negate = + https://prelude.dhall-lang.org/Integer/negate.dhall + sha256:2373c992e1de93634bc6a8781eb073b2a92a70170133e49762a785f3a136df5d let Integer/succ : Integer → Integer diff --git a/Integer/fold.dhall b/Integer/fold.dhall index f4acbdb..70f30be 100644 --- a/Integer/fold.dhall +++ b/Integer/fold.dhall @@ -1,6 +1,10 @@ -let Integer/negative = https://prelude.dhall-lang.org/Integer/negative.dhall +let Integer/negative = + https://prelude.dhall-lang.org/Integer/negative.dhall + sha256:23e4b3c61eea9e878a7f83bf25fd0ea2c6a6d60174890d65be885828b690a570 -let Integer/abs = https://prelude.dhall-lang.org/Integer/abs.dhall +let Integer/abs = + https://prelude.dhall-lang.org/Integer/abs.dhall + sha256:35212fcbe1e60cb95b033a4a9c6e45befca4a298aa9919915999d09e69ddced1 let fold : Integer → diff --git a/Integer/isZero.dhall b/Integer/isZero.dhall index bbbb944..0ed979d 100644 --- a/Integer/isZero.dhall +++ b/Integer/isZero.dhall @@ -1,6 +1,10 @@ -let Integer/nonPositive = https://prelude.dhall-lang.org/Integer/nonPositive.dhall +let Integer/nonPositive = + https://prelude.dhall-lang.org/Integer/nonPositive.dhall + sha256:e00a852eed5b84ff60487097d8aadce53c9e5301f53ff4954044bd68949fac3b -let Integer/nonNegative = https://prelude.dhall-lang.org/Integer/nonNegative.dhall +let Integer/nonNegative = + https://prelude.dhall-lang.org/Integer/nonNegative.dhall + sha256:b463373f070df6b1c8c7082051e0810fee38b360bab35256187c8c2b6af5c663 let isZero : Integer → Bool diff --git a/Integer/listMax.dhall b/Integer/listMax.dhall index 39435fc..b5cb9c1 100644 --- a/Integer/listMax.dhall +++ b/Integer/listMax.dhall @@ -1,15 +1,16 @@ -λ(nix : ../NixPrelude.dhall) → - let max = ./max.dhall +let max = ./max.dhall - let Optional/map = ../Optional/map.dhall nix +let Optional/map = + https://prelude.dhall-lang.org/Optional/map.dhall + sha256:501534192d988218d43261c299cc1d1e0b13d25df388937add784778ab0054fa - let listMax - : List Integer → Optional Integer - = λ(xs : List Integer) → - Optional/map - Integer - Integer - (λ(n : Integer) → List/fold Integer xs Integer max n) - (List/head Integer xs) +let listMax + : List Integer → Optional Integer + = λ(xs : List Integer) → + Optional/map + Integer + Integer + (λ(n : Integer) → List/fold Integer xs Integer max n) + (List/head Integer xs) - in listMax +in listMax diff --git a/Integer/listMin.dhall b/Integer/listMin.dhall index e58fb1a..2f7e062 100644 --- a/Integer/listMin.dhall +++ b/Integer/listMin.dhall @@ -1,21 +1,20 @@ -λ(nix : ../NixPrelude.dhall) → - let min = ./min.dhall +let min = ./min.dhall - let Integer/isZero = ./isZero.dhall +let Integer/isZero = ./isZero.dhall - let Optional/map = ../Optional/map.dhall nix +let Optional/map = + https://prelude.dhall-lang.org/Optional/map.dhall + sha256:501534192d988218d43261c299cc1d1e0b13d25df388937add784778ab0054fa - let listMin - : List Integer → Optional Integer - = λ(xs : List Integer) → - Optional/map - Integer - Integer - ( λ(n : Integer) → - if Integer/isZero n - then n - else List/fold Integer xs Integer min n - ) - (List/head Integer xs) +let listMin + : List Integer → Optional Integer + = λ(xs : List Integer) → + Optional/map + Integer + Integer + ( λ(n : Integer) → + if Integer/isZero n then n else List/fold Integer xs Integer min n + ) + (List/head Integer xs) - in listMin +in listMin diff --git a/Integer/max.dhall b/Integer/max.dhall index da6be5f..c84d473 100644 --- a/Integer/max.dhall +++ b/Integer/max.dhall @@ -1,5 +1,7 @@ --| `max a b` returns the larger of `a` or `b` -let lessThanEqual = https://prelude.dhall-lang.org/Integer/lessThanEqual.dhall +let lessThanEqual = + https://prelude.dhall-lang.org/Integer/lessThanEqual.dhall + sha256:e3cca9f3942f81fa78a2bea23c0c24519c67cfe438116c38e797e12dcd26f6bc let max : Integer → Integer → Integer diff --git a/Integer/min.dhall b/Integer/min.dhall index 337b560..c03ca46 100644 --- a/Integer/min.dhall +++ b/Integer/min.dhall @@ -1,5 +1,7 @@ --| `min a b` returns the smaller of `a` or `b` -let lessThanEqual = https://prelude.dhall-lang.org/Integer/lessThanEqual.dhall +let lessThanEqual = + https://prelude.dhall-lang.org/Integer/lessThanEqual.dhall + sha256:e3cca9f3942f81fa78a2bea23c0c24519c67cfe438116c38e797e12dcd26f6bc let min : Integer → Integer → Integer diff --git a/Integer/package.dhall b/Integer/package.dhall index f177f6e..4393ea9 100644 --- a/Integer/package.dhall +++ b/Integer/package.dhall @@ -5,8 +5,8 @@ , fold = ./fold.dhall , fromAny = ./fromAny.dhall nix , isZero = ./isZero.dhall - , listMax = ./listMax.dhall nix - , listMin = ./listMin.dhall nix + , listMax = ./listMax.dhall + , listMin = ./listMin.dhall , product = ./product.dhall , sort = ./sort.dhall nix } diff --git a/Integer/product.dhall b/Integer/product.dhall index 2c52c38..cec4322 100644 --- a/Integer/product.dhall +++ b/Integer/product.dhall @@ -1,5 +1,7 @@ --| Multiply all the numbers in a `List` -let Integer/multiply = https://prelude.dhall-lang.org/Integer/multiply.dhall +let Integer/multiply = + https://prelude.dhall-lang.org/Integer/multiply.dhall + sha256:dcb1ed7c8475ece8d67db92cd249fc728541778ff82509e28c3760e341880e4d let product : List Integer → Integer diff --git a/List/filterMap.dhall b/List/filterMap.dhall index fdad7ed..29af378 100644 --- a/List/filterMap.dhall +++ b/List/filterMap.dhall @@ -1,7 +1,11 @@ λ(nix : ../NixPrelude.dhall) → - let List/concatMap = https://prelude.dhall-lang.org/List/concatMap.dhall + let List/concatMap = + https://prelude.dhall-lang.org/List/concatMap.dhall + sha256:3b2167061d11fda1e4f6de0522cbe83e0d5ac4ef5ddf6bb0b2064470c5d3fb64 - let Optional/toList = https://prelude.dhall-lang.org/Optional/toList.dhall + let Optional/toList = + https://prelude.dhall-lang.org/Optional/toList.dhall + sha256:d78f160c619119ef12389e48a629ce293d69f7624c8d016b7a4767ab400344c4 let filterMap : ∀(a : Type) → ∀(b : Type) → (a → Optional b) → List a → List b diff --git a/List/package.dhall b/List/package.dhall index 3795e0b..c8d50f7 100644 --- a/List/package.dhall +++ b/List/package.dhall @@ -1,4 +1 @@ -λ(nix : ../NixPrelude.dhall) → - { - , filterMap = ./filterMap.dhall - } +λ(nix : ../NixPrelude.dhall) → { filterMap = ./filterMap.dhall } diff --git a/Natural/fromAny.dhall b/Natural/fromAny.dhall index 92a0e8b..4283778 100644 --- a/Natural/fromAny.dhall +++ b/Natural/fromAny.dhall @@ -1,7 +1,9 @@ λ(nix : ../NixPrelude.dhall) → let Any = ../Any/Type.dhall - let Integer/nonNegative = https://prelude.dhall-lang.org/Integer/nonNegative.dhall + let Integer/nonNegative = + https://prelude.dhall-lang.org/Integer/nonNegative.dhall + sha256:b463373f070df6b1c8c7082051e0810fee38b360bab35256187c8c2b6af5c663 let Misc/throw = ../Misc/throw.dhall nix diff --git a/Natural/package.dhall b/Natural/package.dhall index 206ae9b..7dfa54a 100644 --- a/Natural/package.dhall +++ b/Natural/package.dhall @@ -1,5 +1,2 @@ λ(nix : ../NixPrelude.dhall) → - { Type = Natural - , divide = ./divide.dhall nix - , fromAny = ./fromAny.dhall nix - } + { Type = Natural, divide = ./divide.dhall nix, fromAny = ./fromAny.dhall nix } diff --git a/Number/greaterThan.dhall b/Number/greaterThan.dhall index cdef166..b320128 100644 --- a/Number/greaterThan.dhall +++ b/Number/greaterThan.dhall @@ -1,7 +1,9 @@ λ(nix : ../NixPrelude.dhall) → let Number = ./Type.dhall - let Bool/not = https://prelude.dhall-lang.org/Bool/not.dhall + let Bool/not = + https://prelude.dhall-lang.org/Bool/not.dhall + sha256:723df402df24377d8a853afed08d9d69a0a6d86e2e5b2bac8960b0d4756c7dc4 let Number/lessThanEqual = ./lessThanEqual.dhall nix diff --git a/Number/greaterThanEqual.dhall b/Number/greaterThanEqual.dhall index e9bdd8a..820cd1f 100644 --- a/Number/greaterThanEqual.dhall +++ b/Number/greaterThanEqual.dhall @@ -1,7 +1,9 @@ λ(nix : ../NixPrelude.dhall) → let Number = ./Type.dhall - let Bool/not = https://prelude.dhall-lang.org/Bool/not.dhall + let Bool/not = + https://prelude.dhall-lang.org/Bool/not.dhall + sha256:723df402df24377d8a853afed08d9d69a0a6d86e2e5b2bac8960b0d4756c7dc4 let Number/lessThan = ./lessThan.dhall nix diff --git a/Number/listMax.dhall b/Number/listMax.dhall index e2e69e4..864056c 100644 --- a/Number/listMax.dhall +++ b/Number/listMax.dhall @@ -1,9 +1,11 @@ λ(nix : ../NixPrelude.dhall) → let Number = ./Type.dhall - let max = ./max.dhall nix + let Optional/map = + https://prelude.dhall-lang.org/Optional/map.dhall + sha256:501534192d988218d43261c299cc1d1e0b13d25df388937add784778ab0054fa - let Optional/map = ../Optional/map.dhall nix + let max = ./max.dhall nix let listMax : List Number → Optional Number diff --git a/Number/listMin.dhall b/Number/listMin.dhall index 4f38d03..516c42c 100644 --- a/Number/listMin.dhall +++ b/Number/listMin.dhall @@ -1,12 +1,14 @@ λ(nix : ../NixPrelude.dhall) → let Number = ./Type.dhall + let Optional/map = + https://prelude.dhall-lang.org/Optional/map.dhall + sha256:501534192d988218d43261c299cc1d1e0b13d25df388937add784778ab0054fa + let min = ./min.dhall nix let Number/isZero = ./isZero.dhall nix - let Optional/map = ../Optional/map.dhall nix - let listMin : List Number → Optional Number = λ(xs : List Number) → diff --git a/Number/positive.dhall b/Number/positive.dhall index 87280bd..0ad16a3 100644 --- a/Number/positive.dhall +++ b/Number/positive.dhall @@ -1,7 +1,9 @@ λ(nix : ../NixPrelude.dhall) → let Number = ./Type.dhall - let Bool/not = https://prelude.dhall-lang.org/Bool/not.dhall + let Bool/not = + https://prelude.dhall-lang.org/Bool/not.dhall + sha256:723df402df24377d8a853afed08d9d69a0a6d86e2e5b2bac8960b0d4756c7dc4 let Number/nonPositive = ./nonPositive.dhall nix diff --git a/Number/toNatural.dhall b/Number/toNatural.dhall index 6d9c566..fc630b9 100644 --- a/Number/toNatural.dhall +++ b/Number/toNatural.dhall @@ -1,7 +1,9 @@ λ(nix : ../NixPrelude.dhall) → let Number = ./Type.dhall - let Integer/toNatural = https://prelude.dhall-lang.org/Integer/toNatural.dhall + let Integer/toNatural = + https://prelude.dhall-lang.org/Integer/toNatural.dhall + sha256:4d128730d74e7f832e53873cb5204aa91b79758be5ce4e1aa991fe1951304a0e let Number/toInteger = ./toInteger.dhall nix diff --git a/package.dhall b/package.dhall index d2e73db..b45abaf 100644 --- a/package.dhall +++ b/package.dhall @@ -1,10 +1,12 @@ λ(nix : ./NixPrelude.dhall) → - https://prelude.dhall-lang.org/package.dhall ∧ - { Any = ./Any/package.dhall nix - , Bool = ./Bool/package.dhall nix - , Double = ./Double/package.dhall nix - , Integer = ./Integer/package.dhall nix - , List = ./List/package.dhall nix - , Misc = ./Misc/package.dhall nix - , Natural = ./Natural/package.dhall nix - , Number = ./Number/package.dhall nix} + https://prelude.dhall-lang.org/package.dhall + sha256:0fed19a88330e9a8a3fbe1e8442aa11d12e38da51eb12ba8bcb56f3c25d0854a + ∧ { Any = ./Any/package.dhall nix + , Bool = ./Bool/package.dhall nix + , Double = ./Double/package.dhall nix + , Integer = ./Integer/package.dhall nix + , List = ./List/package.dhall nix + , Misc = ./Misc/package.dhall nix + , Natural = ./Natural/package.dhall nix + , Number = ./Number/package.dhall nix + }