Îõ³h$0¨Î      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM None '(ÇÉÊÔ×ÙE 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-map3Update a (possibly absent) element indexed by type t.type-map"Lookup an element indexed by type t.type-mapÑDelete a key and its value from the map. Does nothing if the key does not exist.type-mapÎLeft-biased union of two maps; it keeps the first key if duplicates are found.type-mapÓDifference of two maps; keep elements of the first map which are not in the second.type-mapÖIntersection 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 ÇÉÔ×Ùì ^ 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-map3Update a (possibly absent) element indexed by type t.%type-map"Lookup an element indexed by type t.&type-mapÑDelete 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./?ÉÔÖ×Ùì Ð*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.0type-mapHelper to define cons functions.1type-mapHelper to define snoc functions. *+,-./01 *+,-./01None ./?ÉÊÖ×ÙìU4type-mapIntMap-backed type-map.6type-map Empty vector.7type-map"Access an element indexed by type a. O(log n)If a is associated to b in the type list d: 7 @a (v :: 4 d) :: b çlet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeMap '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"8type-map*Add an element to the beginning of a map. O(log n)9type-map Synonym of 8.:type-map%Add an element to the end of a list. O(log n);type-map Synonym of :. 23456789:; 45236789:;8595:5;5None ./?ÉÊÖ×Ùìâ<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 èlet 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)Atype-map Synonym of @.Btype-map%Add an element to the end of a list. O(n)Ctype-map Synonym of B.<=>?@ABC<=>?@ABC@5A5B5C5None ./?ÉÊÖ×ÙìqDtype-mapVector-backed type-map.Ftype-map Empty vector.Gtype-map"Access an element indexed by type a. O(1)If a is associated to b in the type list d: G @a (v :: D d) :: b êlet v = (0 :: Int) <| True <| "Hello" <| empty :: TypeVector '[ '("a", Int), '("b", Bool), '("c", String)] index @"c" v"Hello"Htype-map-Add an element to the beginning of a vector. O(n)Itype-map Synonym of H.Jtype-map'Add an element to the end of a vector. O(n)Ktype-map Synonym of J.DEFGHIJKDEFGHIJKH5I5J5K5None.ÉèLtype-map Convert from a list to a vector.<>?@ABCL<>?@ABCL None46789:;46789:; None@*+-..-+*None”Mtype-map Convert from a vector to a list.DFGHIJKMDFGHIJKMÎ  !"#$%&'()*+,-.//!"0#$%&*-.1234567899 :;<=>?? :;<=>@@ :;<=>A+Â'type-map-0.1.7.0-HWgjaakvmpv7HJATPeFJ8uData.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<:updatealterlookupdeleteunion difference intersectionmaptoList toListMaptraverse withTypeRepTyped_atInitLastSnocLookupIndex unsafeIndex unsafeCons unsafeSnocTypeMap'indexcons<|snoc|>TypeList TypeVectortoVector