type family InsertLookupWithKey (a :: TyFun k (TyFun a (TyFun a a -> Type) -> Type) -> Type) (a :: k) (a :: a) (a :: Dict' s k a) :: (Maybe a, Dict' s k a) where ...

data InsertLookupWithKeySym0 l

data InsertLookupWithKeySym1 l l

data InsertLookupWithKeySym2 l l l

data InsertLookupWithKeySym3 l l l l

type InsertLookupWithKeySym4 t t t t

deleteFindMin

sDeleteFindMin

type family DeleteFindMin (a :: Dict' s k a) :: ((k, a), Dict' s k a) where ...

data DeleteFindMinSym0 l

type DeleteFindMinSym1 t

deleteFindMax

sDeleteFindMax

type family DeleteFindMax (a :: Dict' s k a) :: ((k, a), Dict' s k a) where ...

data DeleteFindMaxSym0 l

type DeleteFindMaxSym1 t

delete

sDelete

type family Delete (a :: k) (a :: Dict' s k a) :: Dict' s k a where ...

data DeleteSym0 l

data DeleteSym1 l l

type DeleteSym2 t t

adjust

sAdjust

type family Adjust (a :: TyFun a a -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ...

data AdjustSym0 l

data AdjustSym1 l l

data AdjustSym2 l l l

type AdjustSym3 t t t

adjustWithKey

sAdjustWithKey

type family AdjustWithKey (a :: TyFun k (TyFun a a -> Type) -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ...

data AdjustWithKeySym0 l

data AdjustWithKeySym1 l l

data AdjustWithKeySym2 l l l

type AdjustWithKeySym3 t t t

update

sUpdate

type family Update (a :: TyFun a (Maybe a) -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ...

data UpdateSym0 l

data UpdateSym1 l l

data UpdateSym2 l l l

type UpdateSym3 t t t

updateWithKey

sUpdateWithKey

type family UpdateWithKey (a :: TyFun k (TyFun a (Maybe a) -> Type) -> Type) (a :: k) (a :: Dict' s k a) :: Dict' s k a where ...

data UpdateWithKeySym0 l

data UpdateWithKeySym1 l l

data UpdateWithKeySym2 l l l

type UpdateWithKeySym3 t t t

updateLookupWithKey

sUpdateLookupWithKey

type family UpdateLookupWithKey (a :: TyFun k (TyFun a (Maybe a) -> Type) -> Type) (a :: k) (a :: Dict' s k a) :: (Maybe a, Dict' s k a) where ...

data UpdateLookupWithKeySym0 l

data UpdateLookupWithKeySym1 l l

data UpdateLookupWithKeySym2 l l l

type UpdateLookupWithKeySym3 t t t

trim

sTrim

type family Trim (a :: TyFun k Ordering -> Type) (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: Dict' s k a where ...

data TrimSym0 l

data TrimSym1 l l

data TrimSym2 l l l

type TrimSym3 t t t

trimLookupLo

sTrimLookupLo

type family TrimLookupLo (a :: k) (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: (Maybe a, Dict' s k a) where ...

data TrimLookupLoSym0 l

data TrimLookupLoSym1 l l

data TrimLookupLoSym2 l l l

type TrimLookupLoSym3 t t t

filterGt

sFilterGt

type family FilterGt (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: Dict' s k a where ...

data FilterGtSym0 l

data FilterGtSym1 l l

type FilterGtSym2 t t

filterLt

sFilterLt

type family FilterLt (a :: TyFun k Ordering -> Type) (a :: Dict' s k a) :: Dict' s k a where ...

data FilterLtSym0 l

data FilterLtSym1 l l

type FilterLtSym2 t t

split

sSplit

type family Split (a :: k) (a :: Dict' s k a) :: (Dict' s k a, Dict' s k a) where ...

data SplitSym0 l

data SplitSym1 l l

type SplitSym2 t t

splitLookup

sSplitLookup

type family SplitLookup (a :: k) (a :: Dict' s k a) :: (Maybe a, Dict' s k a, Dict' s k a) where ...

data SplitLookupSym0 l

data SplitLookupSym1 l l

type SplitLookupSym2 t t

unions

sUnions

type family Unions (a :: SizeProxy s) (a :: [Dict' s k a]) :: Dict' s k a where ...

data UnionsSym0 l

data UnionsSym1 l l

type UnionsSym2 t t

union

sUnion

type family Union (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ...

data UnionSym0 l

data UnionSym1 l l

type UnionSym2 t t

unionWith

sUnionWith

type family UnionWith (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ...

data UnionWithSym0 l

data UnionWithSym1 l l

data UnionWithSym2 l l l

type UnionWithSym3 t t t

unionWithKey

sUnionWithKey

type family UnionWithKey (a :: TyFun k (TyFun a (TyFun a a -> Type) -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ...

data UnionWithKeySym0 l

data UnionWithKeySym1 l l

data UnionWithKeySym2 l l l

type UnionWithKeySym3 t t t

difference

sDifference

type family Difference (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ...

data DifferenceSym0 l

data DifferenceSym1 l l

type DifferenceSym2 t t

intersection

sIntersection

type family Intersection (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ...

data IntersectionSym0 l

data IntersectionSym1 l l

type IntersectionSym2 t t

intersectionWith

sIntersectionWith

type family IntersectionWith (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ...

data IntersectionWithSym0 l

data IntersectionWithSym1 l l

data IntersectionWithSym2 l l l

type IntersectionWithSym3 t t t

intersectionWithKey

sIntersectionWithKey

type family IntersectionWithKey (a :: TyFun k (TyFun a (TyFun a a -> Type) -> Type) -> Type) (a :: Dict' s k a) (a :: Dict' s k a) :: Dict' s k a where ...

data IntersectionWithKeySym0 l

data IntersectionWithKeySym1 l l

data IntersectionWithKeySym2 l l l

type IntersectionWithKeySym3 t t t

fold

sFold

type family Fold (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ...

data FoldSym0 l

data FoldSym1 l l

data FoldSym2 l l l

type FoldSym3 t t t

foldWithKey

sFoldWithKey

type family FoldWithKey (a :: TyFun k (TyFun a (TyFun b b -> Type) -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ...

data FoldWithKeySym0 l

data FoldWithKeySym1 l l

data FoldWithKeySym2 l l l

type FoldWithKeySym3 t t t

foldL

sFoldL

type family FoldL (a :: TyFun b (TyFun k (TyFun a b -> Type) -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ...

data FoldLSym0 l

data FoldLSym1 l l

data FoldLSym2 l l l

type FoldLSym3 t t t

foldR

sFoldR

type family FoldR (a :: TyFun k (TyFun a (TyFun b b -> Type) -> Type) -> Type) (a :: b) (a :: Dict' s k a) :: b where ...

data FoldRSym0 l

data FoldRSym1 l l

data FoldRSym2 l l l

type FoldRSym3 t t t

assocs

sAssocs

type family Assocs (a :: Dict' s k a) :: [(k, a)] where ...

data AssocsSym0 l

type AssocsSym1 t

elems

sElems

type family Elems (a :: Dict' s k a) :: [a] where ...

data ElemsSym0 l

type ElemsSym1 t

keys

sKeys

type family Keys (a :: Dict' s k a) :: [k] where ...

data KeysSym0 l

type KeysSym1 t

fromList

sFromList

type family FromList (a :: SizeProxy s) (a :: [(k, a)]) :: Dict' s k a where ...

data FromListSym0 l

data FromListSym1 l l

type FromListSym2 t t

fromListWith

sFromListWith

type family FromListWith (a :: SizeProxy s) (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [(k, a)]) :: Dict' s k a where ...

data FromListWithSym0 l

data FromListWithSym1 l l

data FromListWithSym2 l l l

type FromListWithSym3 t t t

fromListWithKey

sFromListWithKey

type family FromListWithKey (a :: SizeProxy s) (a :: TyFun k (TyFun a (TyFun a a -> Type) -> Type) -> Type) (a :: [(k, a)]) :: Dict' s k a where ...

data FromListWithKeySym0 l

data FromListWithKeySym1 l l

data FromListWithKeySym2 l l l

type FromListWithKeySym3 t t t

toList

sToList

type family ToList (a :: Dict' s k a) :: [(k, a)] where ...

data ToListSym0 l

type ToListSym1 t

toAscList

sToAscList

type family ToAscList (a :: Dict' s k a) :: [(k, a)] where ...

data ToAscListSym0 l

type ToAscListSym1 t

toDescList

sToDescList

type family ToDescList (a :: Dict' s k a) :: [(k, a)] where ...

data ToDescListSym0 l

type ToDescListSym1 t

dictMap

sDictMap

type family DictMap (a :: TyFun a b -> Type) (a :: Dict' s k a) :: Dict' s k b where ...

data DictMapSym0 l

data DictMapSym1 l l

type DictMapSym2 t t

mapWithKey

sMapWithKey

type family MapWithKey (a :: TyFun k (TyFun a b -> Type) -> Type) (a :: Dict' s k a) :: Dict' s k b where ...

data MapWithKeySym0 l

data MapWithKeySym1 l l

type MapWithKeySym2 t t

mapAccum

sMapAccum

type family MapAccum (a :: TyFun a (TyFun b (a, c) -> Type) -> Type) (a :: a) (a :: Dict' s k b) :: (a, Dict' s k c) where ...

data MapAccumSym0 l

data MapAccumSym1 l l

data MapAccumSym2 l l l

type MapAccumSym3 t t t

mapAccumWithKey

sMapAccumWithKey

type family MapAccumWithKey (a :: TyFun a (TyFun k (TyFun b (a, c) -> Type) -> Type) -> Type) (a :: a) (a :: Dict' s k b) :: (a, Dict' s k c) where ...

data MapAccumWithKeySym0 l

data MapAccumWithKeySym1 l l

data MapAccumWithKeySym2 l l l

type MapAccumWithKeySym3 t t t

mapAccumL

sMapAccumL

type family MapAccumL (a :: TyFun a (TyFun k (TyFun b (a, c) -> Type) -> Type) -> Type) (a :: a) (a :: Dict' s k b) :: (a, Dict' s k c) where ...

data MapAccumLSym0 l

data MapAccumLSym1 l l

data MapAccumLSym2 l l l

type MapAccumLSym3 t t t

mapAccumR