List Question
20 TechQA 2024-02-27T18:47:05.450000In Scala 3, how to summon a constant from its type?
77 views
Asked by tribbloid
GHC not deriving typeclass instances based on input type
122 views
Asked by CowNorris
How to do type-level addition in Scala 3?
114 views
Asked by t9dupuy
Checking whether a passed type is a literal type in TypeScript
35 views
Asked by Jean-Philippe Pellet
Return singleton/object from method
118 views
Asked by user2682459
How to convince GHC about type equality on a recursive type
239 views
Asked by snak
Scala 3 match type reduction
285 views
Asked by Davi Pacheco
How to solve singleton error while looping in odoo?
71 views
Asked by Berkan
What is the Standalone Kind Signature for this class?
186 views
Asked by Vanson Samuel
Enforce a typeclass constraint on an existing datatype
236 views
Asked by Jack Ek
Scala 3 "a match type could not be fully reduced" with literal types
546 views
Asked by Michael Tingley
How Assigning TupleN value to *: type variable works in Scala 3?
112 views
Asked by Lin Lee
What is the problem about static pointer?
71 views
Asked by Lang Ung
"No singleton value available for A" when A is clearly a singleton
370 views
Asked by Fabio Epifani
In scala, is it possible to initialise a singleton object from a TypeTag?
156 views
Asked by tribbloid
How to get the name of a class as a string literal at compile time using shapeless?
180 views
Asked by tribbloid
Why does classOf[A.type] not compile?
214 views
Asked by Mario Galic
Can shapeless Record type be used as a Poly1? - Part 2
210 views
Asked by tribbloid
What is the proper way to use Nat/Natural in a singletons data type?
323 views
Asked by Nathan BeDell
GADT type refinement for singleton types in Scala
245 views
Asked by Matthias Berndt