--- FIXME: auto-derive
-instance Map Headers CIAscii Ascii where
- {-# INLINE delete #-}
- delete k (Headers m) = Headers $ delete k m
- {-# INLINE member #-}
- member k (Headers m) = member k m
- {-# INLINE union #-}
- union (Headers α) (Headers β)
- = Headers $ union α β
- {-# INLINE intersection #-}
- intersection (Headers α) (Headers β)
- = Headers $ intersection α β
- {-# INLINE difference #-}
- difference (Headers α) (Headers β)
- = Headers $ difference α β
- {-# INLINE isSubset #-}
- isSubset (Headers α) (Headers β)
- = isSubset α β
- {-# INLINE isProperSubset #-}
- isProperSubset (Headers α) (Headers β)
- = isProperSubset α β
- {-# INLINE lookup #-}
- lookup k (Headers m) = lookup k m
- {-# INLINE alter #-}
- alter f k (Headers m)
- = Headers $ alter f k m
- {-# INLINE insertWith #-}
- insertWith f k v (Headers m)
- = Headers $ insertWith f k v m
- {-# INLINE fromFoldableWith #-}
- fromFoldableWith = (Headers ∘) ∘ fromFoldableWith
- {-# INLINE foldGroups #-}
- foldGroups = ((Headers ∘) ∘) ∘ foldGroups
- {-# INLINE mapWithKey #-}
- mapWithKey f (Headers m)
- = Headers $ mapWithKey f m
- {-# INLINE unionWith #-}
- unionWith f (Headers α) (Headers β)
- = Headers $ unionWith f α β
- {-# INLINE intersectionWith #-}
- intersectionWith f (Headers α) (Headers β)
- = Headers $ intersectionWith f α β
- {-# INLINE differenceWith #-}
- differenceWith f (Headers α) (Headers β)
- = Headers $ differenceWith f α β
- {-# INLINE isSubmapBy #-}
- isSubmapBy f (Headers α) (Headers β)
- = isSubmapBy f α β
- {-# INLINE isProperSubmapBy #-}
- isProperSubmapBy f (Headers α) (Headers β)
- = isProperSubmapBy f α β
-
--- FIXME: auto-derive
-instance SortingCollection Headers (CIAscii, Ascii) where
- {-# INLINE minView #-}
- minView (Headers m) = second Headers <$> minView m
-