Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. class (Prim GetBool mode, UnifiedConRep GetBool mode, UnifiedSymRep GetBool mode, ConType GetBool mode ~ Bool, SymType GetBool mode ~ SymBool, ConSymConversion Bool SymBool GetBool mode, LogicalOp GetBool mode) => UnifiedBool (mode :: EvalModeTag)

   grisette	Grisette.Internal.Unified.UnifiedBool

   Evaluation mode with unified Bool type.

2. newtype SymBool

   grisette	Grisette.SymPrim

   Symbolic Boolean type.

   >>> "a" :: SymBool
   a
   
   >>> "a" .&& "b" :: SymBool
   (&& a b)
   

   More operations are available. Please refer to Grisette.Core#g:symops for more information.

3. SymBool :: Term Bool -> SymBool

   grisette	Grisette.SymPrim

   No documentation available.

4. type SymBoolKey = AsKey SymBool

   grisette	Grisette.SymPrim

   SymBool type with identity equality.

5. type family GetBool (mode :: EvalModeTag) = (bool :: Type) | bool -> mode

   grisette	Grisette.Unified

   Get a unified Boolean type. Resolves to Bool in C mode, and SymBool in S mode.

6. UBool :: TheoryToUnify

   grisette	Grisette.Unified

   No documentation available.

7. makeColumnIdBool :: Int -> ColumnId row Bool

   gtk3	Graphics.UI.Gtk.ModelView.TreeModel

   Create a ColumnId to extract an Boolean.

8. printSettingsGetBool :: (PrintSettingsClass self, GlibString string) => self -> string -> IO Bool

   gtk3	Graphics.UI.Gtk.Printing.PrintSettings

   Returns the boolean represented by the value that is associated with key. The string "true" represents True, any other string False.

9. printSettingsSetBool :: (PrintSettingsClass self, GlibString string) => self -> string -> Bool -> IO ()

   gtk3	Graphics.UI.Gtk.Printing.PrintSettings

   Sets key to a boolean value.

10. Value_Boolean :: Boolean -> Value_

    haxr	Network.XmlRpc.DTD_XMLRPC

    No documentation available.

Page 154 of many | Previous | Next