ral-lens: Length-indexed random access lists: lens utilities.

[ data, dependent-types, gpl, lens, library, singletons ] [ Propose Tags ]

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

Modules

[Index] [Quick Jump]

Data
- RAList
  - Data.RAList.Lens
  - NonEmpty
    - Data.RAList.NonEmpty.Lens
- RAVec
  - Data.RAVec.Lens
  - NonEmpty
    - Data.RAVec.NonEmpty.Lens
  - Tree
    - DF
      - Data.RAVec.Tree.DF.Lens
    - Data.RAVec.Tree.Lens

Downloads

ral-lens-0.2.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

phadej

For package maintainers and hackage trustees

edit package information

Candidates

0.1, 0.2

Versions [RSS]	0.1, 0.2
Change log	ChangeLog.md
Dependencies	base (>=4.7 && <4.18), bin (>=0.1 && <0.2), fin (>=0.2 && <0.3), lens (>=4.16 && <5.3), ral (>=0.2 && <0.3) [details]
License	GPL-2.0-or-later
Copyright	(c) 2019-2021 Oleg Grenrus
Author	Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer	Oleg.Grenrus <oleg.grenrus@iki.fi>
Revised	Revision 2 made by phadej at 2022-08-22T15:04:44Z
Category	Data, Dependent Types, Singletons, Lens
Home page	https://github.com/phadej/vec
Bug tracker	https://github.com/phadej/vec/issues
Source repo	head: git clone https://github.com/phadej/vec.git(ral-lens)
Uploaded	by phadej at 2021-02-28T11:30:00Z
Distributions	NixOS:0.2
Downloads	1838 total (9 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2021-02-28 [all 1 reports]