Safe Haskell | None |
---|---|
Language | GHC2021 |
Development.IDE.Graph.Internal.Key
Synopsis
- data Key
- data KeyValue = (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
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 #
KeySet
nullKeySet :: KeySet -> Bool #
insertKeySet :: Key -> KeySet -> KeySet #
memberKeySet :: Key -> KeySet -> Bool #
toListKeySet :: KeySet -> [Key] #
lengthKeySet :: KeySet -> Int #
singletonKeySet :: Key -> KeySet #
fromListKeySet :: [Key] -> KeySet #
deleteKeySet :: Key -> KeySet -> KeySet #
differenceKeySet :: KeySet -> KeySet -> KeySet #