Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4784 4785 4786 4787 4788 4789 4790 4791 4792 4793 4794 .. 5022
— 502,152 events total
2021-05-07 21:18:51 → zyga1 joins (~zyga@185.204.1.185)
2021-05-07 21:19:41 × jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-07 21:20:49 × knupfer quits (~Thunderbi@200116b82b63890044fc23d4c571cb42.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-05-07 21:21:41 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds)
2021-05-07 21:24:27 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-07 21:30:39 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-07 21:31:02 × fendor quits (~fendor@91.141.1.48.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-05-07 21:33:58 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
2021-05-07 21:34:15 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-07 21:36:12 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-07 21:39:03 × xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-07 21:41:31 → jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg)
2021-05-07 21:43:03 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-07 21:45:41 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
2021-05-07 21:45:57 × mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-07 21:46:00 × lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid)
2021-05-07 21:46:25 × danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer)
2021-05-07 21:46:49 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
2021-05-07 21:46:49 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-07 21:46:49 → mouseghost joins (~draco@wikipedia/desperek)
2021-05-07 21:46:52 → danso joins (~dan@23-233-111-52.cpe.pppoe.ca)
2021-05-07 21:47:33 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-07 21:48:05 → lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
2021-05-07 21:53:03 → machinedgod joins (~machinedg@24.105.81.50)
2021-05-07 21:53:13 → son0p joins (~ff@181.136.122.143)
2021-05-07 21:53:36 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-07 21:54:50 × tanuki quits (~quassel@173.168.178.1) (Ping timeout: 260 seconds)
2021-05-07 21:55:15 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:45dc:7be8:df7c:b953) (Ping timeout: 260 seconds)
2021-05-07 21:55:27 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-07 21:55:48 → tanuki joins (~quassel@173.168.178.1)
2021-05-07 21:56:19 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
2021-05-07 21:58:07 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-05-07 21:58:43 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-07 22:00:32 → Rudd0 joins (~Rudd0@185.189.115.108)
2021-05-07 22:06:27 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-07 22:13:01 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-07 22:13:59 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-07 22:14:45 → son0p joins (~ff@181.136.122.143)
2021-05-07 22:15:19 × ADG1089 quits (~aditya@27.58.164.109) (Quit: Konversation terminated!)
2021-05-07 22:15:47 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-07 22:18:07 → pavonia joins (~user@unaffiliated/siracusa)
2021-05-07 22:20:26 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 260 seconds)
2021-05-07 22:20:42 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-07 22:21:12 → corvusdev joins (~corvusdev@50.212.103.45)
2021-05-07 22:22:19 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2021-05-07 22:22:38 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-07 22:24:12 × michalz quits (~user@185.246.204.43) (Remote host closed the connection)
2021-05-07 22:26:08 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2021-05-07 22:26:10 → mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-07 22:26:52 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-07 22:27:11 × mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-07 22:27:35 → mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-07 22:30:18 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 22:30:49 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:b560:96a6:3577:528f)
2021-05-07 22:31:20 × machinedgod quits (~machinedg@24.105.81.50) (Quit: Lost terminal)
2021-05-07 22:31:43 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2021-05-07 22:31:59 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-07 22:34:59 → machinedgod joins (~machinedg@24.105.81.50)
2021-05-07 22:36:06 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-05-07 22:36:12 × slack1256 quits (~slack1256@200.112.86.100) (Ping timeout: 260 seconds)
2021-05-07 22:37:29 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f)
2021-05-07 22:38:11 × Guest89063 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds)
2021-05-07 22:40:38 → todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-07 22:41:10 × roconnor quits (~roconnor@host-23-91-186-24.dyn.295.ca) (Ping timeout: 268 seconds)
2021-05-07 22:41:59 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Ping timeout: 258 seconds)
2021-05-07 22:42:17 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-07 22:45:22 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-07 22:45:49 → roconnor joins (~roconnor@host-23-91-186-24.dyn.295.ca)
2021-05-07 22:46:55 × corvusdev quits (~corvusdev@50.212.103.45) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-07 22:46:57 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-07 22:47:23 → dolio joins (~dolio@haskell/developer/dolio)
2021-05-07 22:47:56 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-07 22:50:52 → seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-07 22:51:21 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-07 22:51:46 → Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-05-07 22:52:17 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-07 22:53:46 <seven_three> I am trying to make a quickcheck generator. `myGen = pure Constructor <*> oneof [pure 8, pure 9, pure 10] <*> lastGen; where lastGen :: Int -> Gen Int; lastGen n = chooseBoundedIntegral (0, n)`.
2021-05-07 22:53:50 <seven_three> Is there any way that I can pass the result of the middle `oneof` generator to lastGen
2021-05-07 22:54:28 <seven_three> To be clear I would like to pass 8,9,or 10 to `lastGen` depending on which choice is picked from the `oneof` call
2021-05-07 22:55:01 × zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-07 22:55:22 → zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-07 22:55:35 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
2021-05-07 22:55:46 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-07 22:55:54 × Codaraxis__ quits (~Codaraxis@92.223.89.164) (Ping timeout: 265 seconds)
2021-05-07 22:56:08 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-05-07 22:58:42 → apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-05-07 22:58:50 <seven_three> I thought of using liftIO instance to generate a random number and then wrapping that number into a Gen type but it seems that Gen does not derive MonadIO
2021-05-07 22:59:17 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-07 23:01:55 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-07 23:03:03 <lyxia> seven_three: Gen is a monad, so you can write do { x <- oneof [pure 8, pure 9, pure 10] ; y <- lastGen x ; pure (Constructor x y) }
2021-05-07 23:03:32 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-07 23:04:55 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-07 23:05:10 → son0p joins (~ff@181.136.122.143)
2021-05-07 23:05:11 <seven_three> oh I see. That works thank you. I was thinking I need a `Gen a -> a`, thats largely what monads are used for correct?
2021-05-07 23:05:40 <monochrom> Yes except you worded it wrong.
2021-05-07 23:06:13 <seven_three> how?
2021-05-07 23:06:37 <monochrom> "Gen a -> a" is the wrong wording.
2021-05-07 23:06:58 <seven_three> a -> Gen a?
2021-05-07 23:07:03 <monochrom> No.
2021-05-07 23:07:25 <monochrom> Either "Gen (Gen a) -> Gen a" or "Gen a -> (a -> Gen b) -> Gen b".
←Prev  Next→
Page 1 .. 4784 4785 4786 4787 4788 4789 4790 4791 4792 4793 4794 .. 5022

All times are in UTC.