Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. checkSatAssumingWithUnsatisfiableSet :: (MonadIO m, MonadQuery m) => [SBool] -> m (CheckSatResult, Maybe [SBool])

    sbv Data.SBV.Trans.Control

    Generalization of checkSatAssumingWithUnsatisfiableSet

  2. resetAssertions :: (MonadIO m, MonadQuery m) => m ()

    sbv Data.SBV.Trans.Control

    Generalization of resetAssertions

  3. variationsSetAxis :: FontDescriptionAxis a => a -> Variations -> Variations

    simple-pango Data.Font.VariationAxis

    No documentation available.

  4. variationsSetAxis :: FontDescriptionAxis a => a -> Variations -> Variations

    simple-pango Data.Font.VariationAxis.Internal

    No documentation available.

  5. type Offset = Int

    store-core Data.Store.Core

    How far into the given Ptr to look

  6. toIntSet :: forall (m :: Type -> Type) . Monad m => Fold m Int IntSet

    streamly-core Streamly.Data.Fold

    Fold the input to an int set. For integer inputs this performs better than toSet. Definition: 

    >>> toIntSet = Fold.foldl' (flip IntSet.insert) IntSet.empty

  7. toSet :: forall (m :: Type -> Type) a . (Monad m, Ord a) => Fold m a (Set a)

    streamly-core Streamly.Data.Fold

    Fold the input to a set. Definition: 

    >>> toSet = Fold.foldl' (flip Set.insert) Set.empty

  8. toIntSet :: forall (m :: Type -> Type) . Monad m => Fold m Int IntSet

    streamly-core Streamly.Internal.Data.Fold

    Fold the input to an int set. For integer inputs this performs better than toSet. Definition: 

    >>> toIntSet = Fold.foldl' (flip IntSet.insert) IntSet.empty

  9. toSet :: forall (m :: Type -> Type) a . (Monad m, Ord a) => Fold m a (Set a)

    streamly-core Streamly.Internal.Data.Fold

    Fold the input to a set. Definition: 

    >>> toSet = Fold.foldl' (flip Set.insert) Set.empty

  10. _endOffset :: Name

    streamly-core Streamly.Internal.Data.MutByteArray

    No documentation available.

Page 164 of many | Previous | Next