Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

  1. windowSetInteractiveDebugging :: (HasCallStack, MonadIO m) => Bool -> m ()

    gi-gtk3 GI.Gtk.Objects.Window

    Opens or closes the [interactive debugger][interactive-debugging], which offers access to the widget hierarchy of the application and to useful debugging tools. Since: 3.14

  2. afterStartInteractiveSearch :: TreeViewClass self => self -> IO () -> IO (ConnectId self)

    gtk Graphics.UI.Gtk.ModelView.TreeView

    The user wants to search interactively.

    • Connect to this signal if you want to provide you own search facility. Note that you must handle all keyboard input yourself.

  3. onStartInteractiveSearch :: TreeViewClass self => self -> IO () -> IO (ConnectId self)

    gtk Graphics.UI.Gtk.ModelView.TreeView

    The user wants to search interactively.

    • Connect to this signal if you want to provide you own search facility. Note that you must handle all keyboard input yourself.

  4. textBufferDeleteInteractive :: TextBufferClass self => self -> TextIter -> TextIter -> Bool -> IO Bool

    gtk Graphics.UI.Gtk.Multiline.TextBuffer

    Deletes all editable text in the given range. Calls textBufferDelete for each editable sub-range of [start,end). start and end are revalidated to point to the location of the last deleted range, or left untouched if no text was deleted.

  5. textBufferInsertByteStringInteractive :: TextBufferClass self => self -> TextIter -> ByteString -> Bool -> IO Bool

    gtk Graphics.UI.Gtk.Multiline.TextBuffer

    Similar to textBufferInsertInteractive but uses ByteString buffers.

    • The passed-in buffer must contain a valid UTF-8 encoded string.

  6. textBufferInsertByteStringInteractiveAtCursor :: TextBufferClass self => self -> ByteString -> Bool -> IO Bool

    gtk Graphics.UI.Gtk.Multiline.TextBuffer

    Similar to textBufferInsertInteractiveAtCursor but uses ByteString buffers.

    • The passed-in buffer must contain a valid UTF-8 encoded string.

  7. textBufferInsertInteractive :: (TextBufferClass self, GlibString string) => self -> TextIter -> string -> Bool -> IO Bool

    gtk Graphics.UI.Gtk.Multiline.TextBuffer

    Like textBufferInsert, but the insertion will not occur if iter is at a non-editable location in the buffer. Usually you want to prevent insertions at ineditable locations if the insertion results from a user action (is interactive). If no tag is at the specified position, use the default value def to decide if the text should be inserted. This value could be set to the result of textViewGetEditable.

  8. textBufferInsertInteractiveAtCursor :: (TextBufferClass self, GlibString string) => self -> string -> Bool -> IO Bool

    gtk Graphics.UI.Gtk.Multiline.TextBuffer

    Calls textBufferInsertInteractive at the cursor position.

  9. textBufferInsertRangeInteractive :: TextBufferClass self => self -> TextIter -> TextIter -> TextIter -> Bool -> IO Bool

    gtk Graphics.UI.Gtk.Multiline.TextBuffer

    Same as textBufferInsertRange, but does nothing if the insertion point isn't editable. The defaultEditable parameter indicates whether the text is editable at iter if no tags enclosing iter affect editability. Typically the result of textViewGetEditable is appropriate here.

  10. ginteractive :: Config -> Bool

    liquid-fixpoint Language.Fixpoint.Types.Config

    interactive gradual solving

Page 27 of many | Previous | Next