Logs: freenode/#haskell
| 2021-03-31 12:15:16 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-03-31 12:15:21 | <ski> | @type (maybe mempty return =<<) |
| 2021-03-31 12:15:23 | <lambdabot> | (Monad m, Monoid (m b)) => m (Maybe b) -> m b |
| 2021-03-31 12:15:34 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-03-31 12:15:42 | <ski> | @type (maybe mzero return =<<) -- er, rather |
| 2021-03-31 12:15:43 | <lambdabot> | MonadPlus m => m (Maybe b) -> m b |
| 2021-03-31 12:15:45 | × | ubert quits (~Thunderbi@p200300ecdf25d9fde6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-03-31 12:15:47 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3823:8d85:637f:874d) |
| 2021-03-31 12:16:01 | <Yuu-chan> | @type (maybe empty return =<<) |
| 2021-03-31 12:16:02 | <lambdabot> | (Monad m, Alternative m) => m (Maybe b) -> m b |
| 2021-03-31 12:16:24 | → | ubert joins (~Thunderbi@p200300ecdf25d9fde6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-31 12:16:43 | × | rmk236 quits (~lcampos@2a02:908:3616:b100:96f1:d4a5:d139:4f48) (Quit: Leaving.) |
| 2021-03-31 12:17:54 | → | gorbelibove joins (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) |
| 2021-03-31 12:17:56 | <Yuu-chan> | ski thanks |
| 2021-03-31 12:18:03 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Remote host closed the connection) |
| 2021-03-31 12:18:03 | × | gorbelibove quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Remote host closed the connection) |
| 2021-03-31 12:18:03 | → | Benzi-Junior joins (~BenziJuni@dsl-149-67-143.hive.is) |
| 2021-03-31 12:18:28 | <ski> | it seems to me, with that problem formulation, you won't get around `Monad'. except for trivial solutions like `const empty' |
| 2021-03-31 12:18:58 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) |
| 2021-03-31 12:19:01 | <ski> | (`Maybe (f a) -> f a' would be another thing, of course) |
| 2021-03-31 12:19:18 | × | AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9) |
| 2021-03-31 12:19:37 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Remote host closed the connection) |
| 2021-03-31 12:19:56 | <Yuu-chan> | Monad constraint is fine |
| 2021-03-31 12:19:57 | → | AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 2021-03-31 12:20:12 | <ski> | you want the effects that the output action performs to depend on the result produced by the input action. that's dynamic sequencing, iow monads |
| 2021-03-31 12:20:36 | <Yuu-chan> | Yep, I understand now |
| 2021-03-31 12:20:50 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) |
| 2021-03-31 12:21:10 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Remote host closed the connection) |
| 2021-03-31 12:21:50 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) |
| 2021-03-31 12:22:02 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Remote host closed the connection) |
| 2021-03-31 12:24:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3823:8d85:637f:874d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-31 12:25:26 | × | jacob11 quits (~jacob1@185.163.110.108) (Remote host closed the connection) |
| 2021-03-31 12:27:26 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-31 12:28:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3823:8d85:637f:874d) |
| 2021-03-31 12:28:48 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-31 12:30:52 | × | Yuu-chan quits (bcaa545d@188.170.84.93) (Quit: Ping timeout (120 seconds)) |
| 2021-03-31 12:31:58 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection) |
| 2021-03-31 12:31:59 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-31 12:32:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-31 12:33:38 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3823:8d85:637f:874d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-31 12:33:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-31 12:33:57 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-03-31 12:37:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-31 12:38:08 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-03-31 12:40:03 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-03-31 12:41:24 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-31 12:42:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-31 12:43:03 | × | AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9) |
| 2021-03-31 12:44:08 | → | dpl_ joins (~dpl@77.121.78.163) |
| 2021-03-31 12:44:11 | × | dpl__ quits (~dpl@77.121.78.163) (Ping timeout: 260 seconds) |
| 2021-03-31 12:44:32 | → | rmk236 joins (~lcampos@ip-37-201-211-26.hsi13.unitymediagroup.de) |
| 2021-03-31 12:53:17 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-31 12:54:42 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-31 12:59:27 | <ph88^> | i am using vscode and haskell language server. I get a popup that GHC is not installed, but it is through stack. Anyone know how to make it work ? |
| 2021-03-31 13:03:30 | → | ddellacosta joins (~ddellacos@86.106.143.157) |
| 2021-03-31 13:03:46 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-31 13:04:13 | <maerwald> | I thought the plugin installs GHC for you |
| 2021-03-31 13:04:51 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 2021-03-31 13:07:04 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9549c1d5f2f7c60f6477.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-03-31 13:08:41 | × | ddellacosta quits (~ddellacos@86.106.143.157) (Ping timeout: 260 seconds) |
| 2021-03-31 13:08:53 | → | alx741 joins (~alx741@181.196.69.168) |
| 2021-03-31 13:09:52 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-31 13:10:06 | × | rmk236 quits (~lcampos@ip-37-201-211-26.hsi13.unitymediagroup.de) (Quit: Leaving.) |
| 2021-03-31 13:10:20 | → | bitmagie joins (~Thunderbi@200116b806372b00585283af1f69c7fb.dip.versatel-1u1.de) |
| 2021-03-31 13:10:35 | sajith_ | is now known as sajith |
| 2021-03-31 13:11:09 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-31 13:11:37 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-31 13:11:37 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-31 13:12:18 | <ph88^> | hhmm then something didnt go right there |
| 2021-03-31 13:12:27 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-31 13:15:04 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-03-31 13:16:34 | × | Sorna quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 260 seconds) |
| 2021-03-31 13:17:01 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-31 13:17:03 | → | carlomagno joins (~cararell@148.87.23.10) |
| 2021-03-31 13:17:16 | × | jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-31 13:17:25 | → | egwor joins (520bc907@cpc110777-lewi20-2-0-cust262.2-4.cable.virginm.net) |
| 2021-03-31 13:20:57 | → | grrandi joins (mlp@kapsi.fi) |
| 2021-03-31 13:21:08 | <egwor> | I'm trying to get to grips with cabal project layouts. Are there good example structures (along with the cabal project files) that are available to see? |
| 2021-03-31 13:22:58 | <maerwald> | egwor: the cabal project |
| 2021-03-31 13:24:40 | <merijn> | egwor: I mean, how much structure do you need? That mostly only becomes relevant when projects start hitting a certain size |
| 2021-03-31 13:24:49 | <merijn> | Doesn't seem much point in worrying about it too early on... |
| 2021-03-31 13:24:50 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-31 13:24:57 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-03-31 13:25:19 | <egwor> | I want to take some of my uni projects (very simple) and add tests/get them to build |
| 2021-03-31 13:25:53 | <egwor> | What I'd quite like is a single project for an exercise/practical and then a library or executable for each part of the practical |
| 2021-03-31 13:25:55 | <merijn> | egwor: I mean, the only extra structure you'd really need is "a test directory that has the tests"? :) |
| 2021-03-31 13:26:43 | <merijn> | egwor: 1 directory per executable and then either the library in src or just in the root of the directory? |
| 2021-03-31 13:29:53 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 2021-03-31 13:30:21 | <egwor> | I guess what I'm struggling with is that in app I have a Main.lhs. That refers to the Factor module, where I have my code. That sits inside src. To get that to compile, under the 'executable Factor' section I added a build-depends of Factor. |
| 2021-03-31 13:30:50 | <egwor> | I was a bit surprised that I needed to add an explicit 'build-depends' dependency on the Factor module |
| 2021-03-31 13:31:16 | <egwor> | so I assumed I'd some something wrong => hence the questions of whether there are some examples (with actual structure commited) |
| 2021-03-31 13:31:30 | → | glaceon joins (~glaceon@117.222.65.198) |
| 2021-03-31 13:32:05 | <merijn> | egwor: No, that's correct |
| 2021-03-31 13:32:33 | <egwor> | ahh, ok, thanks! |
| 2021-03-31 13:33:02 | <merijn> | egwor: The fact that your library and executable are in the same package doesn't (automatically) mean your executable uses/depends on that library |
| 2021-03-31 13:33:19 | × | xff0x quits (~xff0x@2001:1a81:52d9:7900:6b0c:e3df:c0c:8727) (Ping timeout: 245 seconds) |
| 2021-03-31 13:33:54 | <merijn> | egwor: A fact that seems strange in the current hackage version of "max 1 library per package", but cabal already supports multiple libraries per package (and hackage eventually will too), in which case not all executables necessarily depend on all libraries in the same package |
| 2021-03-31 13:34:26 | → | xff0x joins (~xff0x@2001:1a81:52d9:7900:a1dd:11c7:dd0c:6878) |
| 2021-03-31 13:34:29 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-03-31 13:34:35 | <egwor> | thanks, that's helpful. |
All times are in UTC.