Question

Constructor that lifts (via DataKinds) to * -> A

score 129 · Answer 1 · 2015-06-11 13:15:08

129

Views

Constructor that lifts (via DataKinds) to * -> A

Published on 11 June 2015 at 13:15

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 419 · Answer 3 · 2016-12-17 18:37:06

419

Views

FromJSON instance with DataKinds

Published on 17 December 2016 at 18:37

score 114 · Answer 4 · 2016-12-13 20:31:00

114

Views

Typeclass instantiated on every value of a data kind

Published on 13 December 2016 at 20:31

score 148 · Answer 5 · 2016-12-25 07:17:40

148

Views

Nested Type-Level Programming

Published on 25 December 2016 at 07:17

score 1.4k · Answer 6 · 2017-01-04 16:54:25

1.4k

Views

Can't specify type signature in GHCI when using DataKinds

Published on 04 January 2017 at 16:54

score 290 · Answer 7 · 2017-01-06 03:39:19

290

Views

How to process a recursive GADT with kind :: '[SomeDataKind]

Published on 06 January 2017 at 03:39

score 25.9k · Answer 8 · 2013-12-13 03:36:22

25.9k

Views

What is the DataKinds extension of Haskell?

Published on 13 December 2013 at 03:36

score 146 · Answer 9 · 2020-10-18 05:51:27

146

Views

forall in a kind signature

Published on 18 October 2020 at 05:51

score 205 · Answer 10 · 2014-12-17 15:00:12

205

Views

Promoting complex GADTs

Published on 17 December 2014 at 15:00

score 423 · Answer 11 · 2022-04-27 12:35:58

423

Views

Fixed size arrays in Haskell

Published on 27 April 2022 at 12:35

score 173 · Answer 12 · 2021-04-29 08:44:16

173

Views

Is it possible to promote a value to type level?

Published on 29 April 2021 at 08:44

score 45 · Answer 13 · 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 1.1k · Answer 14 · 2012-08-22 06:35:07

1.1k

Views

Haskell pattern matching on GADTs with Data Kinds

Published on 22 August 2012 at 06:35

score 1.2k · Answer 15 · 2012-10-15 12:14:02

1.2k

Views

Playing with DataKinds - Kind mis-match errors

Published on 15 October 2012 at 12:14

score 125 · Answer 16 · 2018-09-20 14:16:57

125

Views

Change values to indices in a `Conkin.Traversable` without `unsafeCoerce`

Published on 20 September 2018 at 14:16

score 419 · Answer 17 · 2014-01-18 16:21:44

419

Views

Motivation for limitation on data kind promotion

Published on 18 January 2014 at 16:21

score 594 · Answer 18 · 2014-01-20 15:58:13

594

Views

How do you formulate n-ary product and sum types in this typed lambda calculus universe?

Published on 20 January 2014 at 15:58

score 148 · Answer 19 · 2014-01-29 16:36:24

148

Views

IdGeneratorStrategy unique for each kind

Published on 29 January 2014 at 16:36

score 427 · Answer 20 · 2016-02-27 14:32:37

427

Views

Android ContactsContract.Display_Name returns contact phone number or any other available data

Published on 27 February 2016 at 14:32

List Question

Constructor that lifts (via DataKinds) to * -> A

Defining custom type families over the Nat kind

FromJSON instance with DataKinds

Typeclass instantiated on every value of a data kind

Nested Type-Level Programming

Can't specify type signature in GHCI when using DataKinds

How to process a recursive GADT with kind :: '[SomeDataKind]

What is the DataKinds extension of Haskell?

forall in a kind signature

Promoting complex GADTs

Fixed size arrays in Haskell

Is it possible to promote a value to type level?

Shrinking types and values together without exponential blowup

Haskell pattern matching on GADTs with Data Kinds

Playing with DataKinds - Kind mis-match errors

Change values to indices in a `Conkin.Traversable` without `unsafeCoerce`

Motivation for limitation on data kind promotion

How do you formulate n-ary product and sum types in this typed lambda calculus universe?

IdGeneratorStrategy unique for each kind

Android ContactsContract.Display_Name returns contact phone number or any other available data

Trending Questions

Popular # Hahtags

Popular Questions