Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. class SBoolI (b :: Bool)

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

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

   singleton-bool	Data.Singletons.Bool

   Convert an SBool to the corresponding Bool.

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

   singleton-bool	Data.Singletons.Bool

   Reflect to term-level.

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

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

6. sbool :: SBoolI b => SBool b

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

   singleton-bool	Data.Singletons.Bool

   >>> sboolAnd STrue SFalse
   SFalse
   

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

   singleton-bool	Data.Singletons.Bool

   Useful combination of sbool and eqToRefl

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

   singleton-bool	Data.Singletons.Bool

   No documentation available.

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

    singleton-bool	Data.Singletons.Bool

    No documentation available.

Page 97 of many | Previous | Next