gadt

66 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Haskell data type definition depended on GADTs and function output
user_107880280
•
2
1
64
gadt haskell
type level constraint encoding
user_94248020
•
2
1
153
type-level-computation gadt ghc haskell
Converting between variants of a data type
user_7758060
•
4
0
88
data-kinds gadt haskell
My toy language's evaluator won't type check
Admin1
•
2
2
91
gadt haskell
How can I correctly evaluate this value in my toy language
Admin1
•
2
1
126
gadt haskell
Recursive Type Representatives Using GADTs
user_118387760
•
3
1
113
recursive-type gadt haskell
Functional dependency does not unify when bound in GADT
user_31349460
•
7
1
159
functional-dependencies gadt typeclass haskell
How can I use a Constraint Family that's in scope to prove instances within the body of an expression?
user_38847130
•
3
1
79
quantified-constraints type-families gadt typeclass haskell
How can I derive typeclass instances from constraint families that are in scope?
user_38847130
•
5
2
95
quantified-constraints gadt existential-type constraints haskell
Is there any way to constrain type parameters in a typeclass from an external library?
user_38847130
•
2
0
150
constraint-kinds gadt typeclass singleton haskell
Hot Questions