gadt

66 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Type inference error while pattern matching
user_10400060
•
2
0
59
gadt algebraic-data-types pattern-matching scala generics
Not in scope: type constructor or class ‘∼’
user_6632990
•
3
1
125
type-families gadt haskell
Using GADTs with DataKinds for type level data constructor constraints in functions
user_11123540
•
5
3
213
data-kinds gadt existential-type haskell
Enforce a typeclass constraint on an existing datatype
user_159736030
•
2
2
116
rank-n-types singleton-type gadt reification haskell
Coyoneda hasn't a higher-rank type but what type has it actually?
user_55363150
•
4
1
96
higher-rank-types newtype gadt haskell
How to construct values from multiple GADTs while parsing json?
user_164683990
•
2
1
89
gadt haskell
Haskell type inference with GADTs and typeclass constraints on type variables
user_52475020
•
3
1
195
gadt type-inference haskell
Equality for GADTs which erase type parameter
user_116124850
•
15
1
518
gadt haskell
How to 'show' unshowable types?
user_10673390
•
6
3
211
gadt typeclass introspection haskell
Is GADT extension destroying polymorphism?
user_2421890
•
5
1
135
gadt polymorphism haskell
Hot Questions