Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.BiMap
Synopsis
- data BiMap v a b where
- biMapToMap :: BiMap v a b -> Map a b
- biMapFromMap :: ( Ord k, Ord v) => Map k v -> BiMap v k v
- decodeMapAsBimap :: ( FromCBOR a, FromCBOR b, Ord a, Ord b) => Decoder s ( BiMap b a b)
- addBack :: ( Ord v, Ord k) => v -> k -> Map v ( Set k) -> Map v ( Set k)
- retract :: ( Ord v, Ord k) => v -> k -> Map v ( Set k) -> Map v ( Set k)
- insertBackwards :: ( Ord k, Ord v) => v -> v -> k -> Map v ( Set k) -> Map v ( Set k)
- insertWithBiMap :: ( Ord k, Ord v) => (v -> v -> v) -> k -> v -> BiMap v k v -> BiMap v k v
- biMapEmpty :: BiMap v k v
- biMapFromList :: ( Ord k, Ord v) => (v -> v -> v) -> [(k, v)] -> BiMap v k v
- mapflip :: (v -> v -> v) -> v -> v -> v
- biMapFromAscDistinctList :: ( Ord k, Ord v) => [(k, v)] -> BiMap v k v
- type Bimap k v = BiMap v k v
- removeval :: ( Ord k, Ord v) => v -> BiMap v k v -> BiMap v k v
Documentation
data BiMap v a b where Source #
Instances
( Eq k, Eq v) => Eq ( BiMap u k v) Source # | |
( Show k, Show v) => Show ( BiMap u k v) Source # | |
( Ord a, Ord b, ToCBOR a, ToCBOR b) => ToCBOR ( BiMap b a b) Source # | |
( Ord a, Ord b, FromCBOR a, FromCBOR b) => FromCBOR ( BiMap b a b) Source # | |
NFData ( BiMap v a b) Source # | |
Defined in Data.BiMap |
|
( NoThunks a, NoThunks b) => NoThunks ( BiMap v a b) Source # | |
( Ord a, Ord b, FromCBOR a, FromCBOR b) => FromSharedCBOR ( BiMap b a b) Source # | |
type Share ( BiMap b a b) Source # | |
biMapToMap :: BiMap v a b -> Map a b Source #
decodeMapAsBimap :: ( FromCBOR a, FromCBOR b, Ord a, Ord b) => Decoder s ( BiMap b a b) Source #
Decode a serialised CBOR Map as a Bimap
insertWithBiMap :: ( Ord k, Ord v) => (v -> v -> v) -> k -> v -> BiMap v k v -> BiMap v k v Source #
biMapEmpty :: BiMap v k v Source #