Question

Defining Categories and Category Laws in Haskell

score 1k · Answer 1 · 2014-11-21 11:54:10

1k

Views

Defining Categories and Category Laws in Haskell

Published on 21 November 2014 at 11:54

score 754 · Answer 2 · 2011-10-19 07:44:40

754

Views

What good is Control.Category?

Published on 19 October 2011 at 07:44

score 299 · Answer 3 · 2014-01-13 19:15:21

299

Views

How to construct an Applicative instance with constraints (similarly to constructing Monad instances using ContT)

Published on 13 January 2014 at 19:15

score 422 · Answer 4 · 2018-12-14 10:27:13

422

Views

Examples of Cartesian (Profunctor)?

Published on 14 December 2018 at 10:27

score 369 · Answer 5 · 2014-12-26 17:37:02

369

Views

Generalization of Exponential Type

Published on 26 December 2014 at 17:37

score 332 · Answer 6 · 2014-02-03 20:25:51

332

Views

Where Haskell category composition is used regardless of instance?

Published on 03 February 2014 at 20:25

score 215 · Answer 7 · 2015-07-24 19:29:31

215

Views

Is (\f -> fmap f id) always equivalent to arr?

Published on 24 July 2015 at 19:29

score 196 · Answer 8 · 2012-01-09 10:57:37

196

Views

What's wrong with defining composition this way?

Published on 09 January 2012 at 10:57

score 84 · Answer 9 · 2018-06-24 08:16:18

84

Views

Is there a reason that `Functor` is not a superclass of `Category`?

Published on 24 June 2018 at 08:16

score 147 · Answer 10 · 2018-08-27 22:41:09

147

Views

What is the difference between '.' and '<<<' when performing function composition?

Published on 27 August 2018 at 22:41

score 429 · Answer 11 · 2017-02-26 11:54:44

429

Views

Relation between the Semigroupoid and Semigroup classes

Published on 26 February 2017 at 11:54

score 1.1k · Answer 12 · 2011-08-09 14:11:42

1.1k

Views

Would a type class "between" Category and Arrow make sense?

Published on 09 August 2011 at 14:11

score 121 · Answer 13 · 2020-02-24 03:19:33

121

Views

Making mapped with category's Functor

Published on 24 February 2020 at 03:19

score 893 · Answer 14 · 2022-02-07 13:06:01

893

Views

typeorm inner join and where problem - BaseEntity model

Published on 07 February 2022 at 13:06

score 251 · Answer 15 · 2015-06-29 14:57:06

251

Views

Generalising ($) like Control.Category generalises (.)

Published on 29 June 2015 at 14:57

score 1k · Answer 16 · 2015-07-05 08:31:23

1k

Views

Control.Category, what does >>> and <<< mean?

Published on 05 July 2015 at 08:31

score 117 · Answer 17 · 2016-07-27 16:11:02

117

Views

What is the significance of the id member's type in the Category class?

Published on 27 July 2016 at 16:11

score 92 · Answer 18 · 2018-02-10 22:53:40

92

Views

Common functionality for different types

Published on 10 February 2018 at 22:53

score 207 · Answer 19 · 2015-09-21 05:00:02

207

Views

Typeclass for (what seems to be) a contravariant functor implementing function inversion

Published on 21 September 2015 at 05:00

score 238 · Answer 20 · 2017-04-15 21:42:58

238

Views

fmapping arrows over monads

Published on 15 April 2017 at 21:42

List Question

Defining Categories and Category Laws in Haskell

What good is Control.Category?

How to construct an Applicative instance with constraints (similarly to constructing Monad instances using ContT)

Examples of Cartesian (Profunctor)?

Generalization of Exponential Type

Where Haskell category composition is used regardless of instance?

Is (\f -> fmap f id) always equivalent to arr?

What's wrong with defining composition this way?

Is there a reason that `Functor` is not a superclass of `Category`?

What is the difference between '.' and '<<<' when performing function composition?

Relation between the Semigroupoid and Semigroup classes

Would a type class "between" Category and Arrow make sense?

Making mapped with category's Functor

typeorm inner join and where problem - BaseEntity model

Generalising ($) like Control.Category generalises (.)

Control.Category, what does >>> and <<< mean?

What is the significance of the id member's type in the Category class?

Common functionality for different types

Typeclass for (what seems to be) a contravariant functor implementing function inversion

fmapping arrows over monads

Trending Questions

Popular # Hahtags

Popular Questions