List Question
20 TechQA 2016-12-29T07:39:40.153000Where to put implicit value to enable implicit conversion about singleton type
243 views
Asked by 蘇哲聖
Abstracting over Dimensionality of Types
156 views
Asked by Chris Penner
Restrict types in Sigma
209 views
Asked by snak
Is there anyway, in Scala, to get the Singleton type of something from the more general type?
556 views
Asked by Ryan Stull
forall in a kind signature
228 views
Asked by snak
How to get match type to work correctly in Scala 3
652 views
Asked by Mikaël Mayer
GADT type refinement for singleton types in Scala
245 views
Asked by Matthias Berndt
Scala: is there a way to create inline types?
1.2k views
Asked by Turin
GHC not deriving typeclass instances based on input type
122 views
Asked by CowNorris
How to convince GHC about type equality on a recursive type
239 views
Asked by snak
In scala, is it possible to initialise a singleton object from a TypeTag?
156 views
Asked by tribbloid
Scala Type Equivalence Checking on Singleton Types
95 views
Asked by Michael Wang
How to use the singletons library to define a HasRep instance for existentially quantified types?
150 views
Asked by dbanas
Shrinking types and values together without exponential blowup
87 views
Asked by dspyz
"No singleton value available for A" when A is clearly a singleton
370 views
Asked by Fabio Epifani
What is the problem about static pointer?
71 views
Asked by Lang Ung
Can shapeless Record type be used as a Poly1? - Part 2
210 views
Asked by tribbloid
Why does classOf[A.type] not compile?
214 views
Asked by Mario Galic
Pattern synonym binds differently from normal pattern
198 views
Asked by RichardW
Extending from trait where each instance's singleton type is type parameter
194 views
Asked by Ben Kovitz