úÎ!B*>@G      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEF None &'FHSVXx type-mapA constant mapping to type a.   (  a)3 is the type of maps from types to values of type a. type-map^An extensible type family mapping types (as keys) to types of values, parameterized by types x. type-mapMap from types t of kind * to values of type Item x t. type-mapWhether the map is empty.type-map"The number of elements in the map.type-mapEmpty type map.type-map"Insert an element indexed by type t.type-map"Update an element indexed by type t.type-map"Lookup an element indexed by type t.type-mapQDelete a key and its value from the map. Does nothing if the key does not exist.type-mapNLeft-biased union of two maps; it keeps the first key if duplicates are found.type-mapSDifference of two maps; keep elements of the first map which are not in the second.type-mapVIntersection of two maps; keep elements of the first map which are also in the second.type-mapMap a function on all elements.type-mapTraverse the map.   NoneV    None FHSVXk type-map"Insert an element indexed by type t.type-map"Update an element indexed by type t.type-map"Lookup an element indexed by type t.type-mapQDelete a key and its value from the map. Does nothing if the key does not exist.  !"  !" None‹  !   ! None-.>HSUVXk!#type-map!All elements except the last one.$type-mapLast element of a list.%type-mapAppend a type to a list.&type-mapType associated with a in d . If the key a/ occurs multiple times, the first one is used.'type-mapIndex of type key a in association list d.(type-mapHelper to define index functions.)type-mapHelper to define cons functions.*type-mapHelper to define snoc functions. #$%&'()* #$%&'()*None -.>HUVXk)‚-type-mapIntMap-backed type-map./type-map Empty vector.0type-map"Access an element indexed by type a. O(log n)If a is associated to b in the type list d: 0 @a (v :: - d) :: b glet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeMap '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"1type-map*Add an element to the beginning of a map. O(log n)2type-map Synonym of 1.3type-map%Add an element to the end of a list. O(log n)4type-map Synonym of 3. +,-./01234 -.+,/0123415253545None -.>HUVXk2 5type-mapList-backed type-map.7type-map Empty list.8type-map&Access an element indexed by its type a. O(n)If a is associated to b in the type list d: 8 @a (l :: 5 d) :: b hlet l = (0 :: Int) <| True <| "Hello" <| empty :: TypeList '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" l"Hello"9type-map+Add an element to the beginning of a list. O(1):type-map Synonym of 9.;type-map%Add an element to the end of a list. O(n)<type-map Synonym of ;.56789:;<56789:;<95:5;5<5None -.>HUVXk:œ=type-mapVector-backed type-map.?type-map Empty vector.@type-map"Access an element indexed by type a. O(1)If a is associated to b in the type list d: @ @a (v :: = d) :: b jlet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeVector '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"Atype-map-Add an element to the beginning of a vector. O(n)Btype-map Synonym of A.Ctype-map'Add an element to the end of a vector. O(n)Dtype-map Synonym of C.=>?@ABCD=>?@ABCDA5B5C5D5None-H<Etype-map Convert from a list to a vector.5789:;<E5789:;<E None<Ž-/01234-/01234 None<ü#$&''&$#None=üFtype-map Convert from a vector to a list.=?@ABCDF=?@ABCDFG     !"#$%&'()*++!"#$()*,-./012344 56789:: 56789;; 56789<=>'type-map-0.1.3.0-HMDitqm44fY8l09ElNFwAmData.TypeMap.Internal.UnsafeData.TypeMap.Internal.Dynamic!Data.TypeMap.Internal.Dynamic.AltData.TypeMap.Internal.MapData.TypeMap.Internal.ListData.TypeMap.Internal.VectorData.TypeMap.ListData.TypeMap.VectorData.TypeMap.DynamicData.TypeMap.Dynamic.AltData.TypeMap.MapData.TypeMap.Staticbase GHC.TypeNatsKnownNatghc-prim GHC.TypesAny Unsafe.Coerce unsafeCoerce Data.ProxyProxy ItemKleisliItemFunUnTypedTypedOfTypeItemTypeMapnullsizeemptyinsertupdatelookupdeleteunion difference intersectionmaptraverse withTypeRepTyped_InitLastSnocLookupIndex unsafeIndex unsafeCons unsafeSnocTypeMap'indexcons<|snoc|>TypeList TypeVectortoVectortoList