Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. newtype CBool

   basement	Basement.Compat.C.Types

   Haskell type representing the C bool type. (The concrete types of Foreign.C.Types#platform are platform-specific.)

2. CBool :: Word8 -> CBool

   basement	Basement.Compat.C.Types

   No documentation available.

3. class KnownBool (b :: Bool)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   No documentation available.

4. class KnownBoolNat2 (f :: Symbol) (a :: k) (b :: k)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   Class for binary functions with a Boolean result. The Symbol f must correspond to the fully qualified name of the type-level operation. Use nameToSymbol to get the fully qualified TH Name as a Symbol

5. class KnownNat2Bool (f :: Symbol) (a :: Bool) (b :: k) (c :: k)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   Class for ternary functions with a Natural result. The Symbol f must correspond to the fully qualified name of the type-level operation. Use nameToSymbol to get the fully qualified TH Name as a Symbol

6. data SBool (b :: Bool)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   Singleton version of Bool

7. newtype SBoolKb (f :: Symbol)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   A type "representationally equal" to SBool, used for simpler implementation of constraint-level functions that need to create instances of KnownBool

8. SBoolKb :: Bool -> SBoolKb (f :: Symbol)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   No documentation available.

9. natBoolSing3 :: KnownNat2Bool f a b c => SNatKn f

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   No documentation available.

10. data SBool (a :: Bool)

    singletons-base	Data.Bool.Singletons

    No documentation available.

Page 86 of many | Previous | Next