úÎ!HDJ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHI None &'FHSVX¨ 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-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;  !"#$   !"#$ 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/B0type-mapIntMap-backed type-map.2type-map Empty vector.3type-map"Access an element indexed by type a. O(log n)If a is associated to b in the type list d: 3 @a (v :: 0 d) :: b glet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeMap '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"4type-map*Add an element to the beginning of a map. O(log n)5type-map Synonym of 4.6type-map%Add an element to the end of a list. O(log n)7type-map Synonym of 6. ./01234567 01./23456745556575None -.>HUVXk7Ë8type-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 :: 8 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)?type-map Synonym of >.89:;<=>?89:;<=>?<5=5>5?5None -.>HUVXk@\@type-mapVector-backed type-map.Btype-map Empty vector.Ctype-map"Access an element indexed by type a. O(1)If a is associated to b in the type list d: C @a (v :: @ d) :: b jlet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeVector '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"Dtype-map-Add an element to the beginning of a vector. O(n)Etype-map Synonym of D.Ftype-map'Add an element to the end of a vector. O(n)Gtype-map Synonym of F.@ABCDEFG@ABCDEFGD5E5F5G5None-HAØHtype-map Convert from a list to a vector.8:;<=>?H8:;<=>?H NoneBN02345670234567 NoneB¼&')**)'&NoneC¼Itype-map Convert from a vector to a list.@BCDEFGI@BCDEFGIJ  !"#$%&'()*+,,!"-#$%)*+./01234566 789:;<< 789:;== 789:;>?@'type-map-0.1.4.0-KYtz0VgSQDBA1v5CYgAOmwData.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 intersectionmaptraverse withTypeRepTyped_atInitLastSnocLookupIndex unsafeIndex unsafeCons unsafeSnocTypeMap'indexcons<|snoc|>TypeList TypeVectortoVectortoList