| Copyright | (C) 2017 ATS Advanced Telematic Systems GmbH |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Stevan Andjelkovic <stevan@advancedtelematic.com> |
| Stability | provisional |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.StateMachine.Internal.IxMap
Description
This module provides indexed maps. These are used to implement support for multiple references.
- data IxMap ix k vs
- empty :: IxMap i k vs
- (!) :: Ord k => IxMap ix k vs -> (Sing i, k) -> vs @@ i
- lookup :: Ord k => Sing i -> k -> IxMap ix k vs -> Maybe (vs @@ i)
- member :: Ord k => Sing (i :: ix) -> k -> IxMap ix k vs -> Bool
- insert :: (Ord k, SDecide ix) => Sing i -> k -> (vs @@ i) -> IxMap ix k vs -> IxMap ix k vs
- size :: Sing (i :: ix) -> IxMap ix k vs -> Int