gadt

66 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Pull type-level value out of dependent type/using type-level bindings at value-level
user_8341760
•
4
2
224
data-kinds dependent-type gadt 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
Type restriction in type declaration
user_78261460
•
3
1
169
phantom-types data-kinds gadt type-systems haskell
Access GADT contstraint from evaluation level
user_44000600
•
2
1
63
dependent-type gadt haskell
Overlapping instances via Nat-kind
user_45406580
•
4
1
146
overlapping-instances data-kinds gadt math haskell
Weaken GADTs type constraints to deal with unpredictable data
user_44000600
•
7
1
125
gadt io haskell
Why does eqT returning Maybe (a :~: b) work better than it returning Bool?
user_64999990
•
7
3
329
gadt ghc haskell
differences: GADT, data family, data family that is a GADT
user_28405420
•
7
2
1126
gadt haskell
How to write Traversal for GADT?
user_16410350
•
3
1
117
haskell-lens gadt haskell
Is there a type restricted Maybe style "Nothing"?
user_5259800
•
3
0
61
gadt haskell
Hot Questions