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. fromSBool :: forall (b :: Bool) . SBool b -> Bool

   singleton-bool	Data.Singletons.Bool

   Convert an SBool to the corresponding Bool.

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

   singleton-bool	Data.Singletons.Bool

   Reflect to term-level.

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

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

4. sbool :: SBoolI b => SBool b

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

   singleton-bool	Data.Singletons.Bool

   >>> sboolAnd STrue SFalse
   SFalse
   

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

   singleton-bool	Data.Singletons.Bool

   Useful combination of sbool and eqToRefl

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

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

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

    skeletest	Skeletest

    No documentation available.

Page 94 of many | Previous | Next