purescript-prelude
purescript-prelude copied to clipboard
purescript
The PureScript Prelude
As of 0.14, the Proxy-Zoo should get reduced to just one: `Proxy`. This means that creating type-class instances for proxied values is no longer possible (as far as I know)...
Prototype: http://try.purescript.org/?gist=6f451b5a34faa71179bd10b3a5279d6c
Haven't really looked at the other generics, but for Enum, at least, it would be nice to have a note regarding the algorithmic complexity of the generic methods.
With instance chains you can distinguish between `Product a (Product b c)` and `Product (Product a b) c`. It would be helpful to note the ambiguity and what the compiler...
I would like to add a `Hashable` typeclass to the prelude and deriving support for it to the compiler. It is intended as an approximation of equality for use in...
With [deriving via](https://github.com/purescript/purescript/pull/3824) and some newtypes we could simulate defaults methods and alleviate a bit the implementation of typeclasses with generic defaults. For instance implementing `Show`, `Enum` and `Bounded`: ```purs...
https://github.com/purescript/purescript-prelude/blob/2b47992ab8c90db27cfc77b4f1b6e500ac2321e3/src/Data/Symbol.purs#L11-L13 As a newcomer who is currently trying to learn this, I don't understand what this is supposed to mean. What is a "known symbol"? I think better documentation would...
The purescript-contrib [library guidelines](https://github.com/purescript-contrib/governance/blob/main/library-guidelines.md#documentation) suggest an expanded documentation directory. If we follow that same structure for the core libs (like `generics-rep`), then I'd like to add these guides on how...
**Description of the change** Just made `apply` point-free. I know this sounds like a weird change to make a full PR for (and it is), but it's just been nagging...
