ekmett/profunctors

Issues

• Why is unsafe unsafe?

  #106 opened a year ago by Jashweii
  0

• Implement (***), (&&&) for Strong and (+++) and (|||) for Choice

  #104 opened a year ago by marcosh
  4

• Make `Procompose` polykinded

  #41 opened a year ago by Icelandjack
  2

• There is no Applicative for Forget a

  #103 opened 2 years ago by Icelandjack
  0

• Converse of `Closed`

  #102 opened 2 years ago by Zemyla
  1

• Profunctors: profunctors\n profunctors\nData.Profunctors doesn't fully describe profunctors

  #61 opened 6 years ago by alexanderkjeldaas
  2

• Cokleisli does not satisfy Choice laws

  #99 opened 2 years ago by viercc
  1

• Add a `Lan` type

  #100 opened 2 years ago by echatav
  3

• Compatibility with transformers 0.6

  #98 opened 3 years ago by sjakobi
  9

• Inverse of Forget

  #97 opened 3 years ago by robrix
  0

• Ensure that Cayley and Tannen have instance parity

  #83 opened 4 years ago by RyanGlScott
  2

• Chocolate Profunctor - Co(ntravariant) Closed

  #87 opened 4 years ago by lemastero
  1

• Product profunctors

  #57 opened 3 years ago by mitchellwrosen
  2

• Maybe useful, Closed returning (pro (f b) (f b')) for some Applicative f

  #60 opened 6 years ago by Icelandjack
  2

• pattern synonyms for Procompose; comp (f :>>>: f') = f >>> f'

  #69 opened 3 years ago by Icelandjack
  1

• Generalised {Co,}Star

  #73 opened 3 years ago by rjmk
  1

• More methods

  #77 opened 3 years ago by treeowl
  2

• Functor superclass

  #74 opened 3 years ago by andrewthad
  2

• Certain Costrong/Cochoice laws seem dubious

  #79 opened 3 years ago by RyanGlScott
  3

• Strong Categories are Applicative

  #89 opened 3 years ago by wygulmage
  0

• GHC9 issue

  #96 opened 3 years ago by sorki
  2

• Potential additional superclass of Traversing?

  #72 opened 5 years ago by Zemyla
  1

• Make profunctors -Wincomplete-uni-patterns–clean

  #86 opened 4 years ago by RyanGlScott
  1

• Contravariant instances for Forget and Star

  #67 opened 5 years ago by Solonarv
  1

• instance for Control.Monad.Trans.Select

  #59 opened 7 years ago by aavogt
  4

• Why there is `Star`

  #51 opened 7 years ago by phadej
  7

• Procompose is Traversing and Mapping

  #53 opened 7 years ago by Zemyla
  0

• Consider adding a methods to Strong and Choice

  #47 opened 7 years ago by treeowl
  2

• Explain laws for Cochoice?

  #36 opened 7 years ago by Zemyla
  2

• Traversing1 class

  #46 opened 7 years ago by phadej
  2

• Should firstTraversing and leftTraversing be defined in terms of wander?

  #48 opened 7 years ago by treeowl
  0

• Laws for strong profunctors?

  #38 opened 7 years ago by mpickering
  2

• Products of representable profunctors are representable.

  #34 opened 8 years ago by ekmett
  0

• Add a real Cotambara and Copastro construction.

  #33 opened 8 years ago by ekmett
  0

• Why does Cosieve introduce a functional dependency from the Profunctor to the Functor

  #31 opened 8 years ago by srijs
  1

• Fails to compile with GHC 7.0.4

  #22 opened 9 years ago by hvr
  4

• Invert dependency on semigroupoids?

  #24 opened 9 years ago by ekmett
  1

• profunctors-4.4.1 failed to install

  #23 opened 9 years ago by sid-kap
  3

• Even more instances for DownStar?

  #21 opened 9 years ago by Apsod
  4

• profunctors-4.4 requires excessive amounts of RAM with GHC 7.10.1-rc1

  #20 opened 9 years ago by peti
  10

• Convenience function for `lmap (const foo)`?

  #14 opened 9 years ago by ocharles
  3

• Splitting classes out

  #19 opened 9 years ago by neongreen
  2

• Missing superclasses.

  #17 opened 9 years ago by ekmett
  0

• use coerce instead of unsafeCoerce on GHC 7.8

  #12 opened 9 years ago by ekmett
  0

• downstar can be applicative

  #13 opened 10 years ago by gbaz
  0

• profunctors-4.1 will not compile with GHC 7.4.1

  #8 opened 10 years ago by benclifford
  2

• `RepresentableProfunctor` is a really really long name

  #2 opened 11 years ago by ekmett
  1

• Use Control.Applicative.WrappedArrow

  #1 opened 11 years ago by ehird
  1