| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | GHC2021 | 
Development.IDE.Graph.Internal.Key
Synopsis
- data Key
 - data KeyValue = forall a.(Typeable a, Hashable a, Show a) => KeyValue a Text
 - pattern Key :: () => (Typeable a, Hashable a, Show a) => a -> Key
 - newKey :: (Typeable a, Hashable a, Show a) => a -> Key
 - renderKey :: Key -> Text
 - data KeyMap a
 - mapKeyMap :: (a -> b) -> KeyMap a -> KeyMap b
 - insertKeyMap :: Key -> a -> KeyMap a -> KeyMap a
 - lookupKeyMap :: Key -> KeyMap a -> Maybe a
 - lookupDefaultKeyMap :: a -> Key -> KeyMap a -> a
 - fromListKeyMap :: [(Key, a)] -> KeyMap a
 - fromListWithKeyMap :: (a -> a -> a) -> [(Key, a)] -> KeyMap a
 - toListKeyMap :: KeyMap a -> [(Key, a)]
 - elemsKeyMap :: KeyMap a -> [a]
 - restrictKeysKeyMap :: KeyMap a -> KeySet -> KeyMap a
 - data KeySet
 - nullKeySet :: KeySet -> Bool
 - insertKeySet :: Key -> KeySet -> KeySet
 - memberKeySet :: Key -> KeySet -> Bool
 - toListKeySet :: KeySet -> [Key]
 - lengthKeySet :: KeySet -> Int
 - filterKeySet :: (Key -> Bool) -> KeySet -> KeySet
 - singletonKeySet :: Key -> KeySet
 - fromListKeySet :: [Key] -> KeySet
 - deleteKeySet :: Key -> KeySet -> KeySet
 - differenceKeySet :: KeySet -> KeySet -> KeySet
 
Documentation
KeyMap
lookupDefaultKeyMap :: a -> Key -> KeyMap a -> a Source #
fromListKeyMap :: [(Key, a)] -> KeyMap a Source #
fromListWithKeyMap :: (a -> a -> a) -> [(Key, a)] -> KeyMap a Source #
toListKeyMap :: KeyMap a -> [(Key, a)] Source #
elemsKeyMap :: KeyMap a -> [a] Source #
KeySet
nullKeySet :: KeySet -> Bool Source #
toListKeySet :: KeySet -> [Key] Source #
lengthKeySet :: KeySet -> Int Source #
singletonKeySet :: Key -> KeySet Source #
fromListKeySet :: [Key] -> KeySet Source #