Typelevel Users & Development List (defunct)

Thanks, will do. On Tue, Nov 28, 2017 at 2:48 AM Miles Sabin <mi...@milessabin.com> wrote: On

Hi, You can use the scala index (scaladex) to find the docs. This is the entry for shapeless: https:/

Sorry for resurrecting a zombie thread, but I sketched this out the other day: https://github.com/

Happy New Year Everyone, We Big Data Team of ThoughtWorks China, open-sourced DeepLearning.scala, a

Hi, all, Recently I published implicit-dependent-type, a compiler plugin that resolves dependent

I prefer you write a function VectorSpace.trivial[F: Field]: VectorSpace[F, F] to do this since this

Great! On Sunday, May 29, 2016 at 3:59:59 AM UTC-4, miles wrote: FYI, I've just reopened SI-2509,

This is the final release of shapeless-2.3.1. These release notes provide a summary of changes since

Hi, I created Interval json read/write for playframework, I used it to persist my intervals in

Hi Luis, The best place to ask questions of this sort is on the shapeless gitter channel, https://

This is the final release of shapeless-2.3.0. These release notes provide a summary of changes since

Dear list, we're looking for volunteers who could help out at the Philadelphia Summit (March 2–3,

This is the final release of macro-compat-1.1.1. Despite being binary compatible with macro-compat

> I'd be wary to trust the conventional Haskell design approach given that type class

Thanks Erik, your explanation does make a lot of sense. I'll look into Cats to see if .imap is

Hi folks, Denys Shabalin wrote to me asking if there were any Typelevel projects that wanted to

On Jan 25, 2016, at 2:22 PM, Erik Osheim <er...@plastic-idolatry.com> wrote: > In the second

Yes, it's a phantom type. No, it doesn't have to be invariant, but it usually helps preserve

Hi! Most discussion around Spire happens on its Gitter channel these days, https://gitter.im/non/

Why not open an issue on the Discipline tracker? I like very much the concept; however, a lot of

Hi Tim, This sort of conversation has moved to the shapeless (or cats) gitter channel, https://gitter

Hi scalaz has a cata on option. Does cats have something similar? If not, what's the reasoning

Hi Erik, Appreciate the help. On Friday, 7 August 2015 14:41:14 UTC+1, Erik Osheim wrote: Hi Hugo, If

Hi everyone, i'm using scodec and shapeless and still struggling to make a working example of

So to decode "n" times a uint4 I guess I'd just need to do as much for comprehension ?

This is the final release of shapeless-2.2.5. These release notes provide a summary of changes since

This is the final release of shapeless-2.2.4. shapeless-2.2.4 is primarily a bugfix release, but

Hi Irfan, As of quite recently, there's a Gitter channel here: https://gitter.im/non/jawn Cheers,

I'm trying to understand spire.macros.Checked: /** * Performs overflow checking for Int/Long

On Tue, Jun 23, 2015 at 07:33:00AM -0700, Kevin Meredith wrote: > I tried to run this macro with