Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. JSBool :: Bool -> JSValue

   hackage-security	Text.JSON.Canonical

   No documentation available.

2. type MyBool = CChar

   mysql	Database.MySQL.Base.Types

   No documentation available.

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

   persistent-test	Init

   Asserts that the specified condition holds.

4. package singleton-bool

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

5. data SBool (b :: Bool)

   singleton-bool	Data.Singletons.Bool

   No documentation available.

6. class SBoolI (b :: Bool)

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

8. fromSBool :: forall (b :: Bool) . SBool b -> Bool

   singleton-bool	Data.Singletons.Bool

   Convert an SBool to the corresponding Bool.

9. reflectBool :: forall (b :: Bool) proxy . SBoolI b => proxy b -> Bool

   singleton-bool	Data.Singletons.Bool

   Reflect to term-level.

   >>> reflectBool (Proxy :: Proxy 'True)
   True
   

10. reifyBool :: Bool -> (forall (b :: Bool) . SBoolI b => Proxy b -> r) -> r

    singleton-bool	Data.Singletons.Bool

    Reify Bool to type-level.

    >>> reifyBool True reflectBool
    True
    

Page 94 of many | Previous | Next