úÎ+Ü&ô_      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^None*69:;<=?ADOQRT permits the overloading of Iso " and makes it easier | to wrap a * with a newtype without having to mention  all | the time.Generilization of `. 'Cell1 MyFunctor MyClass' takes values ^ of type 'MyFunctor a' with '(MyClass a,Typeable a)'. The Cell TypeWA polymorphic cell. Type 'Cell MyClass' can take a value of any type that conforms to MyClass and to _. It is defined in terms of .  Similar to  . Uses  to allow the content ^ of a # to be wrapped with a generic type. ContructorsWe can use 'makeCell "hello" :: MyType' if there is an instance ^ 'HasCell MyType (Cell Show)' (or any other class than show).Prisms Treats a [ as an unbounded sum type: 'c^?_Cell :: Maybe a' has the ^ value 'Just x' if x is of type a and c contains value x . If cell c' ^ has a value of any other type then a, 'c^?_Cell == Nothing'. Similar to I but operates on types that wrap a cell instead of ^ on the cell itself. Similar to  but values are wrapped in type f inside the cell. Analogous to  and .Like † but disallows changing the type of the content of the cell. ^ facilitates type checking when the prism is not used for modification.Like  and as . Traversals+ Combinators =7Heterogenous Combinators;Comparing the content of cellsECreating LensesIChange type classesOQuickCheck HelpersS Utilities5Utility function to facilitate the implementation of  | functions in terms of  functions.T Properties;Wrapping two values in cells does not change their equalityUAWrapping two values in cells does not change their relative orderW$Check all the QuickCheck properties.X  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWW  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUWX V  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUWU  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWNone*69:;<=?ADOQRT]Serialize CellsXYZ[\]^XYZ[\]^Z[XY\]^XYZ[\]^`       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abc*existential-0.2.0.0-6twyZ8AdVYtLKL8rzWDSS7Data.Existential Data.FactoryHasCellcell EntailsAllInst1InstCell1CelldictFunToEntailsentailsToDictFundictmakeCell makeCell1_Cell_Cell'_Cell1_Cell1'asCellasCell1asInstasInst1fromInstinstinst1 traverseCell traverseCell' traverseCell1traverseCell1' traverseInst traverseInst1mapCellmapCell'mapCell1 mapCell1'mapInstmapInst1 readCell1 readCell1'readCell readCell'readInst readInst1 apply2Cells apply2Cells' apply2Cells1 apply2Cells1' map2Cells map2Cells' map2Cells1 map2Cells1'read2CellsWithread2CellsWith'read2Cells1Withread2Cells1With' read2CellsH read2CellsH' read2Cells1H read2Cells1H' cell1Equal cell1Equal' cellEqual cellEqual'cellZoomEqual'cell1ZoomEqual' cellCompare cellCompare' cell1Compare cell1Compare'cellLens cellLens' cell1Lens cell1Lens' rewriteCell rewriteInstspectransEnt ordEntailsEqexArrow arbitraryCellarbitraryCell'arbitraryInstanceOfarbitraryInstanceOf' onIdentityprop_consistent_equalprop_consistent_compare$fHasCellCell1Cell1 run_tests HasFactoryfactoryFactory runFactory makeFactoryputCell1getCell1baseData.Typeable.InternalTypeable