search

ekmett / distributive

Dual Traversable
http://hackage.haskell.org/package/distributive
Other
41 stars 25 forks source link

Instances for sized vectors #46

Open expipiplus1 opened 6 years ago

expipiplus1 commented 6 years ago

It would be good to get your thoughts on instances for sized vectors in the vector-sized package: https://hackage.haskell.org/package/vector-sized

These instances already exist in the vector-sized package, however at lestthe Representable instance is probably going away in the next major release. See here for the discussion: https://github.com/expipiplus1/vector-sized/issues/39

vector-sized has a very light dependency tree, and is a pretty textbook example of a distributive and representable functor. It would be nice if these instances could find a new home here.

phadej commented 6 years ago

Few comments

So I suggest vector-sized depends on distributive.

(EDIT: I'm also :-1: on adding dependency to adjunctions, where Representable is defined).

phadej commented 6 years ago

Addition, see https://raw.githubusercontent.com/phadej/acme-kmett/master/deps-8.4.png distributive is at the bottom of Edward's package hierarchy.

expipiplus1 commented 6 years ago

oops! I should have probably opened this against adjunctions! That's where the more heavy dependency pull in for vector-sized is.