data-kinds

32 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Unable to create a type-level list with a single element
user_5344810
•
2
1
47
data-kinds 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
What kind of problems might result from unquoted lifted constructors?
user_8341760
•
5
0
243
data-kinds ghc compiler-warnings haskell
What is '[] and ': in Haskell?
user_39294810
•
7
2
690
heterogeneous-array type-level-computation data-kinds haskell types
Overlapping instances via Nat-kind
user_45406580
•
4
1
146
overlapping-instances data-kinds gadt math haskell
Confused on DataKinds extension
user_107668200
•
8
2
779
data-kinds haskell types
Change values to indices in a `Conkin.Traversable` without `unsafeCoerce`
user_4038750
•
5
1
125
data-kinds existential-type traversal haskell
Pattern match phantom type
user_103542000
•
6
1
272
phantom-types data-kinds haskell
Does Haskell have kind unification?
user_613420
•
3
1
168
singleton-type data-kinds dependent-type higher-kinded-types haskell
Hot Questions