Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 199 200 201 202 203 204 205 206 207 208 209 .. 5022
— 502,152 events total
2020-09-25 11:52:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-25 11:53:31 <dminuoso> maerwald: You can write monads yourself too.
2020-09-25 11:53:48 <phadej> fendor: yes, look at semigroups Data.Semigroup.Generic
2020-09-25 11:54:10 <fendor> phadej, thanks!
2020-09-25 11:54:14 <dminuoso> fendor: generic-deriving has the facilities
2020-09-25 11:54:26 <[exa]> dminuoso: i said it's "solved" :]
2020-09-25 11:54:33 <maerwald> dminuoso: yes, you can write transformers yourself
2020-09-25 11:54:34 <dminuoso> heh fair
2020-09-25 11:55:16 <maerwald> but you don't seem to want to disclose what you're doing, so I'm not gonna pull it out of your nose :p
2020-09-25 11:55:27 <dminuoso> maerwald: A transformer is a higher order utility to transform monads into monads. If I just create a data type myself, Im not using any transformer, am IO?
2020-09-25 11:55:53 <dminuoso> Oh hah. That muscle memory tricked me into writing IO.
2020-09-25 11:56:32 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 11:57:57 <maerwald> dminuoso: you're writing an instance of MonadIO? Then you have a transformer
2020-09-25 11:59:17 <dminuoso> maerwald: `ReaderT e` is a transformer. Neither the type `ReaderT Env IO`, nor a type isomorphic to `ReaderT Env IO` is a transformer.
2020-09-25 11:59:23 → brewmarche joins (~brewmarch@2001:a61:2baa:3c01:21f7:ab4a:9163:f6e0)
2020-09-25 11:59:44 <maerwald> "Instances should satisfy the following laws, which state that liftIO is a transformer of monads"
2020-09-25 12:00:01 × justmay1 quits (~justmay@178.239.168.171) ()
2020-09-25 12:01:10 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-25 12:01:24 <dminuoso> Is that not rather a monad homomorphism?
2020-09-25 12:02:03 <dminuoso> The documentation seems just a bit off
2020-09-25 12:03:01 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-25 12:06:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 12:07:25 → toorevitimirp joins (~tooreviti@117.182.182.201)
2020-09-25 12:08:26 → urodna joins (~urodna@unaffiliated/urodna)
2020-09-25 12:09:15 → sand_dull joins (~theuser@62.182.99.37)
2020-09-25 12:09:28 × John20 quits (~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-09-25 12:10:16 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-09-25 12:11:32 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-25 12:12:58 → shad0w_ joins (~shad0w_@160.202.37.157)
2020-09-25 12:13:04 → Erato joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-25 12:15:15 <AWizzArd> I am using the nix-shell to produce a development environment. But it’s only a thin layer, I still rely on my OS offering tools. So my shell is not --pure and I expect that for example Emacs is available.
2020-09-25 12:15:19 <AWizzArd> At some point though I want to use Nix (not necessarily its shell) to produce a Docker image for me.
2020-09-25 12:15:23 <AWizzArd> Now I want to use SSL and will need cacerts in the resulting docker images. In an Ubuntu-based Dockerfile I would apt install ca-certificates.
2020-09-25 12:15:27 <AWizzArd> So I will have to teach Nix that the standard certs are a dependency for my app. Doesn’t that mean that those certs will *also* be available in my nix-shell?
2020-09-25 12:16:24 → st8less joins (~st8less@2603:a060:11fe:0:b0dd:9d1b:8825:d363)
2020-09-25 12:16:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 12:19:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 12:20:41 → The20YearIRCloud joins (~The20Year@185.163.110.116)
2020-09-25 12:21:15 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-25 12:22:00 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-fwqmglpbkrhstmiw) (Quit: Connection closed for inactivity)
2020-09-25 12:24:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-25 12:25:01 × Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 246 seconds)
2020-09-25 12:25:27 × The20YearIRCloud quits (~The20Year@185.163.110.116) (Remote host closed the connection)
2020-09-25 12:25:46 × solonarv quits (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Quit: Lost terminal)
2020-09-25 12:26:39 hekkaidekapus_ is now known as hekkaidekapus
2020-09-25 12:26:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 12:27:39 → solonarv joins (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr)
2020-09-25 12:27:45 → kuribas joins (~user@ptr-25vy0i80qh4go15t39e.18120a2.ip6.access.telenet.be)
2020-09-25 12:28:33 → ruffianeo joins (~ruffianeo@p200300e5271f09cf8b4d140a1c554ebc.dip0.t-ipconnect.de)
2020-09-25 12:28:52 <kuribas> how do I add a package in a ghci session?
2020-09-25 12:29:25 <hekkaidekapus> :set -package
2020-09-25 12:30:05 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-09-25 12:30:18 <maerwald> AWizzArd: there's a nixos channel
2020-09-25 12:30:46 <AWizzArd> maerwald: and this is where I just repeated/reframed this question :)
2020-09-25 12:30:56 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 272 seconds)
2020-09-25 12:31:10 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-25 12:31:35 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-25 12:31:36 <AWizzArd> maerwald: tho I also would like to hear/read inputs of other Haskellers about how they work with Nix. Is that style "correct"? Do you specify the deps you need, run a nix-shell and from IT then start your ide?
2020-09-25 12:31:37 <kuribas> hekkaidekapus: thanks, that works :)
2020-09-25 12:31:53 <hekkaidekapus> o/
2020-09-25 12:31:59 → Mcdukc joins (~oleg@90.255.27.8)
2020-09-25 12:32:40 → oxide joins (~lambda@unaffiliated/mclaren)
2020-09-25 12:33:38 × sand_dull quits (~theuser@62.182.99.37) (Ping timeout: 256 seconds)
2020-09-25 12:33:47 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-25 12:34:37 → ahri joins (~ahri@178.209.40.84)
2020-09-25 12:34:38 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-25 12:36:59 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 12:41:37 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-25 12:43:28 × coot quits (~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-25 12:45:25 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 240 seconds)
2020-09-25 12:46:22 × AWizzArd quits (~code@unaffiliated/awizzard) (Ping timeout: 246 seconds)
2020-09-25 12:47:09 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 12:47:51 × brewmarche quits (~brewmarch@2001:a61:2baa:3c01:21f7:ab4a:9163:f6e0) (Quit: Leaving)
2020-09-25 12:47:57 hackage phonetic-languages-ukrainian 0.2.2.0 - Prepares Ukrainian text to be used as a phonetic language text https://hackage.haskell.org/package/phonetic-languages-ukrainian-0.2.2.0 (OleksandrZhabenko)
2020-09-25 12:51:49 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-25 12:53:53 → Saten-san joins (~Saten-san@ip-62-235-73-121.dsl.scarlet.be)
2020-09-25 12:54:33 <Unhammer> anyone using IHP here? I don't understand how to do a nested Include/fetchRelated
2020-09-25 12:55:05 × jespada quits (~jespada@90.254.241.6) (Ping timeout: 265 seconds)
2020-09-25 12:55:38 → John20 joins (~John@82.46.59.122)
2020-09-25 12:56:04 <Unhammer> say, in the First Project guide you wanted to add post categories, but show comments on the category index page – can one do something like `Include "comments" (Include "posts" Category)` ?
2020-09-25 12:56:19 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-ppgacbnpjvcoyxiy)
2020-09-25 12:57:24 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 12:57:27 → jespada joins (~jespada@90.254.241.6)
2020-09-25 12:59:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 13:00:01 → cosimone_ joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-09-25 13:00:27 hackage uniqueness-periods-vector-examples 0.6.1.0 - Examples of usage for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.6.1.0 (OleksandrZhabenko)
2020-09-25 13:01:51 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-25 13:02:20 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 265 seconds)
2020-09-25 13:03:23 → cpressey joins (~cpressey@79-72-202-6.dynamic.dsl.as9105.com)
2020-09-25 13:04:04 × toorevitimirp quits (~tooreviti@117.182.182.201) (Ping timeout: 260 seconds)
2020-09-25 13:07:13 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-25 13:07:29 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 13:10:12 <maerwald> is there an easy way to programmatically figure out if a package is on hackage? (preferably via the local index)
2020-09-25 13:10:23 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-09-25 13:12:09 <Unhammer> hm, was easier to just define my own view type, e.g. a single category page is
2020-09-25 13:12:11 <Unhammer> data ShowView = ShowView { posts :: [Include "comments" Post], title :: Text }
2020-09-25 13:12:13 <Unhammer> and manually make that in ShowCategoryAction
2020-09-25 13:12:14 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-25 13:12:29 → bitmagie joins (~Thunderbi@200116b8065d560030e19c72082b8700.dip.versatel-1u1.de)
2020-09-25 13:13:37 <fendor> maerwald, there is hackage-index https://github.com/haskell-hvr/hackage-index, I *think* that used a local index.
←Prev  Next→
Page 1 .. 199 200 201 202 203 204 205 206 207 208 209 .. 5022

All times are in UTC.