Groups
Sign in
Groups
Typelevel Users & Development List (defunct)
Conversations
About
Send feedback
Help
Typelevel Users & Development List (defunct)
1–30 of 94
Find us on the web:
http://typelevel.org/
Mark all as read
Report group
0 selected
Sam Halliday
, …
Luke Rohde
4
11/28/17
shapeless cachedImplicit
Thanks, will do. On Tue, Nov 28, 2017 at 2:48 AM Miles Sabin <mi...@milessabin.com> wrote: On
unread,
shapeless cachedImplicit
Thanks, will do. On Tue, Nov 28, 2017 at 2:48 AM Miles Sabin <mi...@milessabin.com> wrote: On
11/28/17
Adrian M
,
Germán Ferrari
2
9/10/17
scaladocs URL for shapeless
Hi, You can use the scala index (scaladex) to find the docs. This is the entry for shapeless: https:/
unread,
scaladocs URL for shapeless
Hi, You can use the scala index (scaladex) to find the docs. This is the entry for shapeless: https:/
9/10/17
Tim Pigden
, …
Matthew Pocock
8
1/3/17
lenses
Sorry for resurrecting a zombie thread, but I sketched this out the other day: https://github.com/
unread,
lenses
Sorry for resurrecting a zombie thread, but I sketched this out the other day: https://github.com/
1/3/17
杨博
1/1/17
DeepLearning.scala, a toolkit aimed to create complex neural networks
Happy New Year Everyone, We Big Data Team of ThoughtWorks China, open-sourced DeepLearning.scala, a
unread,
DeepLearning.scala, a toolkit aimed to create complex neural networks
Happy New Year Everyone, We Big Data Team of ThoughtWorks China, open-sourced DeepLearning.scala, a
1/1/17
杨博
12/28/16
implicit-dependent-type, a compiler plugin that resolves dependent types from implicit type classes
Hi, all, Recently I published implicit-dependent-type, a compiler plugin that resolves dependent
unread,
implicit-dependent-type, a compiler plugin that resolves dependent types from implicit type classes
Hi, all, Recently I published implicit-dependent-type, a compiler plugin that resolves dependent
12/28/16
Frank T
,
Tongfei Chen
2
5/29/16
spire: DoubleAlgebra vs field is algebra
I prefer you write a function VectorSpace.trivial[F: Field]: VectorSpace[F, F] to do this since this
unread,
spire: DoubleAlgebra vs field is algebra
I prefer you write a function VectorSpace.trivial[F: Field]: VectorSpace[F, F] to do this since this
5/29/16
Tongfei Chen
, …
Matthew Pocock
6
5/29/16
[spire] [algebra] [cats] Why typeclasses Eq / PartialOrder / Order are not declared as contravariant
Great! On Sunday, May 29, 2016 at 3:59:59 AM UTC-4, miles wrote: FYI, I've just reopened SI-2509,
unread,
[spire] [algebra] [cats] Why typeclasses Eq / PartialOrder / Order are not declared as contravariant
Great! On Sunday, May 29, 2016 at 3:59:59 AM UTC-4, miles wrote: FYI, I've just reopened SI-2509,
5/29/16
Miles Sabin
5/13/16
shapeless-2.3.1 released!
This is the final release of shapeless-2.3.1. These release notes provide a summary of changes since
unread,
shapeless-2.3.1 released!
This is the final release of shapeless-2.3.1. These release notes provide a summary of changes since
5/13/16
jawad ezzahraoui
5/9/16
Play Json read/write for spire.math.Interval
Hi, I created Interval json read/write for playframework, I used it to persist my intervals in
unread,
Play Json read/write for spire.math.Interval
Hi, I created Interval json read/write for playframework, I used it to persist my intervals in
5/9/16
Luis Solano
,
Miles Sabin
2
3/9/16
Using shapeless to model a Module
Hi Luis, The best place to ask questions of this sort is on the shapeless gitter channel, https://
unread,
Using shapeless to model a Module
Hi Luis, The best place to ask questions of this sort is on the shapeless gitter channel, https://
3/9/16
Miles Sabin
2/25/16
shapeless-2.3.0 released!
This is the final release of shapeless-2.3.0. These release notes provide a summary of changes since
unread,
shapeless-2.3.0 released!
This is the final release of shapeless-2.3.0. These release notes provide a summary of changes since
2/25/16
Lars Hupel
2/21/16
Volunteers for the Philadelphia Summit wanted
Dear list, we're looking for volunteers who could help out at the Philadelphia Summit (March 2–3,
unread,
Volunteers for the Philadelphia Summit wanted
Dear list, we're looking for volunteers who could help out at the Philadelphia Summit (March 2–3,
2/21/16
Miles Sabin
2/15/16
macro-compat-1.1.1 released
This is the final release of macro-compat-1.1.1. Despite being binary compatible with macro-compat
unread,
macro-compat-1.1.1 released
This is the final release of macro-compat-1.1.1. Despite being binary compatible with macro-compat
2/15/16
Kevin Meredith
, …
Simon Ochsenreither
9
2/14/16
cats - OneAnd.scala
> I'd be wary to trust the conventional Haskell design approach given that type class
unread,
cats - OneAnd.scala
> I'd be wary to trust the conventional Haskell design approach given that type class
2/14/16
Marco Kuper
,
Erik Osheim
3
2/10/16
[spire] mapping on spire types
Thanks Erik, your explanation does make a lot of sense. I'll look into Cats to see if .imap is
unread,
[spire] mapping on spire types
Thanks Erik, your explanation does make a lot of sense. I'll look into Cats to see if .imap is
2/10/16
Erik Osheim
2/5/16
GSoC ideas?
Hi folks, Denys Shabalin wrote to me asking if there were any Typelevel projects that wanted to
unread,
GSoC ideas?
Hi folks, Denys Shabalin wrote to me asking if there were any Typelevel projects that wanted to
2/5/16
Kevin Meredith
, …
Robert Norris
3
1/25/16
Using Existentials in Inner Functions
On Jan 25, 2016, at 2:22 PM, Erik Osheim <er...@plastic-idolatry.com> wrote: > In the second
unread,
Using Existentials in Inner Functions
On Jan 25, 2016, at 2:22 PM, Erik Osheim <er...@plastic-idolatry.com> wrote: > In the second
1/25/16
Kevin Meredith
, …
Stephen Compall
3
1/15/16
Phantom Types
Yes, it's a phantom type. No, it doesn't have to be invariant, but it usually helps preserve
unread,
Phantom Types
Yes, it's a phantom type. No, it doesn't have to be invariant, but it usually helps preserve
1/15/16
Mikhail Sokolov
, …
Miles Sabin
3
12/19/15
spire.math.Interval#isBounded mixed up
Hi! Most discussion around Spire happens on its Gitter channel these days, https://gitter.im/non/
unread,
spire.math.Interval#isBounded mixed up
Hi! Most discussion around Spire happens on its Gitter channel these days, https://gitter.im/non/
12/19/15
Tomas Mikula
,
rosset...@gmail.com
2
12/19/15
Principled: an alternative to Discipline
Why not open an issue on the Discipline tracker? I like very much the concept; however, a lot of
unread,
Principled: an alternative to Discipline
Why not open an issue on the Discipline tracker? I like very much the concept; however, a lot of
12/19/15
Tim Pigden
,
Miles Sabin
2
12/12/15
shapeless derived typeclasses and cats Eq
Hi Tim, This sort of conversation has moved to the shapeless (or cats) gitter channel, https://gitter
unread,
shapeless derived typeclasses and cats Eq
Hi Tim, This sort of conversation has moved to the shapeless (or cats) gitter channel, https://gitter
12/12/15
Tim Pigden
12/11/15
cats - cata?
Hi scalaz has a cata on option. Does cats have something similar? If not, what's the reasoning
unread,
cats - cata?
Hi scalaz has a cata on option. Does cats have something similar? If not, what's the reasoning
12/11/15
Hugo Ferreira
,
Erik Osheim
3
8/7/15
[spire] basic question: using Trig[Rational] and NRoot[Rational]
Hi Erik, Appreciate the help. On Friday, 7 August 2015 14:41:14 UTC+1, Erik Osheim wrote: Hi Hugo, If
unread,
[spire] basic question: using Trig[Rational] and NRoot[Rational]
Hi Erik, Appreciate the help. On Friday, 7 August 2015 14:41:14 UTC+1, Erik Osheim wrote: Hi Hugo, If
8/7/15
Olivier Girardot
8/7/15
from HList[Codec[Int] :: ... :: Codec[Int]] to Attempt[String]
Hi everyone, i'm using scodec and shapeless and still struggling to make a working example of
unread,
from HList[Codec[Int] :: ... :: Codec[Int]] to Attempt[String]
Hi everyone, i'm using scodec and shapeless and still struggling to make a working example of
8/7/15
Olivier Girardot
, …
chris...@gmail.com
6
7/30/15
Scodec : Decoding Packed-Decimal
So to decode "n" times a uint4 I guess I'd just need to do as much for comprehension ?
unread,
Scodec : Decoding Packed-Decimal
So to decode "n" times a uint4 I guess I'd just need to do as much for comprehension ?
7/30/15
Miles Sabin
7/22/15
shapeless-2.2.5 released
This is the final release of shapeless-2.2.5. These release notes provide a summary of changes since
unread,
shapeless-2.2.5 released
This is the final release of shapeless-2.2.5. These release notes provide a summary of changes since
7/22/15
Miles Sabin
7/8/15
shapeless-2.2.4 released
This is the final release of shapeless-2.2.4. shapeless-2.2.4 is primarily a bugfix release, but
unread,
shapeless-2.2.4 released
This is the final release of shapeless-2.2.4. shapeless-2.2.4 is primarily a bugfix release, but
7/8/15
Erik Osheim
, …
Jon Pretty
10
6/29/15
[jawn] Jawn AST users?
Hi Irfan, As of quite recently, there's a Gitter channel here: https://gitter.im/non/jawn Cheers,
unread,
[jawn] Jawn AST users?
Hi Irfan, As of quite recently, there's a Gitter channel here: https://gitter.im/non/jawn Cheers,
6/29/15
Kevin Meredith
6/23/15
spire.macros.Checked#checked Usage?
I'm trying to understand spire.macros.Checked: /** * Performs overflow checking for Int/Long
unread,
spire.macros.Checked#checked Usage?
I'm trying to understand spire.macros.Checked: /** * Performs overflow checking for Int/Long
6/23/15
Kevin Meredith
,
Erik Osheim
2
6/23/15
Running an Example with spire.macros.Checked#tryOrElse
On Tue, Jun 23, 2015 at 07:33:00AM -0700, Kevin Meredith wrote: > I tried to run this macro with
unread,
Running an Example with spire.macros.Checked#tryOrElse
On Tue, Jun 23, 2015 at 07:33:00AM -0700, Kevin Meredith wrote: > I tried to run this macro with
6/23/15