-instance Foldable Headers (CIAscii, Ascii) where
- {-# INLINE foldMap #-}
- foldMap f (Headers m) = foldMap f m
-
-instance Collection Headers (CIAscii, Ascii) where
- {-# INLINE filter #-}
- filter f (Headers m) = Headers $ filter f m
-
-instance Indexed Headers CIAscii Ascii where
- {-# INLINE index #-}
- index k (Headers m) = index k m
- {-# INLINE adjust #-}
- adjust f k (Headers m) = Headers $ adjust f k m
- {-# INLINE inDomain #-}
- inDomain k (Headers m) = inDomain k m
-
-instance Map Headers CIAscii Ascii where
- {-# INLINE lookup #-}
- lookup k (Headers m) = lookup k m
- {-# INLINE insertWith #-}
- insertWith f k v (Headers m)
- = Headers $ insertWith f k v m
- {-# 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 α β
-
-instance SortingCollection Headers (CIAscii, Ascii) where
- {-# INLINE minView #-}
- minView (Headers m) = second Headers <$> minView m