Skip to content

current assymmetries in exports for Vector wrt Boxed/Unboxed/Generic/Storable #299

@cartazio

Description

@cartazio

i've some half scripted stuff i used to generate comparisons of exports and help with me getting the backpack stuff started

this comparison uses v0.12.1.2 (current most recent release)
stuff in Generic but not in boxed: (alphabetical order)

clone
cmp
cmpBy
concatNE
eq
eqBy


gfoldl
gunfold
liftReadsPrec
liftShowsPrec

new

readPrec
showsPrec

stream
streamR

unstream
unstreamR

(some stuff spuriously shows up as being different when its Reexported with G.whatever,i've removed those from the list i generated)

missing stuff in storable

ifoldM
ifoldM'
ifoldM'_
ifoldM_
imapM
imapM_
iscanl
iscanl'
iscanr
iscanr'
izipWithM
izipWithM_
new

sequence
sequence_
unsafeAccumulate  
unsafeUpdate  
       
unstream
unstreamR
unzip
unzip3
unzip4
unzip5
unzip6
update

zip
zip3
zip4
zip5
zip6

and then in unboxed

clone
cmp
cmpBy
concatNE
eq
eqBy
gfoldl
gunfold
iscanl
iscanl'
iscanr
iscanr'
sequence
sequence_

i might be skipping mentionign 1-2 here,
but if backpack actually materially helps us PROPERLY enforce consistent apis and making it way user to write new flavores of instances with good inference, etc etc

cc @merijn @chessai @andrewthad @lehins @Shimuuar fyi
i'm skipping mentoing 1-2 like (un)stream(R) and the Data class helpers on 1-2 of the lists, but this should have good coverage of all the current warts

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions