Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. singleton :: forall (m :: Type -> Type) a . Monad m => a -> Stream m a

    vector-stream Data.Stream.Monadic

    Singleton Stream

  2. singleton :: forall e (tp :: BaseType) (ctx :: Ctx BaseType) . (HashableF e, HasAbsValue e) => BaseTypeRepr tp -> Assignment IndexLit ctx -> e tp -> ArrayUpdateMap e ctx tp

    what4 What4.Expr.ArrayUpdateMap

    No documentation available.

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

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

    what4 What4.Utils.AnnotatedMap

    No documentation available.

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

    what4 What4.Utils.BVDomain

    Create a bitvector domain representing the integer.

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

    what4 What4.Utils.BVDomain.Arith

    Create a bitvector domain representing the integer.

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

    what4 What4.Utils.BVDomain.Bitwise

    Return a domain containing just the given value

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

    what4 What4.Utils.BVDomain.XOR

    Return a domain containing just the given value

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

    what4 What4.Utils.LeqMap

    No documentation available.

  10. singleton :: Word16 -> Word16String

    what4 What4.Utils.Word16String

    Compute the string containing just the given character

Page 27 of many | Previous | Next