Welcome! Got a question? Do you have -Ypartial-unification turned on? Other FAQs: http://typelevel.org/cats/faq.html
I’ve been looking at
RWS e l s a for a couple of hours :D
Right now I’m trying to implement an
Eq instance for RWST, which is kinda alright I guess
And of course right as I type this I realize there’s already one hidden in the cats test suite 🤦🏻♂️
Man monad transformers are just one giant rabit hole that you’ll never actually get out of :smile: Why did the math gods not make them composable? :(
also i didnt know about that package until just now :)
does anyone know how or if I'm misremembering stuff?
Too slow
removing
MonadTrans in haskell is unthinkable
at least for the time being
In any case, I think we should do more to hide the various
Layer type classes from cats-mtl users, probably said this before, but people have been asking me, and when I start explaining mtl and that they don't need to know about them, they usually realize mtl is fairly simple as a concept
they should also not be in the top package actually
but in a
lifting package
so
instances hierarchy implicits syntax and lifting
leaving just the effect classes themselves at the top
def transformObjectKeys(obj: JsonObject, f: String => String): JsonObject =
JsonObject.fromIterable(
obj.toList.map {
case (k, v) => f(k) -> v
}
)
def transformKeys(json: Json, f: String => String): Trampoline[Json] =
json.arrayOrObject(
Trampoline.done(json),
_.traverse((j: Json) => Trampoline.defer(transformKeys(j, f))).map(Json.fromValues(_)),
transformObjectKeys(_, f).traverse(obj => Trampoline.defer(transformKeys(obj, f))).map(Json.fromJsonObject)
)
What is it you actually want to do?
ah okay, so you’re traversing with
Trampoline[Json]
Is there existing work/literature I could poke around to learn about dealing with Tree structures that have lots of different sub types? In particular, SQL parse trees. A query can have many
SelectItems and many Relations and eventually many Expression, but a Expression can also contain a query itself.
from what I heard
ohhh neat, https://github.com/slamdata/matryoshka
object Fix2 {
type Fix2_1[F1[_, _], F2[_, _]]
type Fix2_2[F1[_, _], F2[_, _]]
final class Subst[F1[_, _], F2[_, _]] {
type Apply[H[_[_, _], _[_, _]]] = H[F1, F2]
type ApplyF[H[_, _]] = H[Apply[Fix2_1], Apply[Fix2_2]]
def _1[H[_]](f: H[Apply[Fix2_1]]): H[ApplyF[F1]] = f.asInstanceOf[H[ApplyF[F1]]]
def _2[H[_]](f: H[Apply[Fix2_2]]): H[ApplyF[F2]] = f.asInstanceOf[H[ApplyF[F2]]]
}
private[this] val _subst = new Subst[Any, Any]
def subst[F1[_, _], F2[_, _]]: Subst[F1, F2] = _subst.asInstanceOf[Subst[F1, F2]]
}
I don't think it will be pleasant in Scala, but who knows