data-kinds

32 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Using GADTs with DataKinds for type level data constructor constraints in functions
user_11123540
•
5
3
213
data-kinds gadt existential-type haskell
Can I teach GHC mathematical induction?
user_45406580
•
4
1
155
data-kinds tuples haskell
In which way do kinds associate in haskell?
user_165710460
•
3
1
50
type-kinds data-kinds functional-programming haskell
Is it possible to promote a value to type level?
user_3153020
•
2
1
91
data-kinds haskell
Data type parametrized by constant in Haskell
user_29926020
•
7
2
202
parameterized-types data-kinds dependent-type haskell types
forall in a kind signature
user_13788680
•
3
1
104
singleton-type data-kinds dependent-type haskell
Must I cast Nat-kinds every time?
user_45406580
•
3
1
80
data-kinds gadt haskell
Using * as a primitive on Nat
user_1260140
•
7
1
111
data-kinds ghci ghc haskell
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
How to get better error messages with type-families?
user_5344810
•
5
2
211
type-families data-kinds haskell
Hot Questions