Question

Implicit Generic.Aux missing on conversion from Shapeless HList to case class

score 1k · Answer 1 · 2015-06-15 00:25:36

1k

Views

Implicit Generic.Aux missing on conversion from Shapeless HList to case class

Published on 15 June 2015 at 00:25

score 140 · Answer 2 · 2015-06-16 11:44:45

140

Views

Defining custom type families over the Nat kind

Published on 16 June 2015 at 11:44

score 375 · Answer 3 · 2015-06-17 08:53:23

375

Views

Fold over a heterogeneous, compile time, list

Published on 17 June 2015 at 08:53

score 271 · Answer 4 · 2017-01-10 04:31:37

271

Views

Avoiding class constraint on type level naturals

Published on 10 January 2017 at 04:31

score 703 · Answer 5 · 2014-11-19 14:11:20

703

Views

Type level encoding of natural numbers in F#

Published on 19 November 2014 at 14:11

score 168 · Answer 6 · 2017-08-26 23:37:52

168

Views

How do I get scaladoc's @usecase annotation to just print the string I give it?

Published on 26 August 2017 at 23:37

score 89 · Answer 7 · 2017-09-09 23:33:46

89

Views

Why type equality check with implicitly fails?

Published on 09 September 2017 at 23:33

score 327 · Answer 8 · 2013-08-28 09:40:13

327

Views

Haskell type-level projection

Published on 28 August 2013 at 09:40

score 350 · Answer 9 · 2013-08-30 15:44:59

350

Views

Type-level arithmetic: "at most" nat or nat interval

Published on 30 August 2013 at 15:44

score 128 · Answer 10 · 2013-09-02 15:36:14

128

Views

Why this Scala code hangs if you specify type-parameter?

Published on 02 September 2013 at 15:36

score 632 · Answer 11 · 2020-10-03 21:51:32

632

Views

Type level operations for labelled tuple

Published on 03 October 2020 at 21:51

score 339 · Answer 12 · 2020-10-18 20:13:50

339

Views

Iterate Over TypeScript Type-level Linked List without Excessive Depth Error

Published on 18 October 2020 at 20:13

score 1.5k · Answer 13 · 2013-12-30 14:01:04

1.5k

Views

How to force Haskell to check lengths of lists?

Published on 30 December 2013 at 14:01

score 239 · Answer 14 · 2014-01-10 11:06:39

239

Views

Vinyl: compose record type aliases

Published on 10 January 2014 at 11:06

score 629 · Answer 15 · 2014-12-05 17:21:13

629

Views

scala path dependent types and type level proofs

Published on 05 December 2014 at 17:21

score 184 · Answer 16 · 2014-12-14 16:11:04

184

Views

typelevel scala: ensure single instance of case class per constructor argument by typing alone?

Published on 14 December 2014 at 16:11

score 126 · Answer 17 · 2023-10-18 11:22:01

126

Views

Order on types for type level programming

Published on 18 October 2023 at 11:22

score 44 · Answer 18 · 2023-11-04 21:30:07

44

Views

How can I check type constraints within a pattern

Published on 04 November 2023 at 21:30

score 135 · Answer 19 · 2020-12-11 15:42:12

135

Views

Type family constraints at runtime // Couldn't match type `1 <=? n0' with 'True

Published on 11 December 2020 at 15:42

score 163 · Answer 20 · 2020-12-17 09:57:11

163

Views

Can I get GHC to infer a constraint past a GADT pattern match?

Published on 17 December 2020 at 09:57

List Question

Implicit Generic.Aux missing on conversion from Shapeless HList to case class

Defining custom type families over the Nat kind

Fold over a heterogeneous, compile time, list

Avoiding class constraint on type level naturals

Type level encoding of natural numbers in F#

How do I get scaladoc's @usecase annotation to just print the string I give it?

Why type equality check with implicitly fails?

Haskell type-level projection

Type-level arithmetic: "at most" nat or nat interval

Why this Scala code hangs if you specify type-parameter?

Type level operations for labelled tuple

Iterate Over TypeScript Type-level Linked List without Excessive Depth Error

How to force Haskell to check lengths of lists?

Vinyl: compose record type aliases

scala path dependent types and type level proofs

typelevel scala: ensure single instance of case class per constructor argument by typing alone?

Order on types for type level programming

How can I check type constraints within a pattern

Type family constraints at runtime // Couldn't match type `1 <=? n0' with 'True

Can I get GHC to infer a constraint past a GADT pattern match?

Trending Questions

Popular # Hahtags

Popular Questions