Question

Why does this expression have a valid type?

score 231 · Answer 1 · 2017-09-15 03:54:53

231

Views

Why does this expression have a valid type?

Published on 15 September 2017 at 03:54

score 191 · Answer 2 · 2014-12-19 18:17:36

191

Views

Using custom instance when deriving an instance via GeneralizedNewtypeDeriving

Published on 19 December 2014 at 18:17

score 166 · Answer 3 · 2020-11-27 03:24:10

166

Views

defining new monad instance

Published on 27 November 2020 at 03:24

score 164 · Answer 4 · 2022-04-21 07:35:16

164

Views

How to define overlappable depending instances?

Published on 21 April 2022 at 07:35

score 2.8k · Answer 5 · 2018-11-20 23:21:43

2.8k

Views

Deriving Via With Standalone Deriving

Published on 20 November 2018 at 23:21

score 95 · Answer 6 · 2018-11-27 21:52:34

95

Views

Using Deriving Via with Phantom Types

Published on 27 November 2018 at 21:52

score 197 · Answer 7 · 2021-05-16 13:40:35

197

Views

How can I coerce constraints?

Published on 16 May 2021 at 13:40

score 918 · Answer 8 · 2020-07-19 16:22:42

918

Views

Haskell Monoid Instance Question for a newtype

Published on 19 July 2020 at 16:22

score 208 · Answer 9 · 2022-03-15 22:08:35

208

Views

Unable to coerce during `DerivingVia` when using optics types like `Prism'`

Published on 15 March 2022 at 22:08

score 203 · Answer 10 · 2021-01-28 09:12:23

203

Views

Deriving Via: Cannot derive well-kinded instance

Published on 28 January 2021 at 09:12

score 212 · Answer 11 · 2021-02-14 07:16:33

212

Views

How to implementing a fork function that combines two consumer into one

Published on 14 February 2021 at 07:16

score 104 · Answer 12 · 2019-12-15 14:34:23

104

Views

Encoding a choice of monad transformers

Published on 15 December 2019 at 14:34

score 205 · Answer 13 · 2021-09-27 17:52:18

205

Views

Deriving a class instance for a type based on another class it's an instance of

Published on 27 September 2021 at 17:52

score 403 · Answer 14 · 2021-02-22 02:08:27

403

Views

Is it possible to establish Coercible instances between custom types and standard library ones?

Published on 22 February 2021 at 02:08

score 222 · Answer 15 · 2021-06-25 01:37:27

222

Views

Is there syntax for creating [Maybe a] analog, but of kind (* -> *)

Published on 25 June 2021 at 01:37

score 50 · Answer 16 · 2023-07-25 00:37:34

50

Views

Deriving newtype recursively like functionality

Published on 25 July 2023 at 00:37

score 287 · Answer 17 · 2019-03-20 19:18:32

287

Views

Avoiding repeated instance declarations in Haskell

Published on 20 March 2019 at 19:18

score 576 · Answer 18 · 2020-06-12 19:03:17

576

Views

Wrap a type in newtype

Published on 12 June 2020 at 19:03

score 338 · Answer 19 · 2019-01-09 00:01:51

338

Views

Overlapping instances that don't seem to overlap

Published on 09 January 2019 at 00:01

score 383 · Answer 20 · 2019-06-27 11:28:06

383

Views

Would it be possible to derive Data.Vector.Unbox via GHC's generic deriving?

Published on 27 June 2019 at 11:28

List Question

Why does this expression have a valid type?

Using custom instance when deriving an instance via GeneralizedNewtypeDeriving

defining new monad instance

How to define overlappable depending instances?

Deriving Via With Standalone Deriving

Using Deriving Via with Phantom Types

How can I coerce constraints?

Haskell Monoid Instance Question for a newtype

Unable to coerce during `DerivingVia` when using optics types like `Prism'`

Deriving Via: Cannot derive well-kinded instance

How to implementing a fork function that combines two consumer into one

Encoding a choice of monad transformers

Deriving a class instance for a type based on another class it's an instance of

Is it possible to establish Coercible instances between custom types and standard library ones?

Is there syntax for creating [Maybe a] analog, but of kind (* -> *)

Deriving newtype recursively like functionality

Avoiding repeated instance declarations in Haskell

Wrap a type in newtype

Overlapping instances that don't seem to overlap

Would it be possible to derive Data.Vector.Unbox via GHC's generic deriving?

Trending Questions

Popular # Hahtags

Popular Questions