Question

Where to put implicit value to enable implicit conversion about singleton type

score 180 · Answer 1 · 2016-12-29 07:39:40

180

Views

Where to put implicit value to enable implicit conversion about singleton type

Published on 29 December 2016 at 07:39

score 80 · Answer 2 · 2017-09-09 17:17:25

80

Views

Abstracting over Dimensionality of Types

Published on 09 September 2017 at 17:17

score 134 · Answer 3 · 2020-10-01 03:07:19

134

Views

Restrict types in Sigma

Published on 01 October 2020 at 03:07

score 496 · Answer 4 · 2020-10-11 20:00:04

496

Views

Is there anyway, in Scala, to get the Singleton type of something from the more general type?

Published on 11 October 2020 at 20:00

score 145 · Answer 5 · 2020-10-18 05:51:27

145

Views

forall in a kind signature

Published on 18 October 2020 at 05:51

score 571 · Answer 6 · 2020-10-19 19:43:42

571

Views

How to get match type to work correctly in Scala 3

Published on 19 October 2020 at 19:43

score 179 · Answer 7 · 2020-10-19 23:04:16

179

Views

GADT type refinement for singleton types in Scala

Published on 19 October 2020 at 23:04

score 1.1k · Answer 8 · 2014-12-03 13:56:41

1.1k

Views

Scala: is there a way to create inline types?

Published on 03 December 2014 at 13:56

score 67 · Answer 9 · 2023-11-06 01:33:05

67

Views

GHC not deriving typeclass instances based on input type

Published on 06 November 2023 at 01:33

score 182 · Answer 10 · 2022-04-10 12:24:50

182

Views

How to convince GHC about type equality on a recursive type

Published on 10 April 2022 at 12:24

score 100 · Answer 11 · 2021-05-02 06:37:51

100

Views

In scala, is it possible to initialise a singleton object from a TypeTag?

Published on 02 May 2021 at 06:37

score 58 · Answer 12 · 2018-11-06 20:59:53

58

Views

Scala Type Equivalence Checking on Singleton Types

Published on 06 November 2018 at 20:59

score 76 · Answer 13 · 2018-11-14 18:44:24

76

Views

How to use the singletons library to define a HasRep instance for existentially quantified types?

Published on 14 November 2018 at 18:44

score 45 · Answer 14 · 2018-11-29 02:34:32

45

Views

Shrinking types and values together without exponential blowup

Published on 29 November 2018 at 02:34

score 343 · Answer 15 · 2021-05-24 08:34:04

343

Views

"No singleton value available for A" when A is clearly a singleton

Published on 24 May 2021 at 08:34

score 44 · Answer 16 · 2021-05-26 18:05:31

44

Views

What is the problem about static pointer?

Published on 26 May 2021 at 18:05

score 173 · Answer 17 · 2021-02-03 21:40:53

173

Views

Can shapeless Record type be used as a Poly1? - Part 2

Published on 03 February 2021 at 21:40

score 182 · Answer 18 · 2021-02-15 18:02:23

182

Views

Why does classOf[A.type] not compile?

Published on 15 February 2021 at 18:02

score 162 · Answer 19 · 2017-11-30 02:04:15

162

Views

Pattern synonym binds differently from normal pattern

Published on 30 November 2017 at 02:04

score 164 · Answer 20 · 2015-08-14 08:08:31

164

Views

Extending from trait where each instance's singleton type is type parameter

Published on 14 August 2015 at 08:08

List Question

Where to put implicit value to enable implicit conversion about singleton type

Abstracting over Dimensionality of Types

Restrict types in Sigma

Is there anyway, in Scala, to get the Singleton type of something from the more general type?

forall in a kind signature

How to get match type to work correctly in Scala 3

GADT type refinement for singleton types in Scala

Scala: is there a way to create inline types?

GHC not deriving typeclass instances based on input type

How to convince GHC about type equality on a recursive type

In scala, is it possible to initialise a singleton object from a TypeTag?

Scala Type Equivalence Checking on Singleton Types

How to use the singletons library to define a HasRep instance for existentially quantified types?

Shrinking types and values together without exponential blowup

"No singleton value available for A" when A is clearly a singleton

What is the problem about static pointer?

Can shapeless Record type be used as a Poly1? - Part 2

Why does classOf[A.type] not compile?

Pattern synonym binds differently from normal pattern

Extending from trait where each instance's singleton type is type parameter

Trending Questions

Popular # Hahtags

Popular Questions