Skip to content

Export data constructor for boxed vector #245

@andrewthad

Description

@andrewthad

The module Data.Vector does not export the data constructor for Vector. Exporting this would make it possible to use vector's functions in contexts where I am working with an unsliced Array and want to fold over a slice of it. In general, I would like to see all of the data constructors exported.

@cartazio In #49, this is the same position you take. Do you still agree?

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