Skip to content

Commit

Permalink
Merge pull request #266 from turion/releasev1.1
Browse files Browse the repository at this point in the history 
Upper bounds for time-domain and monad-schedule
  • Loading branch information
@turion
turion authored Nov 21, 2023
2 parents 85b86e4 + 2bc36b3 commit 29f942d
Show file tree
Hide file tree
Showing 8 changed files with 79 additions and 14 deletions.
4 changes: 2 additions & 2 deletions rhine/rhine.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -138,8 +138,8 @@ library
, random >= 1.1
, MonadRandom >= 0.5
, simple-affine-space ^>= 0.2
, time-domain
, monad-schedule >= 0.1.2
, time-domain ^>= 0.1.0.2
, monad-schedule ^>= 0.1.2

-- Directories containing source files.
hs-source-dirs: src
Expand Down
2 changes: 1 addition & 1 deletion stack.8.10.7.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,6 @@ extra-deps:
- simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
- histogram-fill-0.9.1.0@sha256:e6233fe467a5a68a2f913e8b31a78e2db81de5c1a8f282be77757ccc040305a8,1928
- terminal-0.2.0.0@sha256:de6770ecaae3197c66ac1f0db5a80cf5a5b1d3b64a66a05b50f442de5ad39570,2977
- time-domain-0.1.0.1@sha256:d56e0e8033c12128bf76517433bc146ea8720e1e2a119dbc9723598cfa6cc0a9,999
- monad-bayes-1.1.0@sha256:8929887b2883e553b928dcc9b1326171c87b6aa26f11800dc8c55b119a9e9649,6123
- bimap-0.5.0@sha256:aba506d02a1c93fc2b50dcbe728d2a4d07cca89b7033945418061a0b08576ebd,1889
- parsec-3.1.16.1@sha256:5769242043b01bf759b07b7efedcb19607837ee79015fcddde34645664136aed,4691
Expand All @@ -24,6 +23,7 @@ extra-deps:
- random-1.2.1
- linear-1.22
- monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
- time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007

nix:
packages:
Expand Down
34 changes: 24 additions & 10 deletions stack.8.10.7.yaml.lock
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,12 +12,19 @@ packages:
original:
hackage: brick-1.6@sha256:4a94b18be68d2d27da9e84eff7f8b4dc8bfa3a40d28d536fb737828d73a0e3eb,18899
- completed:
hackage: dunai-0.9.2@sha256:8f289fdaac0da709a6d9a0408f68da69f53b21707a9b5b1921ba75846399a40b,6384
hackage: dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
pantry-tree:
sha256: 3cbd9e5e28773dfeab994f9e03f36dd72711377f4366dbb1cd2a03b9e9d173a3
sha256: 5435c0e0ccd848461ead40b59dd4c8dd7f36a010ed3f10c6795e0c52f8e614b4
size: 2172
original:
hackage: dunai-0.9.2@sha256:8f289fdaac0da709a6d9a0408f68da69f53b21707a9b5b1921ba75846399a40b,6384
hackage: dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
- completed:
hackage: simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
pantry-tree:
sha256: 13dd2303e75c96fe2ea318d2e724005840211f4af44ba78da1886a16a4b0ec82
size: 696
original:
hackage: simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
- completed:
hackage: histogram-fill-0.9.1.0@sha256:e6233fe467a5a68a2f913e8b31a78e2db81de5c1a8f282be77757ccc040305a8,1928
pantry-tree:
Expand All @@ -32,13 +39,6 @@ packages:
size: 1775
original:
hackage: terminal-0.2.0.0@sha256:de6770ecaae3197c66ac1f0db5a80cf5a5b1d3b64a66a05b50f442de5ad39570,2977
- completed:
hackage: time-domain-0.1.0.1@sha256:d56e0e8033c12128bf76517433bc146ea8720e1e2a119dbc9723598cfa6cc0a9,999
pantry-tree:
sha256: 0b2fff558b026f529b8e2cd83b89c4da0d46601f377b8329bfeef1e095687205
size: 223
original:
hackage: time-domain-0.1.0.1@sha256:d56e0e8033c12128bf76517433bc146ea8720e1e2a119dbc9723598cfa6cc0a9,999
- completed:
hackage: monad-bayes-1.1.0@sha256:8929887b2883e553b928dcc9b1326171c87b6aa26f11800dc8c55b119a9e9649,6123
pantry-tree:
Expand Down Expand Up @@ -102,6 +102,20 @@ packages:
size: 2042
original:
hackage: linear-1.22
- completed:
hackage: monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
pantry-tree:
sha256: 5c2fed7fb93cdf87abdd56b0df7e5c03719110d6aa538bc903ed6a6357f21393
size: 792
original:
hackage: monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
- completed:
hackage: time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007
pantry-tree:
sha256: 9d0363b9fb0440fad439480ea21a584e124a2d61265e5d61c622ef95da6fca6e
size: 224
original:
hackage: time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007
snapshots:
- completed:
sha256: 428ec8d5ce932190d3cbe266b9eb3c175cd81e984babf876b64019e2cbe4ea68
Expand Down
2 changes: 1 addition & 1 deletion stack.9.0.2.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@ packages:
- rhine-bayes

extra-deps:
- time-domain-0.1.0.0@sha256:48146872e85f46399e8b8d7ff7c3d3b7f530e2de167b6893ba3ce649ba2e2e75,800
- terminal-0.2.0.0@sha256:de6770ecaae3197c66ac1f0db5a80cf5a5b1d3b64a66a05b50f442de5ad39570,2977
- monad-bayes-1.1.0@sha256:8929887b2883e553b928dcc9b1326171c87b6aa26f11800dc8c55b119a9e9649,6123
- brick-1.6@sha256:4a94b18be68d2d27da9e84eff7f8b4dc8bfa3a40d28d536fb737828d73a0e3eb,18899
Expand All @@ -18,6 +17,7 @@ extra-deps:
- dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
- simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
- monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
- time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007

nix:
packages:
Expand Down
1 change: 1 addition & 0 deletions stack.9.2.5.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ extra-deps:
- monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
- dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
- simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
- time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007

nix:
packages:
Expand Down
21 changes: 21 additions & 0 deletions stack.9.2.5.yaml.lock
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,27 @@ packages:
size: 3568
original:
hackage: monad-bayes-1.1.0@sha256:8929887b2883e553b928dcc9b1326171c87b6aa26f11800dc8c55b119a9e9649,6123
- completed:
hackage: monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
pantry-tree:
sha256: 5c2fed7fb93cdf87abdd56b0df7e5c03719110d6aa538bc903ed6a6357f21393
size: 792
original:
hackage: monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
- completed:
hackage: dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
pantry-tree:
sha256: 5435c0e0ccd848461ead40b59dd4c8dd7f36a010ed3f10c6795e0c52f8e614b4
size: 2172
original:
hackage: dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
- completed:
hackage: simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
pantry-tree:
sha256: 13dd2303e75c96fe2ea318d2e724005840211f4af44ba78da1886a16a4b0ec82
size: 696
original:
hackage: simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
snapshots:
- completed:
sha256: adbc602422dde10cc330175da7de8609e70afc41449a7e2d6e8b1827aa0e5008
Expand Down
1 change: 1 addition & 0 deletions stack.9.4.4.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ extra-deps:
- monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
- dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
- simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
- time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007

nix:
packages:
Expand Down
28 changes: 28 additions & 0 deletions stack.9.4.4.yaml.lock
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,34 @@ packages:
size: 1775
original:
hackage: terminal-0.2.0.0@sha256:de6770ecaae3197c66ac1f0db5a80cf5a5b1d3b64a66a05b50f442de5ad39570,2977
- completed:
hackage: monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
pantry-tree:
sha256: 5c2fed7fb93cdf87abdd56b0df7e5c03719110d6aa538bc903ed6a6357f21393
size: 792
original:
hackage: monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
- completed:
hackage: dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
pantry-tree:
sha256: 5435c0e0ccd848461ead40b59dd4c8dd7f36a010ed3f10c6795e0c52f8e614b4
size: 2172
original:
hackage: dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
- completed:
hackage: simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
pantry-tree:
sha256: 13dd2303e75c96fe2ea318d2e724005840211f4af44ba78da1886a16a4b0ec82
size: 696
original:
hackage: simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
- completed:
hackage: time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007
pantry-tree:
sha256: 9d0363b9fb0440fad439480ea21a584e124a2d61265e5d61c622ef95da6fca6e
size: 224
original:
hackage: time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007
snapshots:
- completed:
sha256: 1d25e3e0e2edb856951e8903821e0199a1112ab48b76c83f814e4f7596961e89
Expand Down

0 comments on commit 29f942d

Please sign in to comment.