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