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. sbool :: SBoolI b => SBool b

   singleton-bool	Data.Singletons.Bool

   No documentation available.

2. sboolAnd :: forall (a :: Bool) (b :: Bool) . SBool a -> SBool b -> SBool (a && b)

   singleton-bool	Data.Singletons.Bool

   >>> sboolAnd STrue SFalse
   SFalse
   

3. sboolEqRefl :: forall k (a :: k) (b :: k) . SBoolI (a == b) => Maybe (a :~: b)

   singleton-bool	Data.Singletons.Bool

   Useful combination of sbool and eqToRefl

4. sboolNot :: forall (a :: Bool) . SBool a -> SBool (Not a)

   singleton-bool	Data.Singletons.Bool

   No documentation available.

5. sboolOr :: forall (a :: Bool) (b :: Bool) . SBool a -> SBool b -> SBool (a || b)

   singleton-bool	Data.Singletons.Bool

   No documentation available.

6. withSomeSBool :: Bool -> (forall (b :: Bool) . () => SBool b -> r) -> r

   singleton-bool	Data.Singletons.Bool

   Convert a normal Bool to an SBool, passing it into a continuation.

   >>> withSomeSBool True fromSBool
   True
   

7. flagFromBool :: FlagSpec a -> Bool -> a

   skeletest	Skeletest

   No documentation available.

8. flagFromBool :: FlagSpec a -> Bool -> a

   skeletest	Skeletest.Internal.CLI

   No documentation available.

9. assertLuaBool :: HasCallStack => LuaE e Bool -> Assertion

   tasty-hslua	Test.Tasty.HsLua

   Checks whether the operation returns True.

10. SqlBool :: Bool -> SqlValue

    HDBC	Database.HDBC

    No documentation available.

Page 95 of many | Previous | Next