Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

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

   singleton-bool	Data.Singletons.Bool

   Reflect to term-level.

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

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

3. sbool :: SBoolI b => SBool b

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

   singleton-bool	Data.Singletons.Bool

   >>> sboolAnd STrue SFalse
   SFalse
   

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

   singleton-bool	Data.Singletons.Bool

   Useful combination of sbool and eqToRefl

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

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

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

   skeletest	Skeletest

   No documentation available.

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

    skeletest	Skeletest.Internal.CLI

    No documentation available.

Page 95 of many | Previous | Next