Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

Exact lookup

1. GVboolean :: Bool -> GenericValue

   glib	System.Glib.StoreValue

   No documentation available.

2. TMboolean :: TMType

   glib	System.Glib.StoreValue

   No documentation available.

3. JSBool :: Bool -> JSValue

   hackage-security	Hackage.Security.JSON

   No documentation available.

4. JSBool :: Bool -> JSValue

   hackage-security	Text.JSON.Canonical

   No documentation available.

5. type MyBool = CChar

   mysql	Database.MySQL.Base.Types

   No documentation available.

6. assertBool :: HasCallStack => String -> Bool -> Assertion

   persistent-test	Init

   Asserts that the specified condition holds.

7. package singleton-bool

   Type level booleans Type level booleans. singletons package provides similar functionality, but it has tight dependency constraints.

8. data SBool (b :: Bool)

   singleton-bool	Data.Singletons.Bool

   No documentation available.

9. class SBoolI (b :: Bool)

   singleton-bool	Data.Singletons.Bool

   No documentation available.

10. discreteBool :: forall (a :: Bool) (b :: Bool) . (SBoolI a, SBoolI b) => Dec (a :~: b)

    singleton-bool	Data.Singletons.Bool

    Decidable equality.

    >>> decShow (discreteBool :: Dec ('True :~: 'True))
    "Yes Refl"
    

Page 93 of many | Previous | Next