úÎ9ë6@      !"#$%&'()*+,-./0123456789:;<=>? None &'DFQTV€A constant mapping to type a.  ( a)3 is the type of maps from types to values of type a.^An extensible type family mapping types (as keys) to types of values, parameterized by types x.Map from types t of kind * to values of type Item x t.Whether the map is empty. "The number of elements in the map. Empty type map. "Insert an element indexed by type t. "Lookup an element indexed by type t. QDelete a key and its value from the map. Does nothing if the key does not exist.NLeft-biased union of two maps; it keeps the first key if duplicates are found.SDifference of two maps; keep elements of the first map which are not in the second.VIntersection of two maps; keep elements of the first map which are also in the second.Map a function on all elements.Traverse the map.   Nonea   None DFQTVhë"Insert an element indexed by type t."Lookup an element indexed by type t.QDelete a key and its value from the map. Does nothing if the key does not exist. Nonel   None,-<FQSTVhÐ!All elements except the last one.Last element of a list.Append a type to a list.Type associated with a in d . If the key a/ occurs multiple times, the first one is used. Index of type key a in association list d.!Helper to define index functions."Helper to define cons functions.#Helper to define snoc functions. @ABCD !"# !"#None ,-<FSTVh#M&IntMap-backed type-map.( Empty vector.)"Access an element indexed by type a. O(log n)If a is associated to b in the type list d: ) @a (v :: & d) :: b glet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeMap '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"**Add an element to the beginning of a map. O(log n)+ Synonym of *.,%Add an element to the end of a list. O(log n)- Synonym of ,. $%&'()*+,- &'$%()*+,-$%&'*5+5,5-5None ,-<FSTVh*ü.List-backed type-map.0 Empty list.1&Access an element indexed by its type a. O(n)If a is associated to b in the type list d: 1 @a (l :: . d) :: b hlet l = (0 :: Int) <| True <| "Hello" <| empty :: TypeList '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" l"Hello"2+Add an element to the beginning of a list. O(1)3 Synonym of 2.4%Add an element to the end of a list. O(n)5 Synonym of 4../012345./012345./25354555None ,-<FSTVh2ª6Vector-backed type-map.8 Empty vector.9"Access an element indexed by type a. O(1)If a is associated to b in the type list d: 9 @a (v :: 6 d) :: b jlet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeVector '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello":-Add an element to the beginning of a vector. O(n); Synonym of :.<'Add an element to the end of a vector. O(n)= Synonym of <.6789:;<=6789:;<=67:5;5<5=5None,F4> Convert from a list to a vector..012345>.012345> None4‡&()*+,-&()*+,- None4÷  None5×? Convert from a vector to a list.689:;<=?689:;<=?E   !"#$%&'())*+,-.//*+,-.00*+,-.1234567839:3;<3;<='type-map-0.1.2.0-GUsiZ7GKcCl2UxFnYqWns1Data.TypeMap.Internal.Dynamic!Data.TypeMap.Internal.Dynamic.AltData.TypeMap.Internal.UnsafeData.TypeMap.Internal.MapData.TypeMap.Internal.ListData.TypeMap.Internal.VectorData.TypeMap.ListData.TypeMap.VectorData.TypeMap.DynamicData.TypeMap.Dynamic.AltData.TypeMap.MapData.TypeMap.Static ItemKleisliItemFunUnTypedTypedOfTypeItemTypeMapnullsizeemptyinsertlookupdeleteunion difference intersectionmaptraverse withTypeRepTyped_InitLastSnocLookupIndex unsafeIndex unsafeCons unsafeSnocTypeMap'indexcons<|snoc|>TypeList TypeVectortoVectortoListbase GHC.TypeNatsKnownNatghc-prim GHC.TypesAny Unsafe.Coerce unsafeCoerce Data.ProxyProxy