purescript-prelude
purescript-prelude copied to clipboard
purescript
The PureScript Prelude
**Description of the change** Fixes #300 by updating the Reflexivity law of `Ord` to read: ``` -- | - Reflexivity: if `a == b` then `a
A while back, after some discussion, we updated the antisymetry law of `Ord` from: ```purs -- | - Antisymmetry: if `a x
I have the following code in my library: ``` data VVis a = Fill a (Frame a) | ... derive instance genericVVis :: Generic (VVis a) _ instance showVVis ::...
See #46 for context. Drop `Show` and replace it with `Debug` as defined here: https://github.com/hdgarrood/purescript-debugged For context: - https://harry.garrood.me/blog/down-with-show-part-1/ - https://harry.garrood.me/blog/down-with-show-part-2/ - https://harry.garrood.me/blog/down-with-show-part-3/
See Rust for example: - [PartialEq](https://doc.rust-lang.org/std/cmp/trait.PartialEq.html) - [PartialOrd](https://doc.rust-lang.org/std/cmp/trait.PartialOrd.html) ```purescript -- symmetric: a `eq` b == b `eq` a -- transitive: a `eq` b == b `eq` c == a `eq`...
_This would be a pretty seismic breaking change, so I would not be at all surprised if we end up deciding to close this issue on this basis, but it...
**Description of the change** Pasta from https://discourse.purescript.org/t/create-a-guide-for-porting-haskell-numbers-to-purescript-numbers/1261/2 as discussed with @hdgarrood on slack. --- **Checklist:** - [x] Added the change to the changelog's "Unreleased" section with a reference to this...
## Description The REPL outputs string literals containing the escape sequence `\&` but this escape sequence is not accepted as input. ## To Reproduce In the REPL: ``` > "\x0000001"...
**Description of the change** Adds few test for Array instances. Since these instance are implemented by ffi, tests would be usefull for testing alternative backends. --- **Checklist:** - [ ]...
**Description of the change** Fixed a formatting in Test/Main.purs. Indentation was a mix of 2 and 4, now unified to 2. Some of the top-level definitions are now under the...