gadt

66 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to write a Serialize instance for this GADT?
user_47796360
•
4
2
113
gadt ghc haskell
Interaction between GADTs and ScopedTypeVariables/PatternSignatures
user_28405420
•
3
1
81
scoped-type-variables gadt haskell
How to differentiate GADT constructors with different phantom types?
user_26595950
•
4
2
259
gadt haskell
Why doesn't makeLenses derive a lens for some quantified constructors?
user_26595950
•
2
1
75
haskell-lens gadt haskell
Polymorphic variant --> GADT?
user_46099150
•
3
1
355
polymorphic-variants subtyping gadt ocaml
Is there a way to bind the supressed type variable of an existential data type during pattern matching?
user_113849060
•
2
2
94
gadt existential-type pattern-matching haskell
newtype with gadt-like constraint
user_28405420
•
2
0
93
newtype gadt typeclass haskell
Confused about GADTs and propagating constraints
user_28405420
•
2
5
345
gadt haskell
Recursive types is haskell, which do not repeat the same constructor
user_139985900
•
2
1
191
gadt tree recursion haskell types
Construct GADT while parsing json
user_94248020
•
2
1
172
aeson gadt text-parsing haskell
Hot Questions