Logs: liberachat/#haskell
| 2021-06-01 11:01:22 | <boxscape> | (though he has since said calling it "relevant" is a mistake, and it should be "erasable" and "non-erasable" instead of "irrelevant" and "relevant", but that's one of the dimensions we weren't talking about here, anyway) |
| 2021-06-01 11:01:24 | <dminuoso> | boxscape: Ah I see where my confusion comes from. |
| 2021-06-01 11:01:45 | → | thiross joins (~user@173.242.113.143.16clouds.com) |
| 2021-06-01 11:02:49 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 11:03:45 | → | yahb joins (xsbot@user/mniip/bot/yahb) |
| 2021-06-01 11:04:50 | <boxscape> | % :t Proxy |
| 2021-06-01 11:04:51 | <yahb> | boxscape: forall {k} {a :: k}. Proxy' a |
| 2021-06-01 11:04:58 | × | pera quits (~pera@user/pera) (Ping timeout: 264 seconds) |
| 2021-06-01 11:05:05 | → | pera joins (~pera@137.221.132.196) |
| 2021-06-01 11:05:19 | <boxscape> | % :q |
| 2021-06-01 11:05:19 | <yahb> | boxscape: |
| 2021-06-01 11:05:22 | <boxscape> | % :t Proxy |
| 2021-06-01 11:05:22 | <yahb> | boxscape: forall {k} {t :: k}. Proxy t |
| 2021-06-01 11:05:28 | pera | is now known as Guest5645 |
| 2021-06-01 11:05:39 | × | haskman quits (~haskman@171.48.41.1) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-01 11:05:46 | × | megaTherion quits (~therion@unix.io) (*.net *.split) |
| 2021-06-01 11:05:47 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2021-06-01 11:06:22 | × | shryke quits (~shryke@91.103.43.254) (Ping timeout: 268 seconds) |
| 2021-06-01 11:06:39 | → | haskman joins (~haskman@171.48.41.1) |
| 2021-06-01 11:07:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Ping timeout: 268 seconds) |
| 2021-06-01 11:09:17 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-01 11:11:23 | → | megaTherion joins (~therion@unix.io) |
| 2021-06-01 11:11:23 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-06-01 11:11:29 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-01 11:11:45 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Client Quit) |
| 2021-06-01 11:11:52 | <boxscape> | % toDyn (MkC 53 :: C Int) |
| 2021-06-01 11:11:52 | <yahb> | boxscape: ; <interactive>:5:1: error:; * No instance for (Typeable <>) arising from a use of `toDyn'; * In the expression: toDyn (MkC 53 :: C Int); In an equation for `it': it = toDyn (MkC 53 :: C Int) |
| 2021-06-01 11:11:54 | <boxscape> | what? |
| 2021-06-01 11:11:55 | × | Guest5645 quits (~pera@137.221.132.196) (Ping timeout: 268 seconds) |
| 2021-06-01 11:11:57 | <boxscape> | what is <> |
| 2021-06-01 11:12:07 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-01 11:12:18 | <dminuoso> | % :t toDyn |
| 2021-06-01 11:12:18 | <yahb> | dminuoso: Typeable a => a -> Dynamic |
| 2021-06-01 11:13:40 | <dminuoso> | % :t MkC |
| 2021-06-01 11:13:40 | <yahb> | dminuoso: forall {a} {ev :: a ~ Int}. a -> C a |
| 2021-06-01 11:14:11 | <lortabac> | is there a way to get the list of all the dependencies of a project (including the transitive ones)? |
| 2021-06-01 11:14:22 | <dminuoso> | lortabac: cabal-plan |
| 2021-06-01 11:14:44 | <lortabac> | is it a separate executable that I need to install? |
| 2021-06-01 11:14:57 | <dminuoso> | Yeah, you can install it with `cabal install cabal-plan` if you like |
| 2021-06-01 11:15:14 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-06-01 11:15:17 | <lortabac> | ok thanks |
| 2021-06-01 11:17:02 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-01 11:17:02 | <dminuoso> | lortabac: Alternatively you can jq into dist-newstyle/cache/plan.json (cabal-plan is also just an interface for that file) |
| 2021-06-01 11:17:28 | <lortabac> | apparently cabal-plan can generate dot files, it seems worth installing |
| 2021-06-01 11:17:40 | <dminuoso> | Indeed, it can also do transitive reduction, which might be useful to you |
| 2021-06-01 11:18:43 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 268 seconds) |
| 2021-06-01 11:19:04 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-06-01 11:19:06 | → | bhrgunatha joins (~bhrgunath@2001-b011-8011-18ad-e68c-7ce2-e7ef-f120.dynamic-ip6.hinet.net) |
| 2021-06-01 11:19:20 | × | megaTherion quits (~therion@unix.io) (Ping timeout: 268 seconds) |
| 2021-06-01 11:19:29 | → | megaTherion joins (~therion@unix.io) |
| 2021-06-01 11:21:14 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-01 11:22:59 | × | bhrgunatha quits (~bhrgunath@2001-b011-8011-18ad-e68c-7ce2-e7ef-f120.dynamic-ip6.hinet.net) (Client Quit) |
| 2021-06-01 11:25:09 | → | shryke joins (~shryke@91.103.43.254) |
| 2021-06-01 11:25:18 | ← | lieuwex parts (~lieuwelie@2001:470:69fc:105::4e6) () |
| 2021-06-01 11:30:42 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-01 11:32:27 | × | Guest31 quits (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-01 11:34:26 | × | slep quits (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-01 11:34:35 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-06-01 11:34:56 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-01 11:36:29 | → | keutoi joins (~keutoi@157.48.91.62) |
| 2021-06-01 11:36:41 | → | slep joins (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
| 2021-06-01 11:37:52 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-06-01 11:42:30 | × | xsperry quits (~as@user/xsperry) (Read error: Connection reset by peer) |
| 2021-06-01 11:42:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-01 11:44:36 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-06-01 11:44:46 | × | wanagnuj quits (~wanagnuj@101.95.97.158) (Quit: wanagnuj) |
| 2021-06-01 11:46:21 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-01 11:46:31 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-06-01 11:46:59 | <thiross> | % :t flip |
| 2021-06-01 11:46:59 | <yahb> | thiross: (a -> b -> c) -> b -> a -> c |
| 2021-06-01 11:48:18 | × | shailangsa quits (~shailangs@host165-120-169-73.range165-120.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2021-06-01 11:50:38 | → | mattil joins (~mattil@airio.portalify.com) |
| 2021-06-01 11:51:07 | × | eightball quits (~eight@86.106.121.164) (Quit: Leaving) |
| 2021-06-01 11:51:16 | → | smitop joins (uid328768@user/smitop) |
| 2021-06-01 11:51:23 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 268 seconds) |
| 2021-06-01 11:52:11 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-01 11:52:56 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 265 seconds) |
| 2021-06-01 11:55:23 | → | shiraeeshi joins (~shiraeesh@109.166.57.115) |
| 2021-06-01 11:58:32 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-01 12:00:37 | ← | japh parts (~scp1@user/japh) () |
| 2021-06-01 12:03:40 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-06-01 12:03:40 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-01 12:03:40 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-01 12:04:04 | → | Toast52_ joins (~Toast52@151.192.167.120) |
| 2021-06-01 12:04:23 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds) |
| 2021-06-01 12:04:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-06-01 12:06:35 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-01 12:07:45 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-01 12:08:15 | × | Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 272 seconds) |
| 2021-06-01 12:09:20 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-06-01 12:13:10 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-01 12:18:54 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds) |
| 2021-06-01 12:18:55 | × | azeem quits (~azeem@dynamic-adsl-78-13-240-225.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-01 12:18:59 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Remote host closed the connection) |
| 2021-06-01 12:20:37 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-01 12:20:46 | → | shailangsa joins (~shailangs@host165-120-169-73.range165-120.btcentralplus.com) |
| 2021-06-01 12:20:48 | → | azeem joins (~azeem@dynamic-adsl-78-13-240-225.clienti.tiscali.it) |
| 2021-06-01 12:27:37 | → | river joins (~river@tilde.team/user/river) |
| 2021-06-01 12:33:40 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-01 12:43:47 | → | bor0 joins (~boro@user/bor0) |
All times are in UTC.