Ben Hutchison

``` Welcome to the Ammonite Repl 0.5.2 (Scala 2.11.7 Java 1.8._51) @ load.ivy("org.typelevel" %% "alleycats-core" % "0.1.3") @ import alleycats._ import alleycats._ @ import alleycats.std.all._ import alleycats.std.all._ @ implicitly[EmptyK[Option]] Compilation...

When creating a new project, SBT doesn't itself create the source directories (src/main/scala, src/main/resources). Currently, AFAIK nor does sbt-idea. It would be nice if sbt-idea had an option that would...

tag[Tag](value) doesnt work with explicitly declared target type

3

``` @ import shapeless.tag._ import shapeless.tag._ @ trait NameTag; type Name = String @@ NameTag defined trait NameTag defined type Name @ val name1 = tag[NameTag]("ben") name1: String @@ NameTag...

context: https://discord.com/channels/632277896739946517/839844929877704785/970836364746694707

Scala 3 migration

4

Dotty-compatibility mode provides a way to use mouse now in Scala 3 projects, eg `("org.typelevel" %% "mouse" % "0.25").withDottyCompat(dottyVersion)` However, Scala 3 migration is also a good time for any...

Scala 3 [draft]

8

Here is my work on Scala 3 support. 2 branch strategy - master will be Scala 3.x. Aiming for source compatible with existing mouse, save for a few deprecations. -...

Consider facility to view State as Reader

7

It can be convenient to allow a MonadState[F, S] to serve as an ApplicativeAsk[F, S]. We can think of the former constraint as the ability to read and update system...

Consider splitting out !-notation into separate repo?

11

Currently, DSL bundles alot of loosely related functionality together. I would like to access the !-notation feature in a modular way. I didn't grasp the benefits of the !-notation when...

Strange compiler errors mentioning opaque `Domain` type after Dsl transform

6

Was able to reproduce in a small example, although not very practical: https://scastie.scala-lang.org/GLQ08KWRSaW2QtlNob8Hxg ``` type mismatch; found : org.atnos.eff.Eff[R,a3.Foo] required: org.atnos.eff.Eff[R,_1.Foo] where val _1: Module.this.Nextie type mismatch; found : org.atnos.eff.Eff[R,Any]...

Example of using unsafeRunCancelable for REPL cleanup

1

For too long I put up with killing SBT to kill Cats Effect tasks in the console, but finally invested time to figure out the correct way to handle it,...