Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. class AllSyms a

   grisette	Grisette.SymPrim

   Extract all symbolic primitive values that are represented as SMT terms.

   >>> allSyms (["a" + 1 :: SymInteger, -"b"], "c" :: SymBool)
   [(+ 1 a),(- b),c]
   

   This is usually used for getting a statistical summary of the size of a symbolic value with allSymsSize. Note: This type class can be derived for algebraic data types. You may need the DerivingVia and DerivingStrategies extenstions.

   data X = ... deriving Generic deriving AllSyms via (Default X)
   

2. data family AllSymsArgs arity a

   grisette	Grisette.SymPrim

   The arguments to the generic AllSyms function.

3. AllEventsMask :: EventMask

   gtk3	Graphics.UI.Gtk.Abstract.Widget

   No documentation available.

4. type Allocation = Rectangle

   gtk3	Graphics.UI.Gtk.Abstract.Widget

   Allocation

   • For Widget's sizeAllocate signal. The x and y values of the rectangle refer to the widgets position relative to its parent window.

5. AllEventsMask :: EventMask

   gtk3	Graphics.UI.Gtk.General.Enums

   No documentation available.

6. module HaskellWorks.Data.Bits.AllExcess

   No documentation available.

7. module HaskellWorks.Data.Bits.AllExcess.AllExcess0

   No documentation available.

8. class AllExcess0 a

   hw-bits	HaskellWorks.Data.Bits.AllExcess.AllExcess0

   No documentation available.

9. module HaskellWorks.Data.Bits.AllExcess.AllExcess1

   No documentation available.

10. class AllExcess1 a

    hw-bits	HaskellWorks.Data.Bits.AllExcess.AllExcess1

    No documentation available.

Page 59 of many | Previous | Next