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.

  1. singleton :: forall e (si :: StringInfo) . (HasAbsValue e, HashableF e, IsExpr e) => StringInfoRepr si -> e (BaseStringType si) -> StringSeq e si

    what4 What4.Expr.StringSeq

    No documentation available.

  2. singleton :: (Ord k, Semigroup v) => k -> v -> a -> AnnotatedMap k v a

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  3. singleton :: forall (w :: Natural) . (HasCallStack, 1 <= w) => NatRepr w -> Integer -> BVDomain w

    what4 What4.Utils.BVDomain

    Create a bitvector domain representing the integer.

  4. singleton :: forall (w :: Natural) . (HasCallStack, 1 <= w) => NatRepr w -> Integer -> Domain w

    what4 What4.Utils.BVDomain.Arith

    Create a bitvector domain representing the integer.

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

    what4 What4.Utils.BVDomain.Bitwise

    Return a domain containing just the given value

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

    what4 What4.Utils.BVDomain.XOR

    Return a domain containing just the given value

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

    what4 What4.Utils.LeqMap

    No documentation available.

  8. singleton :: Word16 -> Word16String

    what4 What4.Utils.Word16String

    Compute the string containing just the given character

  9. 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.

  10. singleton :: a -> Bag a

    Agda Agda.Utils.Bag

    O(1)

Page 27 of many | Previous | Next