Logs: freenode/#haskell
| 2021-04-10 18:20:48 | → | d34df00d joins (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net) |
| 2021-04-10 18:20:51 | <d34df00d> | Hi! |
| 2021-04-10 18:21:00 | <maerwald> | your best bet is to look at reverse dependencies and check their git log |
| 2021-04-10 18:21:26 | <maerwald> | https://packdeps.haskellers.com/reverse/network |
| 2021-04-10 18:21:37 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 18:21:50 | → | roconnor joins (~roconnor@host-45-78-241-236.dyn.295.ca) |
| 2021-04-10 18:21:54 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 18:22:07 | <d34df00d> | Let's say I want to write a function that has two effects: modifying a state carrying a BitVec and possibly failing to produce a value of type Word16. |
| 2021-04-10 18:22:12 | <maerwald> | but digging that up might take more time than studying the new API |
| 2021-04-10 18:22:24 | <d34df00d> | What's the best way to nicely express in types that the state modification happens only if the value has been produced? |
| 2021-04-10 18:22:52 | <d34df00d> | `(MonadState BitVec m, Alternative m) => m Word16` (or MonadFail instead of Alternative, etc) doesn't say that. |
| 2021-04-10 18:23:40 | <d34df00d> | I could probably write (MonadState BitVec m, Alternative f) => f (m Word16), but that looks kinda strange. |
| 2021-04-10 18:24:10 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-04-10 18:25:24 | <Lycurgus> | migration guides are part of the culture of ease |
| 2021-04-10 18:25:41 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-04-10 18:25:54 | <Lycurgus> | and accomodation. hs is teH hard |
| 2021-04-10 18:26:19 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-04-10 18:26:26 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-04-10 18:26:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-10 18:27:00 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-10 18:27:05 | <Lycurgus> | suggested adaptation: consider the bar raised |
| 2021-04-10 18:28:25 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-10 18:30:47 | <nut> | https://pastebin.com/jHrM629y |
| 2021-04-10 18:31:03 | <nut> | Could anyone check why my test suite only runs one single test? |
| 2021-04-10 18:31:16 | <nut> | This is the first time i use quickcheck and hspec |
| 2021-04-10 18:31:57 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-10 18:32:07 | <maerwald> | Lycurgus: what? :D |
| 2021-04-10 18:32:48 | <Lycurgus> | maerwald, say what one more time;nut, what did you expect? |
| 2021-04-10 18:32:54 | <DigitalKiwi> | sometimes i wonder why some of you are even here |
| 2021-04-10 18:33:31 | × | Digit quits (~user@fsf/member/digit) (Ping timeout: 246 seconds) |
| 2021-04-10 18:33:35 | <nut> | Lycurgus: I thought by default it generate 100 random strings to my functions |
| 2021-04-10 18:33:54 | <nut> | Lycurgus: what I saw after running cabal test, it pass only one test |
| 2021-04-10 18:34:11 | <nut> | 1 of 1 test suites (1 of 1 test cases) passed. |
| 2021-04-10 18:34:21 | <DigitalKiwi> | wow pastebin.com has gotten far worse than i remember |
| 2021-04-10 18:34:23 | <maerwald> | cabal test is annoying, because it hides output |
| 2021-04-10 18:34:29 | <maerwald> | run the test binary directly |
| 2021-04-10 18:34:48 | <nut> | how to run the test binary? |
| 2021-04-10 18:34:51 | <Lycurgus> | disappointed quickcheck expectations is a common trope here |
| 2021-04-10 18:35:25 | <maerwald> | nut: cabal run test-suite -- sometime works |
| 2021-04-10 18:35:25 | <Lycurgus> | ahead of exception handling I think |
| 2021-04-10 18:35:38 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-10 18:36:12 | <sclv> | i run the binary directly just by running the compiled executable in new-dist/... |
| 2021-04-10 18:36:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-10 18:37:17 | <nut> | maerwald: it works but still runs only 1 example |
| 2021-04-10 18:37:46 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 2021-04-10 18:38:24 | <nut> | How to make hspec/quickcheck generate more random tests? |
| 2021-04-10 18:39:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-10 18:40:42 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-10 18:41:14 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-10 18:41:18 | <maerwald> | cabal run test-suite -- --help |
| 2021-04-10 18:41:41 | × | darjeeling_ quits (~darjeelin@122.245.210.109) (Ping timeout: 240 seconds) |
| 2021-04-10 18:42:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-10 18:42:48 | → | kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-10 18:43:23 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2021-04-10 18:43:56 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-10 18:44:16 | <nut> | cabal run test-quickcheck -- -a 10 |
| 2021-04-10 18:44:21 | <nut> | but still only one test |
| 2021-04-10 18:44:25 | <nut> | maerwald: |
| 2021-04-10 18:44:37 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-10 18:44:38 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 2021-04-10 18:44:55 | <nut> | sorry |
| 2021-04-10 18:44:58 | <maerwald> | well, how many tests did you write |
| 2021-04-10 18:45:00 | <maerwald> | :D |
| 2021-04-10 18:45:01 | <nut> | maerwald: sorry it worked |
| 2021-04-10 18:45:09 | <nut> | thanks a lot! |
| 2021-04-10 18:45:10 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-10 18:46:19 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-10 18:47:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-10 18:48:31 | → | malumore_ joins (~malumore@151.62.113.35) |
| 2021-04-10 18:49:01 | → | myme joins (~myme@li1406-121.members.linode.com) |
| 2021-04-10 18:49:42 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-jlhhtexfnehtahxg) |
| 2021-04-10 18:49:57 | × | myme quits (~myme@li1406-121.members.linode.com) (Client Quit) |
| 2021-04-10 18:50:01 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-10 18:50:14 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-10 18:50:15 | → | myme joins (~myme@li1406-121.members.linode.com) |
| 2021-04-10 18:52:18 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-10 18:52:50 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-10 18:53:15 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-10 18:53:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) |
| 2021-04-10 18:54:02 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-10 18:54:37 | <hololeap> | d34df00d: doesn't MonadState already say that? if `s` hasn't been produced, how can `s -> m (a, s)` be called? |
| 2021-04-10 18:54:43 | → | darjeeling_ joins (~darjeelin@122.245.120.156) |
| 2021-04-10 18:55:31 | <d34df00d> | hololeap: the problem here is on the returned value (on the `a`, basically). |
| 2021-04-10 18:55:55 | <d34df00d> | I want to differentiate between s -> (Maybe a, s) and Maybe (s -> (a, s)) |
| 2021-04-10 18:56:21 | <d34df00d> | I guess both are instances of `MonadState s m, Alternative m => m a` |
| 2021-04-10 18:56:43 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) (Client Quit) |
| 2021-04-10 18:57:18 | <hololeap> | MonadState s m => MaybeT m a -- ? |
| 2021-04-10 18:57:47 | <d34df00d> | Hmm. |
| 2021-04-10 18:57:51 | <d34df00d> | That might work, I guess. |
| 2021-04-10 18:57:55 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-10 18:58:12 | <d34df00d> | Yea, that looks reasonable, thanks! |
| 2021-04-10 18:58:15 | <myme> | I'm wondering how, if possible, to define an option using optparse-applicative which is optional on two levels: It doesn't have to be present (so use `optional`), and if it's present, you don't have to provide it with a value (using e.g. defaults). Ex: `bin [--option [value]]` |
| 2021-04-10 18:58:32 | <hololeap> | that expands to `s -> m (Maybe a, s)` |
| 2021-04-10 18:58:35 | <hololeap> | np |
| 2021-04-10 18:58:48 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) |
| 2021-04-10 18:59:29 | <d34df00d> | On a somewhat related note, can I do better than myFoo = state $ \st -> runST $ flip runStateT st $ runMaybeT $ do ... ? |
| 2021-04-10 18:59:43 | <d34df00d> | All those runStateT and runMaybeT just to allow for runST look a bit ugly, IMO. |
| 2021-04-10 19:02:03 | × | geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 240 seconds) |
| 2021-04-10 19:02:27 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-04-10 19:03:47 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
All times are in UTC.