Eitan Chatav
Eitan Chatav
Logically both `Applicative` and `Alternative` should be independent and `Divisible` and `Decidable` should be independent. They correspond to the four types of `Day` convolution for the two categories `Hask` and...
> Also, is it worth adding `(>|)`, `(|||
> > Also, is it worth adding `(>|)`, `(|| > I think `(>|
Hello @typedrat. I also worked on a [modern redesign](https://hackage.haskell.org/package/indexed-transformers) but with the difference that I eschewed `IxPointed < ixApplicative < IxMonad` and instead subsumed them in `IxMonadTrans` and juggled the...
I’m open to PRs!
You might also need to add instances for encoding and decoding and inlining between the Haskell type and corresponding Postgres type for JWT.
Hmmm. Looks like GHC is inferring the kind of `pgty0` too monomorphically, too soon. Can you try turning on `PolyKinds`? See if that helps. That's what the error poetry tells...
Or perhaps there is a mistake in the type annotation of your `encode` term. ```diff - encode :: EncodeParams Schemas pgty hsty + encode :: EncodeParams Schemas '[pgty] hsty ```...
It might typecheck if you just removed the type signature for `encode` entirely and let GHC infer it.
I've kind of been stuck working on Squeal because every time I try I run into GHC/Postgres installation location problems. ``` squeal-postgresql > build (lib + exe) squeal-postgresql > Preprocessing...