haskell

4703 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is there a way to generate a dhall schema from an haskell datatype?
user_3761130
•
5
1
359
dhall haskell
Writing a COMPLETE pragma for a polymorphic pattern synonym?
user_15673630
•
7
1
286
pattern-synonyms ghc haskell
Is it possible to have recursive sum type, with each 'level' having distinct value?
user_72928890
•
10
2
319
haskell
The limit set of types with new data like `Tree a`
user_78261460
•
2
1
153
phantom-types data-kinds gadt type-systems haskell
Can I prove that (forall x. Coercible (a x) (b x)) implies Coercible a b?
user_98590
•
4
1
120
coercion haskell
Why do I have to coerce this data type by fields, rather than all at once?
user_98590
•
7
2
147
coercion haskell
Would it be possible to derive Data.Vector.Unbox via GHC's generic deriving?
user_25534160
•
3
1
317
derivingvia ghc-generics storable template-haskell haskell
Clarification on optimizing Single-constructor datatypes in GHC
user_32282300
•
5
1
106
ghc haskell
haskell Stack - one project with multiple executables
user_8095840
•
2
0
49
haskell-stack haskell
Type restriction in type declaration
user_78261460
•
3
1
169
phantom-types data-kinds gadt type-systems haskell
Hot Questions