Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Documentation
insertWithTM :: TrieMap m k => (a -> a -> a) -> k -> a -> m a -> m a Source
mapWithKeyTM :: TrieMap m k => (k -> a -> b) -> m a -> m b Source
mapMaybeTM :: TrieMap m k => (a -> Maybe b) -> m a -> m b Source