úÎ:`7ª0      !"#$%&'()*+,-./None &'+,-1234567;<=>?ADFQSTVbh²None!&'+,-1234567;<=>?ADFQSTVbh/®!Modifiable field val val' old new5 is a constraint needed to apply a function of type  val -> val' to the field field in the book of type Book old$. The resulting book will have type Book new.J'Settable field val old new' is a constraint needed to set the the field field to a value of type valO in the book of type 'Book old'. The resulting book will have type 'Book new'.Gettable field val book2 is the constraint needed to get a value of type val from the field field in the book of type  Book book.  z is simply a proxy. You will usually not need to generate it directly, as it is generated by the OverlodadedLabels magic.  An alias for 0: because otherwise you'll have to tick your constructors.&The internal representation of a Book.LA book with no records. You'll usually want to use this to construct books.!Get a value by key, if it exists.get #age julian28ÿIf the key does not exist, throws a type error >>> get #moneyFrom julian ... ... " The provided Book does not contain the field "moneyFrom" ... Book type: ... '["age" ':-> Int, "name" ':-> String] ... " In the expression: get #moneyFrom julian ...Flipped and infix version of .julian ?: #name"Julian K. Arni"#Sets or updates a field to a value.set #likesDoctest True julian=Book {age = 28, likesDoctest = True, name = "Julian K. Arni"}Infix version of julian & #age =: 29(Book {age = 29, name = "Julian K. Arni"}Apply a function to a field.$julian & modify #name (fmap toUpper)(Book {age = 28, name = "JULIAN K. ARNI"}ÿIf the key does not exist, throws a type error >>> modify #height (_ -> 132) julian ... ... " The provided Book does not contain the field "height" ... Book type: ... '["age" ':-> Int, "name" ':-> String] ... " In the expression: modify #height ( _ -> 132) julian ...Infix version of .julian & #name %: fmap toUpper(Book {age = 28, name = "JULIAN K. ARNI"}Delete a field from a -, if it exists. If it does not, returns the Book unmodified.get #name $ delete #name julian...:... " The provided Book does not contain the field "name"... Book type:... '["age" ':-> Int]#... " In the expression: get #name... Generate a Book2 from an ordinary Haskell record via GHC Generics.Vdata Test = Test { field1 :: String, field2 :: Int, field3 :: Char } deriving GenericfromRecord (Test "hello" 0 'c')1Book {field1 = "hello", field2 = 0, field3 = 'c'}PTrying to convert a datatype which is not a record will result in a type error:8data SomeSumType = LeftSide | RightSide deriving GenericfromRecord LeftSide...)... " Cannot convert sum types into Books...!data Unit = Unit deriving GenericfromRecord Unit...0... " Cannot convert non-record types into Books... ' "!  # '&%$)(   333None&'+,-1234567;<=>?ADFQSTVbh2;  None!&'+,-1234567;<=>?ADFQSTVbh7˜.Build a lens from a field julian ^. rlens #age = 28 OSymbols can also be used directly as lenses, so you probably don't need to use .: julian ^. #age = 28 Bjulian & #age .~ 29 = Book {age = 29, name = "Julian K. Arni"} ../1      !"#$%&'()*+,-./012345678'bookkeeper-0.2.5-7Bfa1Oe73gjGQk0shmMf9V BookkeeperBookkeeper.Internal.ErrorsBookkeeper.InternalBookkeeper.Lensbase Data.Function& Contains'ContainsExpected FromGeneric fromGeneric ModifiableSettableGettableKey:=> ShowHelper showHelperBook'BookgetBook emptyBookget?:set=:modify%:delete fromRecord$fDefaultBook' $fMonoidBook' $fEqBook'$fShowHelperBook' $fShowBook'$fDefaultBook'0 $fEqBook'0$fShowHelperBook'0 $fIsLabelsKey$fFromGenerick:*:book$fFromGenerickM1v$fFromGenerickM1book$fFromGenerickM1book0$fFromGenericklhsbook$fFromGenerick:+:book$fEqKey $fShowKey $fReadKey $fGenericKeyrlens$fIsLabelfield(->).type-level-sets-0.8.0.0-EjZH6IzA4dGAvyq5POXXaR Data.Type.Map:->