Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. singleton :: SChar -> SString

    sbv Data.SBV.String

    singleton c is the string of length 1 that contains the only character c. 

    >>> prove $ \c -> c .== literal 'A' .=> singleton c .== "A"
Q.E.D.

>>> prove $ \c -> length (singleton c) .== 1
Q.E.D.

  2. singleton :: C bits => Int -> Set bits

    set-cover Math.SetCover.BitPosition

    No documentation available.

  3. singleton :: a -> Enumerate a

    testing-feat Test.Feat.Enumerate

    The definition of pure for the applicative instance.

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

    vector-stream Data.Stream.Monadic

    Singleton Stream

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

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

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

    what4 What4.Utils.AnnotatedMap

    No documentation available.

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

    what4 What4.Utils.BVDomain

    Create a bitvector domain representing the integer.

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

    what4 What4.Utils.BVDomain.Arith

    Create a bitvector domain representing the integer.

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

    what4 What4.Utils.BVDomain.Bitwise

    Return a domain containing just the given value

Page 26 of many | Previous | Next