Typelevel Users & Development List (defunct) - Google Groups

Groups

1–30 of 94

Find us on the web: http://typelevel.org/

0 selected

10/6/14

Code of Conduct

Hello everyone, because we want to provide a harassment-free environment for anybody, we're

unread,locked,

Code of Conduct

Hello everyone, because we want to provide a harassment-free environment for anybody, we're

10/6/14

Sam Halliday, … Luke Rohde4

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 Ferrari2

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 Pocock8

1/3/17

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

unread,

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 Chen2

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 Pocock6

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

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 Sabin2

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

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

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

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 Ochsenreither9

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 Osheim3

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

2/5/16

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

unread,

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

2/5/16

Kevin Meredith, … Robert Norris3

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 Compall3

1/15/16

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

unread,

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 Sabin3

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.com2

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 Sabin2

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

12/11/15

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

unread,

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

12/11/15

Hugo Ferreira, Erik Osheim3

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.com6

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

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

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 Pretty10

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

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 Osheim2

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

Search

Clear search

Close search

Google apps

Main menu