The latest version of vec-lens is 0.4.1-0.

vec-lens

Version 0.4 revision 3 uploaded by phadej.

Package meta

Synopsis
Vec: length-indexed (sized) list: lens support
Description

This package provides lenses and instances for data types in vec package.

Data.Vec.Lens.Instances provides all the instances. the other modules provide some named lenses too.

Author
Oleg Grenrus <oleg.grenrus@iki.fi>
Bug reports
https://github.com/phadej/vec/issues
Category
Data, Dependent Types, Lens
Copyright
(c) 2017-2021 Oleg Grenrus
Homepage
https://github.com/phadej/vec
Maintainer
Oleg.Grenrus <oleg.grenrus@iki.fi>
Package URL
n/a
Stability
n/a

Components