Question

Can I generalize GADTs that use type tags?

score 100 · Answer 1 · 2015-06-11 05:20:49

100

Views

Can I generalize GADTs that use type tags?

Published on 11 June 2015 at 05:20

score 110 · Answer 2 · 2016-12-16 21:02:37

110

Views

Illegal constraint in a superclass context (GHC 8.0.1)

Published on 16 December 2016 at 21:02

score 243 · Answer 3 · 2017-01-04 05:35:50

243

Views

How to make lenses for records with type-families

Published on 04 January 2017 at 05:35

score 957 · Answer 4 · 2017-01-04 05:33:25

957

Views

How to derive instances for records with type-families

Published on 04 January 2017 at 05:33

score 221 · Answer 5 · 2014-11-30 21:21:20

221

Views

Ambiguity error with higher order lists and type families

Published on 30 November 2014 at 21:21

score 168 · Answer 6 · 2017-09-07 20:23:26

168

Views

Difference between type family and partial newtype? (and partial data?)

Published on 07 September 2017 at 20:23

score 288 · Answer 7 · 2017-09-13 20:11:29

288

Views

Associated data families and overlapping instances

Published on 13 September 2017 at 20:11

score 387 · Answer 8 · 2017-09-13 16:52:07

387

Views

Partial application of type synonyms

Published on 13 September 2017 at 16:52

score 156 · Answer 9 · 2017-09-14 10:29:54

156

Views

Inductive definition over closed type family

Published on 14 September 2017 at 10:29

score 124 · Answer 10 · 2017-09-14 20:01:27

124

Views

Type families and injectivity in a subset of indexes

Published on 14 September 2017 at 20:01

score 336 · Answer 11 · 2013-08-22 00:29:19

336

Views

Why are type instances (a->a) and (a->a->a) conflicting in GHC 7.8?

Published on 22 August 2013 at 00:29

score 270 · Answer 12 · 2013-08-28 13:14:34

270

Views

Type families - cannot derive Base Int?

Published on 28 August 2013 at 13:14

score 853 · Answer 13 · 2012-01-11 22:54:42

853

Views

What does this 'Ambiguous type variable `a` in the constraint' mean?

Published on 11 January 2012 at 22:54

score 404 · Answer 14 · 2012-01-31 07:56:36

404

Views

How to get around the Coverage Condition for Functional Dependencies without using -XUndecidableInstances

Published on 31 January 2012 at 07:56

score 2.4k · Answer 15 · 2013-12-23 01:22:24

2.4k

Views

Closed type families and type inference in Haskell

Published on 23 December 2013 at 01:22

score 12.8k · Answer 16 · 2014-01-01 16:05:38

12.8k

Views

'type family' vs 'data family', in brief?

Published on 01 January 2014 at 16:05

score 81 · Answer 17 · 2014-12-02 21:33:46

81

Views

class constraint in data kind definition

Published on 02 December 2014 at 21:33

score 141 · Answer 18 · 2014-12-14 16:40:22

141

Views

Haskell type classes hierarchy

Published on 14 December 2014 at 16:40

score 160 · Answer 19 · 2014-12-12 23:40:49

160

Views

Overlapping instances error when trying to write fallback instance

Published on 12 December 2014 at 23:40

score 366 · Answer 20 · 2014-12-24 14:31:25

366

Views

ghc-mod expecting MonadBaseControl to have `StM` associated newtype instead of `StT` associated type

Published on 24 December 2014 at 14:31

List Question

Can I generalize GADTs that use type tags?

Illegal constraint in a superclass context (GHC 8.0.1)

How to make lenses for records with type-families

How to derive instances for records with type-families

Ambiguity error with higher order lists and type families

Difference between type family and partial newtype? (and partial data?)

Associated data families and overlapping instances

Partial application of type synonyms

Inductive definition over closed type family

Type families and injectivity in a subset of indexes

Why are type instances (a->a) and (a->a->a) conflicting in GHC 7.8?

Type families - cannot derive Base Int?

What does this 'Ambiguous type variable `a` in the constraint' mean?

How to get around the Coverage Condition for Functional Dependencies without using -XUndecidableInstances

Closed type families and type inference in Haskell

'type family' vs 'data family', in brief?

class constraint in data kind definition

Haskell type classes hierarchy

Overlapping instances error when trying to write fallback instance

ghc-mod expecting MonadBaseControl to have `StM` associated newtype instead of `StT` associated type

Trending Questions

Popular # Hahtags

Popular Questions