Hoogle Search

Within LTS Haskell 24.9 (ghc-9.10.2)

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

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

  2. UIntSetWidthFn :: forall (m :: Natural) (n :: Natural) (f :: BaseType -> Type) . (1 <= m, 1 <= n) => !NatRepr m -> !NatRepr n -> MatlabSolverFn f ((EmptyCtx :: Ctx BaseType) '::> BaseBVType m) ('BaseBVType n)

    what4 What4.Expr.MATLAB

    No documentation available.

  3. uintSetWidth :: forall (m :: Natural) (n :: Natural) . (IsExprBuilder sym, 1 <= m, 1 <= n) => sym -> SymBV sym m -> NatRepr n -> IO (SymBV sym n)

    what4 What4.Interface

    Convert an unsigned bitvector to the nearest unsigned bitvector with the given width (clamp on overflow).

  4. toIntSet :: [Int] -> IntSet

    discrimination Data.Discrimination

    O(n). Construct an IntSet in linear time. This is an asymptotically faster version of fromList, which exploits ordered discrimination.

  5. toIntSet :: [Int] -> IntSet

    discrimination Data.Discrimination.Sorting

    O(n). Construct an IntSet in linear time. This is an asymptotically faster version of fromList, which exploits ordered discrimination.

  6. type C_PrintSettingsFunc = CString -> CString -> Ptr () -> IO ()

    gi-gtk4 GI.Gtk.Callbacks

    Type for the callback on the (unwrapped) C side.

  7. type PrintSettingsFunc = Text -> Text -> IO ()

    gi-gtk4 GI.Gtk.Callbacks

    No description available in the introspection data.

  8. type PrintSettingsFunc_WithClosures = Text -> Text -> Ptr () -> IO ()

    gi-gtk4 GI.Gtk.Callbacks

    No description available in the introspection data.

  9. drop_closures_PrintSettingsFunc :: PrintSettingsFunc -> PrintSettingsFunc_WithClosures

    gi-gtk4 GI.Gtk.Callbacks

    A simple wrapper that ignores the closure arguments.

  10. dynamic_PrintSettingsFunc :: (HasCallStack, MonadIO m) => FunPtr C_PrintSettingsFunc -> Text -> Text -> Ptr () -> m ()

    gi-gtk4 GI.Gtk.Callbacks

    Given a pointer to a foreign C function, wrap it into a function callable from Haskell.

Page 23 of many | Previous | Next