packages feed

pointless-lenses-0.0.3: pointless-lenses.cabal

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