2014-09-08 10:03:11 +0000folone(~folone@145.253.129.220)
2014-09-08 10:06:26 +0000keeweecdr(~keeweecdr@221.119.150.203.sta.inet.co.th)
2014-09-08 10:08:07 +0000JohnFord(~jofo@50-13-230-40.gar.clearwire-wmx.net)
2014-09-08 10:11:58 +0000dkristian(~dkristian@c110-23-26-175.rochd7.qld.optusnet.com.au) (Quit: dkristian)
2014-09-08 10:12:34 +0000JohnFord(~jofo@50-13-230-40.gar.clearwire-wmx.net) (Ping timeout: 252 seconds)
2014-09-08 10:27:42 +0000 <keeweecdr> if I have a : Option[NonEmptyList[X]] and b of the same type, and I want to return None IFF both a and b are None or else return Some[NonEmptyList[X]] where the nel is either the one from a (if b is None) or the one from b (if a is None) or the combined nel if both a and b are Some, I assume there is a dead simple piece of magic to achieve this in the library already?
2014-09-08 10:32:24 +0000gpamparagpampara_off
2014-09-08 10:32:59 +0000ryanlecompte(~ryanlecom@2602:306:b8e2:51d0:21f8:ce99:a40a:5bf0) (Ping timeout: 272 seconds)
2014-09-08 10:33:42 +0000 <larsrh> keeweecdr: |+| should do the trick
2014-09-08 10:33:54 +0000 <larsrh> ! val a = NonEmptyList(1).some
2014-09-08 10:33:58 +0000 <multibot_> a: Option[scalaz.NonEmptyList[Int]] = Some(NonEmptyList(1))
2014-09-08 10:34:00 +0000 <larsrh> ! val b = NonEmptyList(2).some
2014-09-08 10:34:01 +0000 <multibot_> b: Option[scalaz.NonEmptyList[Int]] = Some(NonEmptyList(2))
2014-09-08 10:34:03 +0000 <larsrh> ! a |+| b
2014-09-08 10:34:04 +0000 <multibot_> Option[scalaz.NonEmptyList[Int]] = Some(NonEmptyList(1, 2))
2014-09-08 10:34:24 +0000 <larsrh> ! val a = none[NonEmptyList[Int]]
2014-09-08 10:34:25 +0000 <multibot_> a: Option[scalaz.NonEmptyList[Int]] = None
2014-09-08 10:34:27 +0000 <larsrh> ! a |+| b
2014-09-08 10:34:27 +0000 <multibot_> Option[scalaz.NonEmptyList[Int]] = Some(NonEmptyList(2))
2014-09-08 10:37:05 +0000folone(~folone@145.253.129.220) (Read error: Connection reset by peer)
2014-09-08 10:37:32 +0000eizodo(51c21b9c@gateway/web/freenode/ip.81.194.27.156)
2014-09-08 10:39:38 +0000folone(~folone@145.253.129.220)
2014-09-08 10:49:52 +0000folone(~folone@145.253.129.220) (Remote host closed the connection)
2014-09-08 10:50:37 +0000dubsg(~dubsg@2601:9:5900:425:e485:135f:ac1e:e91a)
2014-09-08 10:51:02 +0000mizu_no_oto(~textual@c-76-24-18-193.hsd1.ma.comcast.net)
2014-09-08 10:51:02 +0000folone(~folone@145.253.129.220)
2014-09-08 10:55:47 +0000dubsg(~dubsg@2601:9:5900:425:e485:135f:ac1e:e91a) (Ping timeout: 272 seconds)
2014-09-08 10:55:57 +0000folone(~folone@145.253.129.220) (Ping timeout: 260 seconds)
2014-09-08 10:57:33 +0000dibblego(~nobody@14-202-76-73.static.tpgi.com.au)
2014-09-08 10:58:47 +0000gpampara_offgpampara
2014-09-08 10:59:14 +0000mizu_no_oto(~textual@c-76-24-18-193.hsd1.ma.comcast.net) (Quit: Computer has gone to sleep.)
2014-09-08 11:06:10 +0000aloiscochard(uid2076@gateway/web/irccloud.com/x-pnoojfgplfnhomwb)
2014-09-08 11:08:52 +0000JohnFord(~jofo@50-13-230-40.gar.clearwire-wmx.net)
2014-09-08 11:11:47 +0000folex(~Adium@217.174.184.92) (Quit: Leaving.)
2014-09-08 11:13:45 +0000JohnFord(~jofo@50-13-230-40.gar.clearwire-wmx.net) (Ping timeout: 264 seconds)