Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- data Label
- data LabelMap v
- data LabelSet
- type FactBase f = LabelMap f
- lookupFact :: Label -> FactBase f -> Maybe f
- mkHooplLabel :: Word64 -> Label
- setEmpty :: LabelSet
- setNull :: LabelSet -> Bool
- setSize :: LabelSet -> Int
- setMember :: Label -> LabelSet -> Bool
- setSingleton :: Label -> LabelSet
- setInsert :: Label -> LabelSet -> LabelSet
- setDelete :: Label -> LabelSet -> LabelSet
- setUnion :: LabelSet -> LabelSet -> LabelSet
- setUnions :: [LabelSet] -> LabelSet
- setDifference :: LabelSet -> LabelSet -> LabelSet
- setIntersection :: LabelSet -> LabelSet -> LabelSet
- setIsSubsetOf :: LabelSet -> LabelSet -> Bool
- setFilter :: (Label -> Bool) -> LabelSet -> LabelSet
- setFoldl :: (t -> Label -> t) -> t -> LabelSet -> t
- setFoldr :: (Label -> t -> t) -> t -> LabelSet -> t
- setFromList :: [Label] -> LabelSet
- setElems :: LabelSet -> [Label]
- mapNull :: LabelMap a -> Bool
- mapSize :: LabelMap a -> Int
- mapMember :: Label -> LabelMap a -> Bool
- mapLookup :: Label -> LabelMap a -> Maybe a
- mapFindWithDefault :: a -> Label -> LabelMap a -> a
- mapEmpty :: LabelMap v
- mapSingleton :: Label -> v -> LabelMap v
- mapInsert :: Label -> v -> LabelMap v -> LabelMap v
- mapInsertWith :: (v -> v -> v) -> Label -> v -> LabelMap v -> LabelMap v
- mapDelete :: Label -> LabelMap v -> LabelMap v
- mapAlter :: (Maybe v -> Maybe v) -> Label -> LabelMap v -> LabelMap v
- mapAdjust :: (v -> v) -> Label -> LabelMap v -> LabelMap v
- mapUnion :: LabelMap v -> LabelMap v -> LabelMap v
- mapUnions :: [LabelMap a] -> LabelMap a
- mapUnionWithKey :: (Label -> v -> v -> v) -> LabelMap v -> LabelMap v -> LabelMap v
- mapDifference :: LabelMap v -> LabelMap b -> LabelMap v
- mapIntersection :: LabelMap v -> LabelMap b -> LabelMap v
- mapIsSubmapOf :: Eq a => LabelMap a -> LabelMap a -> Bool
- mapMap :: (a -> v) -> LabelMap a -> LabelMap v
- mapMapWithKey :: (Label -> a -> v) -> LabelMap a -> LabelMap v
- mapFoldl :: (a -> b -> a) -> a -> LabelMap b -> a
- mapFoldr :: (a -> b -> b) -> b -> LabelMap a -> b
- mapFoldlWithKey :: (t -> Label -> b -> t) -> t -> LabelMap b -> t
- mapFoldMapWithKey :: Monoid m => (Label -> t -> m) -> LabelMap t -> m
- mapFilter :: (v -> Bool) -> LabelMap v -> LabelMap v
- mapFilterWithKey :: (Label -> v -> Bool) -> LabelMap v -> LabelMap v
- mapElems :: LabelMap a -> [a]
- mapKeys :: LabelMap a -> [Label]
- mapToList :: LabelMap b -> [(Label, b)]
- mapFromList :: [(Label, v)] -> LabelMap v
- mapFromListWith :: (v -> v -> v) -> [(Label, v)] -> LabelMap v
Documentation
Instances
mkHooplLabel :: Word64 -> Label Source #
Set
setSingleton :: Label -> LabelSet Source #
setFromList :: [Label] -> LabelSet Source #
Map
mapFindWithDefault :: a -> Label -> LabelMap a -> a Source #
mapSingleton :: Label -> v -> LabelMap v Source #
mapFoldlWithKey :: (t -> Label -> b -> t) -> t -> LabelMap b -> t Source #
mapFromList :: [(Label, v)] -> LabelMap v Source #
mapFromListWith :: (v -> v -> v) -> [(Label, v)] -> LabelMap v Source #