Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. 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.

2. SymBool :: Term Bool -> SymBool

   grisette	Grisette.SymPrim

   No documentation available.

3. type SymBoolKey = AsKey SymBool

   grisette	Grisette.SymPrim

   SymBool type with identity equality.

4. 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.

5. UBool :: TheoryToUnify

   grisette	Grisette.Unified

   No documentation available.

6. makeColumnIdBool :: Int -> ColumnId row Bool

   gtk3	Graphics.UI.Gtk.ModelView.TreeModel

   Create a ColumnId to extract an Boolean.

7. 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.

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

   gtk3	Graphics.UI.Gtk.Printing.PrintSettings

   Sets key to a boolean value.

9. Value_Boolean :: Boolean -> Value_

   haxr	Network.XmlRpc.DTD_XMLRPC

   No documentation available.

10. TBool :: Type

    haxr	Network.XmlRpc.Internals

    No documentation available.

Page 158 of many | Previous | Next