Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. adjustWithKey :: (Ord k, Ord p) => (k -> p -> p) -> k -> PSQ k p -> PSQ k p

   PSQueue	Data.PSQueue

   O(log n) Adjust the priority of a key.

2. adjust :: (Ord p, Ord k) => (p -> p) -> k -> PSQ k p -> PSQ k p

   PSQueue	Data.PSQueue.Internal

   O(log n) Adjust the priority of a key.

3. adjustWithKey :: (Ord k, Ord p) => (k -> p -> p) -> k -> PSQ k p -> PSQ k p

   PSQueue	Data.PSQueue.Internal

   O(log n) Adjust the priority of a key.

4. induceJust :: Graph (Maybe a) -> Graph a

   algebraic-graphs	Algebra.Graph

   Construct the induced subgraph of a given graph by removing the vertices that are Nothing. Complexity: O(s) time, memory and size. Good consumer and producer.

   induceJust (vertex Nothing)                               == empty
   induceJust (edge (Just x) Nothing)                        == vertex x
   induceJust . fmap Just                                    == id
   induceJust . fmap (\x -> if p x then Just x else Nothing) == induce p
   

5. induceJust :: Ord a => AdjacencyMap (Maybe a) -> AdjacencyMap a

   algebraic-graphs	Algebra.Graph.Acyclic.AdjacencyMap

   Construct the induced subgraph of a given graph by removing the vertices that are Nothing. Complexity: O(n + m) time.

   induceJust (vertex Nothing) == empty
   induceJust . vertex . Just  == vertex
   

6. induceJust :: Ord a => AdjacencyMap (Maybe a) -> AdjacencyMap a

   algebraic-graphs	Algebra.Graph.AdjacencyMap

   Construct the induced subgraph of a given graph by removing the vertices that are Nothing. Complexity: O(n + m) time.

   induceJust (vertex Nothing)                               == empty
   induceJust (edge (Just x) Nothing)                        == vertex x
   induceJust . gmap Just                                    == id
   induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
   

7. induceJust :: Graph e (Maybe a) -> Graph e a

   algebraic-graphs	Algebra.Graph.Labelled

   Construct the induced subgraph of a given graph by removing the vertices that are Nothing. Complexity: O(s) time, memory and size.

   induceJust (vertex Nothing)                               == empty
   induceJust (edge (Just x) Nothing)                        == vertex x
   induceJust . fmap Just                                    == id
   induceJust . fmap (\x -> if p x then Just x else Nothing) == induce p
   

8. induceJust :: Ord a => AdjacencyMap e (Maybe a) -> AdjacencyMap e a

   algebraic-graphs	Algebra.Graph.Labelled.AdjacencyMap

   Construct the induced subgraph of a given graph by removing the vertices that are Nothing. Complexity: O(n + m) time.

   induceJust (vertex Nothing)                               == empty
   induceJust (edge (Just x) Nothing)                        == vertex x
   induceJust . gmap Just                                    == id
   induceJust . gmap (\x -> if p x then Just x else Nothing) == induce p
   

9. induceJust1 :: Graph (Maybe a) -> Maybe (Graph a)

   algebraic-graphs	Algebra.Graph.NonEmpty

   Construct the induced subgraph of a given graph by removing the vertices that are Nothing. Returns Nothing if the resulting graph is empty. Complexity: O(s) time, memory and size.

   induceJust1 (vertex Nothing)                               == Nothing
   induceJust1 (edge (Just x) Nothing)                        == Just (vertex x)
   induceJust1 . fmap Just                                    == Just
   induceJust1 . fmap (\x -> if p x then Just x else Nothing) == induce1 p
   

10. induceJust1 :: Ord a => AdjacencyMap (Maybe a) -> Maybe (AdjacencyMap a)

    algebraic-graphs	Algebra.Graph.NonEmpty.AdjacencyMap

    Construct the induced subgraph of a given graph by removing the vertices that are Nothing. Returns Nothing if the resulting graph is empty. Complexity: O(n + m) time.

    induceJust1 (vertex Nothing)                               == Nothing
    induceJust1 (edge (Just x) Nothing)                        == Just (vertex x)
    induceJust1 . gmap Just                                    == Just
    induceJust1 . gmap (\x -> if p x then Just x else Nothing) == induce1 p
    

Page 70 of many | Previous | Next