toki/idris2-lens
1
0
Fork 0
Code Issues Pull requests Activity

Update ipkg

Browse source
This commit is contained in:
Kiana Sheibani 2023-04-24 10:04:06 -04:00
parent bf3ef35b63
commit e1da48721e
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
lens.ipkg
View file

@ -1,5 +1,5 @@
package lens package lens
version = 0.1.0 version = 0.2.0
brief = "Batteries-included profunctor optics" brief = "Batteries-included profunctor optics"
@ -15,11 +15,12 @@ depends = profunctors >= 1.1.2
modules = Control.Applicative.Backwards, modules = Control.Applicative.Backwards,
Control.Applicative.Indexing, Control.Applicative.Indexing,
Control.Lens.At, Control.Lens.At,
Control.Lens.Cons,
Control.Lens.Equality, Control.Lens.Equality,
Control.Lens.Fold, Control.Lens.Fold,
Control.Lens.Getter, Control.Lens.Getter,
Control.Lens.Iso,
Control.Lens.Indexed, Control.Lens.Indexed,
Control.Lens.Iso,
Control.Lens.Lens, Control.Lens.Lens,
Control.Lens.Optic, Control.Lens.Optic,
Control.Lens.Optional, Control.Lens.Optional,
@ -29,9 +30,11 @@ modules = Control.Applicative.Backwards,
Control.Lens.Setter, Control.Lens.Setter,
Control.Lens.Traversal, Control.Lens.Traversal,
Control.Lens, Control.Lens,
Control.Zipper,
Data.Bicontravariant, Data.Bicontravariant,
Data.Either.Lens, Data.Either.Lens,
Data.List.Lens, Data.List.Lens,
Data.Maybe.Lens, Data.Maybe.Lens,
Data.String.Lens,
Data.Tuple.Lens, Data.Tuple.Lens,
Data.Vect.Lens Data.Vect.Lens