Jashweii
Jashweii
With an explicit type signature, moeb can be given a more general type ```Haskell moeb :: ((forall b . (a -> b) -> b) -> c -> a) -> c...
```Haskell import qualified Control.Monad as M(|) ^ cursor ``` Doesn't suggest imports from Control.Monad, unlike post-qualified and unqualified imports. I don't think it matters if "as" is present or not....
When hovering over types haskell-language-server gives you its kind, but this doesn't work for type variables ```Haskell import Data.Kind (Type) data X a = X f :: forall a b...
&, T tensor
Is there a reason this isn't present in linear-base? I know you can't make & (co)datatypes directly in Haskell and have to encode them, but it seems like it's worth...
Disclaimer: I don't have a concrete use case for this, this is just a thought about how this library could cover the same ground as hlist/variant. When you have a...
This would be a breaking change for anything using show* but constrained only on Alpha. Bind's nthPatFind and namePatFind wouldn't be able to show the specific bind for errors anymore....
Removes the show superclass on Alpha. This is a breaking change for users expecting (Alpha a) to imply (Show a). This also makes bind's error message in namePatFind/nthPatFind less descriptive....
When you have a _ hole in a haskell program, it would be nice if HLS rendered the expected type I.e. if you could see ``(`` _x ``:: Bool)`` similar...