Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. pattern AddNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t -> Term t

   grisette	Grisette.SymPrim

   Pattern synonym for AddNumTerm'. Note that using this pattern to construct a Term will do term simplification.

2. pattern MulNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t -> Term t

   grisette	Grisette.SymPrim

   Pattern synonym for MulNumTerm'. Note that using this pattern to construct a Term will do term simplification.

3. pattern NegNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t

   grisette	Grisette.SymPrim

   Pattern synonym for NegNumTerm'. Note that using this pattern to construct a Term will do term simplification.

4. pattern SignumNumTerm :: () => (SupportedPrim t, PEvalNumTerm t) => Term t -> Term t

   grisette	Grisette.SymPrim

   Pattern synonym for SignumNumTerm'. Note that using this pattern to construct a Term will do term simplification.

5. filterExactNumArgs :: Int -> [Name] -> [Name]

   grisette	Grisette.TH

   Filter classes that accepts type constructors with exactly n arguments.

6. filterLeqNumArgs :: Int -> [Name] -> [Name]

   grisette	Grisette.TH

   Filter classes that accepts type constructors with at most n arguments.

7. recentActionShowNumbers :: RecentActionClass self => Attr self Bool

   gtk3	Graphics.UI.Gtk.ActionMenuToolbar.RecentAction

   If recent items should be shown with numbers next to them.

8. spinButtonGetNumeric :: SpinButtonClass self => self -> IO Bool

   gtk3	Graphics.UI.Gtk.Entry.SpinButton

   Returns whether non-numeric text can be typed into the spin button. See spinButtonSetNumeric.

9. spinButtonNumeric :: SpinButtonClass self => Attr self Bool

   gtk3	Graphics.UI.Gtk.Entry.SpinButton

   Whether non-numeric characters should be ignored. Default value: False

10. spinButtonSetNumeric :: SpinButtonClass self => self -> Bool -> IO ()

    gtk3	Graphics.UI.Gtk.Entry.SpinButton

    Sets the flag that determines if non-numeric text can be typed into the spin button.

Page 484 of many | Previous | Next