derivingvia

21 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Unable to coerce during `DerivingVia` when using optics types like `Prism'`
user_552460
•
2
1
126
haskell-optics derivingvia coercion haskell
Reify arbitrary data-kind to a (compile-time known) value
user_89199420
•
2
1
63
derivingvia data-kinds ghc haskell
Can I use DerivingVia to derive instances for data types isomorphic to tuples
user_52475020
•
4
2
136
derivingvia deriving haskell
Coercing when Rep only equal after deeply evaluating type representations
user_17169990
•
4
1
91
derivingvia haskell
Deriving via ReaderT
user_179141440
•
3
1
102
derivingvia deriving haskell
deriving implementation in OCaml
user_2421890
•
2
1
163
derivingvia ocaml haskell
Is it possible to derive a Traversable instance via another type constructor?
user_17263430
•
5
1
182
derivingvia deriving haskell
Is there syntax for creating [Maybe a] analog, but of kind (* -> *)
user_11148720
•
4
3
209
derivingvia deriving typeclass syntax haskell
How can I coerce constraints?
user_2421890
•
5
1
171
derivingvia deriving haskell
Is it possible to establish Coercible instances between custom types and standard library ones?
user_3153020
•
7
3
273
coerce derivingvia deriving haskell
Hot Questions