Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ekmett/adjunctions issues and pull requests

#75 - Isomorphism `f (Rep r)` and `r ~> f`

Issue - State: open - Opened by Icelandjack about 1 year ago - 1 comment

#74 - license file is BSD-2-Clause

Pull Request - State: closed - Opened by juhp almost 2 years ago

#73 - added combinators for adjoint

Pull Request - State: open - Opened by stepa1000 almost 2 years ago

#72 - Not compatible with mtl-2.3.1-rc1 as bounds claim

Issue - State: closed - Opened by ysangkok over 2 years ago - 1 comment

#71 - Newtype to specify Rep: deriving Representable via Pair `ShapedBy` Bool

Issue - State: open - Opened by Icelandjack over 2 years ago - 7 comments

#70 - Representable (Kleisli r a) given a phantom 'l' argument

Issue - State: open - Opened by Icelandjack about 3 years ago

#69 - Import fix from Data.Function instead of Control.Monad.Reader

Pull Request - State: closed - Opened by Bodigrim over 4 years ago - 1 comment

#68 - Add PolyKinds to Data.Functor.Rep

Pull Request - State: closed - Opened by ocharles over 4 years ago - 3 comments

#66 - Define "as <* _ = as" and "_ *> bs = bs"

Pull Request - State: closed - Opened by Icelandjack almost 5 years ago - 1 comment

#65 - Define fmap @(Co f) = fmapRep @f, don't use the underlying Functor

Pull Request - State: closed - Opened by Icelandjack almost 5 years ago

#64 - Exploit the (_ *> as = as) property of Representables in Co

Issue - State: closed - Opened by Icelandjack almost 5 years ago - 2 comments

#63 - fmap @(Co _) should be fmapRep, not stock derived

Issue - State: closed - Opened by Icelandjack almost 5 years ago - 2 comments

#62 - Representable no longer works with GND

Issue - State: open - Opened by treeowl about 5 years ago - 4 comments

#61 - Remove cotraverse1 and distribute1 methods

Pull Request - State: open - Opened by treeowl about 5 years ago - 5 comments

#60 - New Representable methods feel cramped

Issue - State: open - Opened by treeowl about 5 years ago - 5 comments

#59 - Add instance for WrappedMonad

Issue - State: open - Opened by treeowl about 5 years ago

#58 - Resolve #56: Use hkd

Pull Request - State: closed - Opened by phadej over 5 years ago - 13 comments

#56 - Place and name of higher Functor

Issue - State: open - Opened by phadej over 5 years ago

#55 - Add rix

Pull Request - State: closed - Opened by phadej over 5 years ago - 1 comment

#54 - New function: repStore

Pull Request - State: open - Opened by hololeap over 5 years ago

#53 - Fix haddocks

Pull Request - State: closed - Opened by ggreif over 6 years ago

#52 - Make semigroups and void conditional dependencies.

Pull Request - State: closed - Opened by quasicomputational over 6 years ago

#51 - Changed Rep (Cofree f) from Seq (Rep f) to [Rep f]

Pull Request - State: open - Opened by oisdk over 6 years ago

#50 - List vs. Seq for Rep Cofree

Issue - State: open - Opened by oisdk over 6 years ago

#49 - Improve asymptotics of Representable for instances without random access

Pull Request - State: closed - Opened by aaronvargo over 6 years ago - 17 comments

#48 - Alternate Minimal Definitions for Adjunctions

Pull Request - State: closed - Opened by xcthulhu over 6 years ago - 6 comments

#47 - Define 'Representable (Join f)' once we have Bicomonad

Issue - State: open - Opened by Icelandjack over 6 years ago - 1 comment

#46 - Add build-tool-depends

Pull Request - State: closed - Opened by phadej almost 7 years ago

#45 - Added RepresentableOf

Pull Request - State: open - Opened by Icelandjack about 7 years ago - 2 comments

#44 - representable-functors package

Issue - State: closed - Opened by ghost about 7 years ago - 2 comments

#43 - Day instances derived from from Compose

Issue - State: closed - Opened by Icelandjack over 7 years ago - 2 comments

#42 - Added imapRep, ifoldMapRep, itraverseRep.

Pull Request - State: closed - Opened by Icelandjack over 7 years ago

#41 - Add Semigroup and Monoid instances for Co

Pull Request - State: open - Opened by ChrisPenner over 7 years ago

#40 - Add withIndex helper function?

Issue - State: closed - Opened by ChrisPenner over 7 years ago - 4 comments

#39 - Fix embarassing typo...

Pull Request - State: closed - Opened by hvr over 7 years ago

#38 - Add test suite for generics

Pull Request - State: closed - Opened by RyanGlScott almost 8 years ago

#37 - Coerce more Co

Pull Request - State: closed - Opened by treeowl almost 8 years ago

#36 - Coerce all the Representable

Pull Request - State: closed - Opened by treeowl almost 8 years ago - 1 comment

#34 - Add support for generic deriving

Pull Request - State: closed - Opened by treeowl almost 8 years ago - 2 comments

#33 - Adjunction v1 proxy

Pull Request - State: closed - Opened by phadej almost 8 years ago - 14 comments

#32 - Add imapRep

Pull Request - State: closed - Opened by treeowl about 8 years ago - 1 comment

#31 - Add FunctorWithIndex constraint to Representable?

Issue - State: open - Opened by treeowl about 8 years ago - 2 comments

#30 - Editable representable functors

Issue - State: open - Opened by treeowl about 8 years ago - 1 comment

#29 - Add collectRep

Pull Request - State: closed - Opened by treeowl about 8 years ago - 1 comment

#28 - Does this exist or belong somewhere?

Issue - State: open - Opened by Icelandjack about 8 years ago - 2 comments

#27 - indexM in Representable?

Issue - State: open - Opened by Zemyla about 8 years ago - 1 comment

#26 - Added MINIMAL pragmas for Data.Functor.{Contravariant.,}Adjunction

Pull Request - State: closed - Opened by Icelandjack over 8 years ago - 1 comment

#25 - instance Representable f => Representable (Reverse f)?

Issue - State: closed - Opened by Icelandjack over 8 years ago - 2 comments

#24 - Update CHANGELOG.markdown

Pull Request - State: closed - Opened by Icelandjack over 8 years ago - 1 comment

#23 - Added MINIMAL pragma to `Adjunction` class

Pull Request - State: closed - Opened by Icelandjack over 8 years ago - 1 comment

#22 - Adjunction f u means f a is isomorphic to (a, Rep u)

Issue - State: open - Opened by Zemyla over 8 years ago - 1 comment

#21 - Changed minF to use min instead of max

Pull Request - State: closed - Opened by Apsod almost 9 years ago - 2 comments

#20 - Build issues with 7.8.4 and adjunctions 4.3

Issue - State: closed - Opened by tmcgilchrist almost 9 years ago - 2 comments

#19 - Replace Data.Functor.Coproduct with Data.Functor.Sum

Pull Request - State: closed - Opened by cnd almost 9 years ago

#18 - Allow building with transformers 0.5 (on GHC 8 RC)

Pull Request - State: closed - Opened by cnd almost 9 years ago - 14 comments

#17 - broken with removing Coproduct from comonad

Issue - State: closed - Opened by cnd almost 9 years ago - 5 comments

#16 - Add Representable instances for new Functors in base-4.9

Pull Request - State: closed - Opened by RyanGlScott almost 9 years ago

#15 - canonical-AMP-warning avoidance

Pull Request - State: closed - Opened by hvr about 9 years ago

#14 - packdeps and packunused don't install

Issue - State: closed - Opened by sjoerdvisscher over 9 years ago

#13 - Make `Functor` the superclass of `Representable`

Pull Request - State: closed - Opened by sjoerdvisscher over 9 years ago - 4 comments

#12 - Rep: Add default implementation built on Generics

Pull Request - State: closed - Opened by bgamari about 10 years ago - 12 comments

#11 - Bump mtl and transformers upper bounds

Pull Request - State: closed - Opened by bgamari over 10 years ago

#10 - Added isomorphism lenses

Pull Request - State: closed - Opened by sjoerdvisscher over 10 years ago

#9 - Use lens Iso in Data.Functor.Rep

Issue - State: closed - Opened by hanshoglund over 10 years ago - 1 comment

#8 - [RFC] Add Data.Functor.Rep.TH

Pull Request - State: open - Opened by bgamari over 10 years ago - 8 comments

#7 - Export user-specified Rep universe foldMap default

Pull Request - State: closed - Opened by prophile over 10 years ago - 2 comments

#6 - Export user-specified monoid comonad defaults

Pull Request - State: closed - Opened by prophile almost 11 years ago - 2 comments

#5 - Fix syntax in the properties of Representable

Pull Request - State: closed - Opened by prophile almost 11 years ago - 1 comment

#4 - Dependency on missing distributive >= 0.4

Issue - State: closed - Opened by snoyberg almost 11 years ago - 1 comment

#3 - Update for comonad 4

Issue - State: closed - Opened by cjwatson about 11 years ago - 5 comments

#2 - Additional instances and zapWith.

Pull Request - State: closed - Opened by sjoerdvisscher almost 12 years ago

#1 - Add combine :: Adjunction f u => u a -> f b -> (a, b)

Issue - State: closed - Opened by sjoerdvisscher almost 13 years ago - 5 comments