| 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 #