freeze deps
This commit is contained in:
parent
cdf878533b
commit
c5e01bdce3
22 changed files with 108 additions and 72 deletions
|
@ -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
|
||||
|
|
|
@ -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) →
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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 →
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
}
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -1,4 +1 @@
|
|||
λ(nix : ../NixPrelude.dhall) →
|
||||
{
|
||||
, filterMap = ./filterMap.dhall
|
||||
}
|
||||
λ(nix : ../NixPrelude.dhall) → { filterMap = ./filterMap.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
|
||||
|
||||
|
|
|
@ -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 }
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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) →
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue