ekmett/kan-extensions

Issues

• Require building with GHC 8.4 or later

  #76 opened 6 months ago by RyanGlScott
  0

• send :: (forall x. (a -> Free f x) -> f (Free f x)) -> Codensity (Free f) a

  #75 opened 2 years ago by Icelandjack
  1

• Export Curried Yoneda utils

  #72 opened 3 years ago by treeowl
  0

• Laws hold? MonadFix (Codensity m)

  #64 opened 4 years ago by Icelandjack
  2

• kan-extensions-5.1 doesn't build with GHC-9.0

  #69 opened 3 years ago by phadej
  1

• Direct-style CoT

  #63 opened 4 years ago by KingoftheHomeless
  0

• Instances for Codensity (Semigroup, Monoid, numeric classes)

  #37 opened 7 years ago by Icelandjack
  1

• Making Codensity a separate library?

  #62 opened 4 years ago by Atry
  0

• Instances for contravariant Coyoneda/Day

  #59 opened 5 years ago by thoughtpolice
  0

• Levity polymorphic codensity

  #48 opened 6 years ago by Icelandjack
  1

• Add Eq1 etc instances?

  #34 opened 6 years ago by phadej
  0

• MonadFree instance for Co

  #46 opened 7 years ago by paf31
  0

• Some random functions/types related to Lan

  #45 opened 7 years ago by Icelandjack
  0

• Add: Ran f (Codensity g) ~> Ran (Compose f g) g

  #43 opened 7 years ago by Icelandjack
  0

• Instances for right/left Kan extensions for functors along themselves

  #32 opened 7 years ago by Icelandjack
  1

• Consider different functor arguments of Ran, Lan

  #41 opened 7 years ago by Icelandjack
  1

• Make ‘Ran’, ‘Lan’ kind polymorphic

  #31 opened 7 years ago by Icelandjack
  2

• Make ‘Codensity’ kind polymorphic

  #29 opened 7 years ago by Icelandjack
  2

• Pattern synonyms for different encodings of Day convolution

  #36 opened 7 years ago by Icelandjack
  0

• [Ask] How to hoist monad on CoT

  #33 opened 7 years ago by syaiful6
  0

• Implement internal hom objects for Day?

  #27 opened 8 years ago by paf31
  6

• Document reason for implementation choice for Monad (Yoneda m)

  #25 opened 8 years ago by treeowl
  0

• Some Foldable methods for Coyoneda can respect underlying structure more

  #23 opened 8 years ago by treeowl
  0

• Add polymorphic improve variant

  #22 opened 8 years ago by treeowl
  1

• `lift` for `Codensity` can probably be done with coercions

  #18 opened 9 years ago by treeowl
  0

• lowerCodensity can be AMPlified

  #15 opened 9 years ago by treeowl
  3

• Fails to compile with GHC 7.0.4

  #13 opened 9 years ago by hvr
  0

• Build fails on GHC 7.7 without ImpredicativeTypes

  #1 opened 9 years ago by russetkoala
  2

• MonadReader instance for Codensity

  #10 opened 9 years ago by jonsterling
  3

• Build failure with GHC 7.6

  #8 opened 9 years ago by snoyberg
  1

• Build failure for GHC 7.4

  #5 opened 10 years ago by snoyberg
  1

• MonadCont instance for Codensity

  #3 opened 11 years ago by fizruk
  0