gadt

66 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Extending GADTs examples - could not deduce
user_11446320
•
1
1
43
gadt haskell
How does GADTs affect type inference in this case?
user_3153020
•
3
1
97
gadt haskell
Scala Type Inference Not Working for GADTs in IntelliJ
user_3375460
•
2
1
56
gadt intellij-idea scala
Why Peano numbers in OCaml not working due to scope error?
user_2316640
•
3
1
63
peano-numbers gadt ocaml
How do I Pattern-match GADT Types Get Alternative More Concrete Return Types?
user_196066900
•
1
2
102
locally-abstract-type gadt ocaml
Error matching types: using MultiParamTypeClasses and FunctionalDependencies to define heterogeneous lists and a function that returns first element
user_195741250
•
2
2
170
functional-dependencies gadt typeclass ghc haskell
Multiple types for f in this picture?
user_146787340
•
6
2
155
gadt haskell
Phantom type makes pattern matching irrefutable, but that seemingly does not work inside do notation
user_14820960
•
14
1
607
gadt ghc haskell
Scope error with locally abstract type when GADT constructor contains multiple type variables
user_79435640
•
3
2
66
locally-abstract-type gadt ocaml types
Is it possible to have elements of a heterogeneous list depend on the type of preceding elements?
user_79435640
•
2
1
61
heterogeneous-list gadt ocaml
Hot Questions