List Question
20 TechQA 2024-03-31T22:04:44.907000Typeclass projections as inheritance
60 views
Asked by CowNorris
Scala refined types and type class derivation (Shapeless)
50 views
Asked by outlaw
How is the Foldable instance of (,) useful?
174 views
Asked by Enlico
The `specialize` tatic in Coq does not work well with typeclasses?
39 views
Asked by andreas
Scala avro4s, define SchemaFor for common trait?
49 views
Asked by ticofab
freezed package class return - "type 'Null' is not a subtype of type 'String' in type cast"
48 views
Asked by hangMan
How to specify a type family with multiparameter injectivity?
115 views
Asked by Gusten
Why does Data.Dynamic contain a witness instead of a typeclass constraint?
134 views
Asked by Clinton
How do you define a type class for a union of types?
47 views
Asked by Todd O'Bryan
Error when implementing a typeclass instance for a function
64 views
Asked by wirrbel
How to create a custom made function instance of Eq and Ord
116 views
Asked by Anik kanti sikder
GHC not deriving typeclass instances based on input type
122 views
Asked by CowNorris
Is there a typeclass that changes the shape of a hierarchy?
84 views
Asked by Chris J Harris
Making a function an instance of functor
88 views
Asked by Chris J Harris
How to deprecate a particular type-class instance?
87 views
Asked by Saurabh Nanda
How Can One Express the Fact that `()` is a Subset of All Other (Non-`Void`) Types in Haskell?
143 views
Asked by William Ryman
How unsafe is coercing typeclass dictionaries?
164 views
Asked by Clinton
Haskell data vs class
123 views
Asked by Chirmol Studio