Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
Generically :: a -> Generically ageneric-data Generic.Data.Microsurgery No documentation available.
ForAllPred :: [TyVar] -> [PredType] -> PredType -> Predghc-typelits-presburger GHC.TypeLits.Presburger.Compat A quantified predicate. See Note [Quantified constraints] in GHC.Tc.Solver.Solve
ForAllTy :: ForAllTyBinder -> Type -> Typeghc-typelits-presburger GHC.TypeLits.Presburger.Compat A Π type. See Note [Why ForAllTy can quantify over a coercion variable] INVARIANT: If the binder is a coercion variable, it must be mentioned in the Type. See Note [Unused coercion variable in ForAllTy]
installCoreToDos :: Plugin -> CorePluginghc-typelits-presburger GHC.TypeLits.Presburger.Compat Modify the Core pipeline that will be used for compilation. This is called as the Core pipeline is built for every module being compiled, and plugins get the opportunity to modify the pipeline in a nondeterministic order.
-
No documentation available.
type
ComponentBoundsChangedCallback = Rectangle -> IO ()gi-atk GI.Atk.Interfaces.Component The 'bounds-changed" signal is emitted when the position or size of the component changes.
type
DocumentDocumentAttributeChangedCallback = Text -> Text -> IO ()gi-atk GI.Atk.Interfaces.Document The "document-attribute-changed" signal should be emitted when there is a change to one of the document attributes returned by atk_document_get_attributes. Since: 2.52
type
DocumentLoadCompleteCallback = IO ()gi-atk GI.Atk.Interfaces.Document The 'load-complete' signal is emitted when a pending load of a static document has completed. This signal is to be expected by ATK clients if and when AtkDocument implementors expose ATK_STATE_BUSY. If the state of an AtkObject which implements AtkDocument does not include ATK_STATE_BUSY, it should be safe for clients to assume that the AtkDocument's static contents are fully loaded into the container. (Dynamic document contents should be exposed via other signals.)
type
DocumentLoadStoppedCallback = IO ()gi-atk GI.Atk.Interfaces.Document The 'load-stopped' signal is emitted when a pending load of document contents is cancelled, paused, or otherwise interrupted by the user or application logic. It should not however be emitted while waiting for a resource (for instance while blocking on a file or network read) unless a user-significant timeout has occurred.
type
DocumentPageChangedCallback = Int32 -> IO ()gi-atk GI.Atk.Interfaces.Document The 'page-changed' signal is emitted when the current page of a document changes, e.g. pressing page up/down in a document viewer. Since: 2.12