functional-dependencies

12 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Error matching types: using MultiParamTypeClasses and FunctionalDependencies to define heterogeneous lists and a function that returns first element
user_195741250
•
2
2
170
functional-dependencies gadt typeclass ghc haskell
Functional dependency does not unify when bound in GADT
user_31349460
•
7
1
159
functional-dependencies gadt typeclass haskell
Functionally dependant wrapped in a newtype
user_3258090
•
7
0
79
functional-dependencies typeclass haskell
How can we handle associated types generically while keeping type-safety
user_48900860
•
2
1
69
functional-dependencies associated-types functional-programming haskell types
Functional dependencies and overlapping instances
user_121532480
•
2
1
155
overlapping-instances functional-dependencies ghc haskell
How can I use a type parameter determined via the functional dependency of an instance constraint as the RHS of an associated type family equation?
user_17263430
•
4
1
92
functional-dependencies type-families typeclass haskell
Functional dependencies for adjoint functors in Haskell
user_43852970
•
4
1
95
functional-dependencies functor monads functional-programming haskell
FunctionalDependencies does not unify on uniquely identified type
user_18480290
•
3
1
85
functional-dependencies type-families haskell
Multi-way FunDeps and consistency with Overlapping Instances: (why) does this work?
user_28405420
•
2
0
168
overlapping-instances functional-dependencies haskell
“Illegal type synonym family application in instance” with functional dependency
user_4653780
•
33
0
2000
functional-dependencies type-families haskell
Hot Questions