Hoogle Search

Within LTS Haskell 24.22 (ghc-9.10.3)

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

  1. singleton :: forall (w :: Nat) . NatRepr w -> Integer -> Domain w

    what4 What4.Utils.BVDomain.XOR

    Return a domain containing just the given value

  2. singleton :: k -> p -> LeqMap k p

    what4 What4.Utils.LeqMap

    No documentation available.

  3. singleton :: Word16 -> Word16String

    what4 What4.Utils.Word16String

    Compute the string containing just the given character

  4. singleton :: IsBasicRangeMap a m => Ranges -> a -> m

    Agda Agda.Interaction.Highlighting.Precise

    The map singleton rs x contains the ranges from rs, and every position in those ranges is associated with x.

  5. singleton :: a -> Bag a

    Agda Agda.Utils.Bag

    O(1)

  6. singleton :: HasTag v => k -> v -> BiMap k v

    Agda Agda.Utils.BiMap

    Singleton map. O(1).

  7. singleton :: Bool -> BoolSet

    Agda Agda.Utils.BoolSet

    A singleton set.

  8. singleton :: Ord n => n -> n -> e -> Graph n e

    Agda Agda.Utils.Graph.AdjacencyMap.Unidirectional

    A graph with two nodes and a single connecting edge. O(1).

  9. singleton :: Integer -> IntSet

    Agda Agda.Utils.IntSet.Infinite

    A single integer.

  10. singleton :: a -> NonEmpty a

    Agda Agda.Utils.List1

    Construct a NonEmpty list from a single element.

Page 27 of many | Previous | Next