Logs: freenode/#haskell
| 2021-05-17 03:37:03 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-17 03:38:58 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:bc:57f7:8c4d:37b8) |
| 2021-05-17 03:39:30 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-17 03:40:42 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-17 03:41:45 | <boxscape> | I'm reasonably sure that this isn't the fastest implementation due to the length call https://paste.tomsmeding.com/5uOrS3bT |
| 2021-05-17 03:41:55 | <boxscape> | but it's something I guess |
| 2021-05-17 03:42:39 | <boxscape> | I guess it might be worse than splitAt variants though... |
| 2021-05-17 03:43:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:bc:57f7:8c4d:37b8) (Ping timeout: 245 seconds) |
| 2021-05-17 03:43:19 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-17 03:47:58 | × | boxscape quits (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-17 03:48:19 | × | patlv quits (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-17 03:48:45 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-17 03:52:13 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-17 03:53:18 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 03:59:01 | <a6a45081-2b83> | how to embed the state monad inside another monad using stateT? will I have to add lift everywhere? |
| 2021-05-17 04:00:33 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 04:00:46 | <davean> | if your operations are based on class, no. But otherwise maybe |
| 2021-05-17 04:00:51 | <monochrom> | That's a very broad question so I have a very broad answer. Just take a look at any StateT tutorial? They have examples. |
| 2021-05-17 04:01:06 | <Axman6> | containsAll [] _ = True; containsAll (needle:needles) haystack = case T.breakOn needle haystack of (_,"") -> False; (_,rest) -> containsAll needles (T.drop (T.length needle) rest) |
| 2021-05-17 04:01:34 | <a6a45081-2b83> | monochrom: looking at https://wiki.haskell.org/Simple_StateT_use, brb |
| 2021-05-17 04:01:54 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-vunmjolaodtynkaq) (Quit: Connection closed for inactivity) |
| 2021-05-17 04:05:08 | → | ddellacosta joins (~ddellacos@86.106.143.139) |
| 2021-05-17 04:07:24 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-17 04:08:43 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-17 04:09:06 | <a6a45081-2b83> | ok so I have a ReaderT monad wrapping an IO monad. I want to wrap this with a stateT monad, which lift operations do I need? |
| 2021-05-17 04:09:12 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-17 04:09:49 | × | ddellacosta quits (~ddellacos@86.106.143.139) (Ping timeout: 260 seconds) |
| 2021-05-17 04:10:15 | × | xcmw quits (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 04:14:12 | <aVikingTrex> | a6a45081-2b83: what about RWS monad? |
| 2021-05-17 04:18:57 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-17 04:19:19 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-17 04:19:50 | <a6a45081-2b83> | what is that? |
| 2021-05-17 04:20:07 | <a6a45081-2b83> | let me look that up |
| 2021-05-17 04:20:29 | <aVikingTrex> | Its a transformer that handles Reader, Writer and State |
| 2021-05-17 04:20:39 | <aVikingTrex> | https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-RWS-CPS.html#g:1 |
| 2021-05-17 04:20:58 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 04:22:44 | → | ania123 joins (5e89ad7c@94.137.173.124) |
| 2021-05-17 04:25:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 04:27:11 | × | Lucci0 quits (~Lucci0@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2021-05-17 04:28:27 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-17 04:30:45 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-05-17 04:32:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 04:33:16 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 2021-05-17 04:35:19 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-05-17 04:35:37 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-17 04:36:03 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) |
| 2021-05-17 04:37:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 04:38:02 | × | drbean_ quits (~drbean@TC210-63-209-71.static.apol.com.tw) (Ping timeout: 252 seconds) |
| 2021-05-17 04:40:29 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) (Ping timeout: 250 seconds) |
| 2021-05-17 04:41:41 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-17 04:43:46 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 04:45:36 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 04:47:27 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-17 04:48:50 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 04:49:26 | → | drbean_ joins (~drbean@TC210-63-209-25.static.apol.com.tw) |
| 2021-05-17 04:50:25 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-17 04:54:13 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 04:54:30 | × | ania123 quits (5e89ad7c@94.137.173.124) (Quit: Connection closed) |
| 2021-05-17 04:55:13 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Quit: Leaving) |
| 2021-05-17 04:56:35 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 2021-05-17 05:05:54 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 252 seconds) |
| 2021-05-17 05:06:52 | → | libertyprime joins (~libertypr@118.149.80.101) |
| 2021-05-17 05:08:22 | × | alx741 quits (~alx741@186.178.108.105) (Quit: alx741) |
| 2021-05-17 05:12:01 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-17 05:12:03 | <libertyprime> | haskell tooling makes me want to tear my hair out sometimes. how to set a different rc file for ghci when there is only the option -ignore-dot-ghci to disable it? .ghci should be called .ghcirc because its name makes it appear like it could be a directory. what happens when you combine -ghci-script with -ignore-dot-ghci? the man page will keep you guessing. why does it use -ignore-dot-ghci instead |
| 2021-05-17 05:12:09 | <libertyprime> | of --ignore-dot-ghci. double dash is ... |
| 2021-05-17 05:12:11 | <libertyprime> | ... standard. etc. it makes me feel unwell to use haskell tooling sometimes |
| 2021-05-17 05:12:14 | <libertyprime> | ^^ rant. sorry |
| 2021-05-17 05:12:30 | × | a6a45081-2b83 quits (~aditya@171.76.17.86) (Remote host closed the connection) |
| 2021-05-17 05:13:47 | <libertyprime> | actually. im sorry for raging here. that type of conversation belongs in a reddit or a blog post. |
| 2021-05-17 05:13:49 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-17 05:15:02 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 05:15:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 05:18:47 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 2021-05-17 05:18:50 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-17 05:19:14 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-17 05:19:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-17 05:21:39 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
| 2021-05-17 05:22:12 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 05:22:34 | <mniip> | libertyprime, there is only one ghc option that uses a double dash |
| 2021-05-17 05:22:40 | <mniip> | everything else is consistently single dash |
| 2021-05-17 05:22:58 | <mniip> | well ok maybe not one |
| 2021-05-17 05:23:19 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 245 seconds) |
| 2021-05-17 05:23:31 | <mniip> | double-dashed options generally tell ghc to do something else other than compile a file |
| 2021-05-17 05:23:46 | <mniip> | be it --help, or --show-iface |
| 2021-05-17 05:23:56 | → | domini joins (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f) |
| 2021-05-17 05:24:15 | × | domini quits (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f) (Remote host closed the connection) |
| 2021-05-17 05:24:19 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 05:24:24 | → | ozzymcduff joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 05:25:09 | × | dustinm quits (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-05-17 05:29:14 | → | plutoniix joins (~q@ppp-58-8-148-189.revip2.asianet.co.th) |
| 2021-05-17 05:29:36 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-05-17 05:30:54 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-05-17 05:32:42 | → | alexander joins (~alexander@2a02:587:dc19:ab00:49f:5b0e:f658:23e8) |
| 2021-05-17 05:33:10 | alexander | is now known as Guest37858 |
| 2021-05-17 05:36:07 | → | dustinm joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-05-17 05:45:24 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 245 seconds) |
| 2021-05-17 05:45:25 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-17 05:46:58 | × | pav5088 quits (~pav5088@138.199.47.158) (Remote host closed the connection) |
| 2021-05-17 05:47:03 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
All times are in UTC.