idris2-lens/lens.ipkg

50 lines
1.2 KiB
Plaintext

package lens
version = 0.3.0
brief = "Batteries-included profunctor optics"
authors = "Kiana Sheibani"
license = "MIT"
sourcedir = "src"
readme = "README.md"
langversion >= 0.6.0
depends = profunctors >= 1.1.2,
elab-util >= 0.6.0
modules = Control.Applicative.Backwards,
Control.Applicative.Indexing,
Control.Lens.At,
Control.Lens.Cons,
Control.Lens.Each,
Control.Lens.Equality,
Control.Lens.Fold,
Control.Lens.Getter,
Control.Lens.Indexed,
Control.Lens.Iso,
Control.Lens.Lens,
Control.Lens.Optic,
Control.Lens.Optional,
Control.Lens.OptionalFold,
Control.Lens.Prism,
Control.Lens.Review,
Control.Lens.Setter,
Control.Lens.Traversal,
Control.Lens,
Control.Zipper,
Data.Bicontravariant,
Data.Either.Lens,
Data.List.Lens,
Data.Maybe.Lens,
Data.SnocList.Lens,
Data.SortedMap.Lens,
Data.SortedSet.Lens,
Data.String.Lens,
Data.Tuple.Lens,
Data.Vect.Lens,
Derive.Lens.Options,
Derive.Lens,
Derive.Prism,
Derive.Iso