List Question
20 TechQA 2023-07-25T00:37:34.783000Deriving newtype recursively like functionality
83 views
Asked by Clinton
Derive typeclass instances for opaque types in Scala 3
623 views
Asked by alessandro candolini
How to define overlappable depending instances?
215 views
Asked by John Smith
Unable to coerce during `DerivingVia` when using optics types like `Prism'`
266 views
Asked by Sridhar Ratnakumar
Reify arbitrary data-kind to a (compile-time known) value
116 views
Asked by MorJ
Can I use DerivingVia to derive instances for data types isomorphic to tuples
243 views
Asked by l7r7
True isomorphisms in Haskell
211 views
Asked by nicolas
Coercing when Rep only equal after deeply evaluating type representations
103 views
Asked by Johannes Riecken
Deriving via ReaderT
172 views
Asked by Maria Z
deriving implementation in OCaml
323 views
Asked by nicolas
Using "deriving via" with a type family
222 views
Asked by Edward
How do I make a container for a double a Semigroup?
117 views
Asked by daikonradish
Deriving a class instance for a type based on another class it's an instance of
242 views
Asked by mhwombat
Is it possible to derive a Traversable instance via another type constructor?
351 views
Asked by Asad Saeeduddin
Is there syntax for creating [Maybe a] analog, but of kind (* -> *)
245 views
Asked by josinalvo
How can I coerce constraints?
269 views
Asked by nicolas
Is it possible to establish Coercible instances between custom types and standard library ones?
441 views
Asked by Javran
How to implementing a fork function that combines two consumer into one
250 views
Asked by Poscat
Deriving Via: Cannot derive well-kinded instance
277 views
Asked by Robert
How to convert a custom type to an Integer in Haskell?
1.1k views
Asked by Leon K.