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 :: a -> MultiSet a

    multiset Data.MultiSet

    O(1). Create a singleton mutli set.

  2. singleton :: t -> a -> Timeline t a

    netwire FRP.Netwire.Utils.Timeline

    Singleton timeline with the given point.

  3. singleton :: Int -> Bitmap

    primitive-extras PrimitiveExtras.Bitmap

    No documentation available.

  4. singleton :: Int -> e -> By6Bits e

    primitive-extras PrimitiveExtras.By6Bits

    An array with a single element at the specified index.

  5. singleton :: (Typeable a, MonadIO m, MonadReader Cache m) => m a -> m a

    registry Data.Registry.Internal.Cache

    Cache an effectful value by using its type as the cache key

  6. singleton :: (Typeable a, MonadIO m, MonadReader Cache m) => m a -> m a

    registry Data.Registry.Rio

    Cache an effectful value by using its type as the cache key

  7. singleton :: forall (ts :: [Type]) x . PathInternal ts -> HVectElim ts x -> PathMap x

    reroute Web.Routing.SafeRouting

    No documentation available.

  8. singleton :: forall (l :: Symbol) a . KnownSymbol l => Label l -> a -> Var (l .== a)

    row-types Data.Row.Variants

    A quick constructor to create a singleton variant.

  9. singleton :: SymVal a => SBV a -> SList a

    sbv Data.SBV.List

    singleton x is the list of length 1 that contains the only value x. 

    >>> prove $ \(x :: SInteger) -> head (singleton x) .== x
Q.E.D.

>>> prove $ \(x :: SInteger) -> length (singleton x) .== 1
Q.E.D.

  10. singleton :: (Ord a, SymVal a) => SBV a -> SSet a

    sbv Data.SBV.Set

    Singleton list. 

    >>> singleton 2 :: SSet Integer
{2} :: {SInteger}

Page 25 of many | Previous | Next