Changelog for generic-lens-1.2.0.0
1.2.0.0
- Add
HasTypesUsing
andHasTypesCustom
for custom traversals (Lysxia) - Improve type errors when no Generic instance is defined
types
now supports Text by default
Breaking API changes
HasType
now includes a reflexive case so that every type 'contains' itself (Matt Parsons)AsSubtype
andSubtype
now include a reflexive case so that every type is a subtype of itself
1.1.0.0
- Fix regression in type inference for polymorphic optics
- Add
HasField0
,HasPosition0
,AsConstructor0
,HasField_
,HasPositon_
, andAsConstructor_
(Lysxia) types
now supports Data.Word and Data.Int (Lysxia)- Add
Wrapped
iso for newtypes (Isaac Elliott) - Expose internals through Data.GenericLens.Internal
- Add labels for prisms (Daniel Winograd-Cort)
1.0.0.2
- Fix compile-time performance regression
1.0.0.1
- Remove dump-core dependency
- Relax upper bound on criterion (#42)
1.0.0.0
- Traversals (types, param, constraints)
- Prisms are now optimal too
- Monomorphic versions of lenses and prisms also included
Breaking API changes
projectSub
now returnsMaybe sub
instead ofEither sup sub
(#21)
0.5.1.0
- Infer input type from result type (#25)
- Allow changing of multiple type parameters (#24)
- Allow changing of type parameters that have kinds other than
*
(#23) - Fix error message in subtype lens
0.5.0.0
- Lenses and prisms are now type-changing.
- More informative error messages
- More readable type signatures in type errors and when using
:t
- Use
doctest
- Include examples in Haddock
Breaking API changes
-
The type parameters of the classes have been changed to accommodate the type-changing update:
class HasField name a s
->class HasField name s t a b
etc.Accordingly,
field :: Lens' s a
->field :: Lens s t a b