Confusion about the order of constraints and type variables in a signature (aka. `forall a. a -> Eq a => a` is valid)
|
|
2
|
361
|
December 9, 2022
|
Indexed Access Types
|
|
15
|
595
|
August 21, 2022
|
Is it possisble to "and-compose" two functions?
|
|
7
|
693
|
August 20, 2022
|
Academic / theoretical basis of the PureScript type system
|
|
17
|
5592
|
July 5, 2022
|
How do you divide a Data.Time.Duration into chunks?
|
|
1
|
391
|
June 27, 2022
|
Clarification on Array Eq
|
|
1
|
343
|
June 2, 2022
|
Is it possible to use function argument placeholders _ to flip their order?
|
|
5
|
531
|
May 16, 2022
|
Any tools to measure coverage of `stack test`?
|
|
4
|
549
|
April 13, 2022
|
Proposal: make Ref.new pure in Effect and ST
|
|
8
|
538
|
April 4, 2022
|
Help with code comprehension
|
|
10
|
671
|
March 18, 2022
|
What's more "purescriptonic": parentheses or '$'?
|
|
11
|
846
|
March 15, 2022
|
Optimising compilation time using module, function level caching of type information. Inspired by rescript compiler
|
|
9
|
749
|
March 1, 2022
|
Questions about combining types in Purescript
|
|
6
|
555
|
February 22, 2022
|
Could compiler lift primitives automatically to their monad context?
|
|
4
|
509
|
February 9, 2022
|
Compiler plugins
|
|
1
|
564
|
January 31, 2022
|
Allow specification of precedence of infix functions
|
|
5
|
634
|
January 13, 2022
|
Is there a better way to bind Aff + Either?
|
|
8
|
694
|
December 31, 2021
|
Compiler cannot resolve Union typeclass
|
|
0
|
360
|
December 14, 2021
|
Record update syntax for newtype with typeclass instance
|
|
8
|
1037
|
December 7, 2021
|
Why do document comments for fields and tags not work?
|
|
2
|
597
|
December 3, 2021
|
Error: Could not match constrained type
|
|
3
|
545
|
November 25, 2021
|
Implement generic show for my Type -> Type
|
|
3
|
594
|
November 21, 2021
|
How does an `Aff` monad work?
|
|
11
|
1212
|
November 7, 2021
|
Compiler infers less polymorphism for local bindings
|
|
1
|
351
|
November 2, 2021
|
Make Char represent an opaque code point, instead of utf-16 code unit
|
|
0
|
493
|
October 5, 2021
|
Inferring a record using Lacks, Union or Cons
|
|
2
|
485
|
September 13, 2021
|
Suggestion: can we use PureScript's whitespace sensitivity to reduce verbosity?
|
|
6
|
899
|
February 28, 2021
|
Type error existence assertions idea
|
|
2
|
485
|
August 17, 2021
|
Language-level support for extensible variants?
|
|
6
|
944
|
August 10, 2021
|
Custom errors with instance chains
|
|
4
|
583
|
July 28, 2021
|