name:                lens-sop
version:             0.3.1
synopsis:            Computing lenses generically using generics-sop
description:
  This library contains a definition of generalized lenses, along with SOP-style
  generic functions (based on
  @<https://hackage.haskell.org/package/generics-sop generics-sop>@)
  that compute lenses for a given record type. Generalized lenses for the
  SOP representation types are also provided.
  .
  Furthermore, a generic function is provided that computes a lens from
  a given (string-based) path specification.
  .
license:             BSD3
license-file:        LICENSE
author:              Edsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com>
maintainer:          andres@well-typed.com
category:            Generics
build-type:          Simple
cabal-version:       >=1.10
extra-source-files:  CHANGELOG.md
tested-with:         GHC==8.10.7
                   , GHC==9.2.8
                   , GHC==9.4.8
                   , GHC==9.6.6
                   , GHC==9.8.2
                   , GHC==9.10.1
                   , GHC==9.12.1
                   , GHC==9.14.1

source-repository head
  type:                git
  location:            https://github.com/well-typed/lens-sop

library
  exposed-modules:     Generics.SOP.Lens
                       Generics.SOP.Lens.Named
                       Generics.SOP.Lens.Computed
  build-depends:       base          >= 4.14  && < 4.23,
                       generics-sop  >= 0.2.3 && < 0.6,
                       optics-core   >= 0.4   && < 0.5
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall
                       -Wredundant-constraints
  default-extensions:  ScopedTypeVariables
                       TypeFamilies
                       RankNTypes
                       TypeOperators
                       GADTs
                       ConstraintKinds
                       MultiParamTypeClasses
                       TypeSynonymInstances
                       FlexibleInstances
                       FlexibleContexts
                       DeriveFunctor
                       DeriveFoldable
                       DeriveTraversable
                       DefaultSignatures
                       KindSignatures
                       DataKinds
                       FunctionalDependencies