úÎ!JŠFZL      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJK None &'FHISVXº 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-mapInfix version of $ to facilitate a literal-ish syntax:   (  k1, v1)  ( k2, v2) 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-map7Reduce a constant type map into a plain list of values.type-map0Collapse a type map into a plain list of values.type-mapTraverse the type map. ( with effects.)   None°    None FHSVXk ßtype-map"Insert an element indexed by type t. type-mapInfix version of $ to facilitate a literal-ish syntax:     ! t1 v1   ! t2 v2 !type-mapSee ( )."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-mapMap a function on all elements.&type-mapTraverse the type map. (% with effects.)  !"#$%&'  !"#$%&' None!m  !"#$%&   !"#$%& 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 -.>HIUVXk1Œ2type-mapIntMap-backed type-map.4type-map Empty vector.5type-map"Access an element indexed by type a. O(log n)If a is associated to b in the type list d: 5 @a (v :: 2 d) :: b glet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeMap '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"6type-map*Add an element to the beginning of a map. O(log n)7type-map Synonym of 6.8type-map%Add an element to the end of a list. O(log n)9type-map Synonym of 8. 0123456789 230145678965758595None -.>HIUVXk::type-mapList-backed type-map.<type-map Empty list.=type-map&Access an element indexed by its type a. O(n)If a is associated to b in the type list d: = @a (l :: : d) :: b hlet l = (0 :: Int) <| True <| "Hello" <| empty :: TypeList '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" l"Hello">type-map+Add an element to the beginning of a list. O(1)?type-map Synonym of >.@type-map%Add an element to the end of a list. O(n)Atype-map Synonym of @.:;<=>?@A:;<=>?@A>5?5@5A5None -.>HIUVXkB¶Btype-mapVector-backed type-map.Dtype-map Empty vector.Etype-map"Access an element indexed by type a. O(1)If a is associated to b in the type list d: E @a (v :: B d) :: b jlet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeVector '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"Ftype-map-Add an element to the beginning of a vector. O(n)Gtype-map Synonym of F.Htype-map'Add an element to the end of a vector. O(n)Itype-map Synonym of H.BCDEFGHIBCDEFGHIF5G5H5I5None-HD2Jtype-map Convert from a list to a vector.:<=>?@AJ:<=>?@AJ NoneD¨24567892456789 NoneE()+,,+)(NoneFKtype-map Convert from a vector to a list.BDEFGHIKBDEFGHIKL  !"#$%&'()*+,-..!"/#$%),-0123456788 9:;<=>> 9:;<=?? 9:;<=@*A'type-map-0.1.6.0-2SY6eWxVcBP3XC9r4ed9eiData.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.DynamicemptyData.TypeMap.Dynamic.AltData.TypeMap.MapData.TypeMap.Staticbase GHC.TypeNatsKnownNatghc-prim GHC.TypesAny Unsafe.Coerce unsafeCoerce Data.ProxyProxy ItemKleisliItemFunUnTypedTypedOfTypeItemTypeMapnullsizeinsert<:updatelookupdeleteunion difference intersectionmaptoList toListMaptraverse withTypeRepTyped_atInitLastSnocLookupIndex unsafeIndex unsafeCons unsafeSnocTypeMap'indexcons<|snoc|>TypeList TypeVectortoVector