Name: pointless-lenses
Version: 0.0.3
License: BSD3
License-file: LICENSE
Author: Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt>
Maintainer: Hugo Pacheco <hpacheco@di.uminho.pt>
Synopsis: Pointless Lenses library
Description:
Pointless Lenses is library of bidirectional lenses (<http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf>) defined in the point-free style of programming.
Generic bidirectional lenses can be defined over inductive types by relying in a set of lifted lens combinators from the standard point-free combinators.
Virtually any recursive lens can be defined by combining the lenses for the recursion patterns of catamorphisms and anamorphism.
The library also provides QuickCheck procedures to test the well-behavedness of user-defined lens transformations.
Homepage: http://haskell.di.uminho.pt/wiki/Pointless+Lenses
Category: Generics
extra-source-files: README, Test.hs
Build-type: Simple
Cabal-Version: >= 1.2.3
Library
Hs-Source-Dirs: src
Build-Depends: base >= 3 && < 5, pointless-haskell >= 0.0.2, haskell98, process
exposed-modules:
Generics.Pointless.Lenses.Combinators,
Generics.Pointless.Lenses.RecursionPatterns,
Generics.Pointless.Lenses.Reader.RecursionPatterns,
Generics.Pointless.Lenses.Examples.Examples,
Generics.Pointless.Lenses
extensions: ScopedTypeVariables, FlexibleContexts, Rank2Types, TypeOperators, TypeFamilies