data-kinds

32 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Constraint on function type using data kind
user_195625230
•
2
1
94
kotlin-sealed data-kinds functional-programming haskell types
Syntax for using datatype indexed by Nat
user_4774760
•
6
0
57
liquid-haskell refinement-type data-kinds syntax haskell
Haskell equivalent of Kotlin's invariant types
user_195625230
•
1
1
196
jenetics data-kinds kotlin functional-programming haskell
What does the `forall a -> b` syntax mean?
user_135061350
•
4
1
112
forall data-kinds existential-type haskell types
Converting between variants of a data type
user_7758060
•
4
0
88
data-kinds gadt haskell
Reify arbitrary data-kind to a (compile-time known) value
user_89199420
•
2
1
63
derivingvia data-kinds ghc haskell
Haskell PolyKinds extension and type families
user_146442550
•
4
2
228
polykinds data-kinds functional-programming haskell types
What is the Standalone Kind Signature for this class?
user_451600
•
3
1
101
singleton-type data-kinds dependent-type haskell
Multiplication problem involving kind `Nat`
user_6632990
•
5
1
93
data-kinds haskell
Using a promoted data constructor as a phantom parameter
user_6632990
•
5
2
104
data-kinds haskell
Hot Questions