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. ConsumeBool :: (Bool -> ST s (DecodeAction s a)) -> DecodeAction s a

   serialise	Codec.Serialise.Decoding

   No documentation available.

2. TypeBool :: TokenType

   serialise	Codec.Serialise.Decoding

   No documentation available.

3. decodeBool :: Decoder s Bool

   serialise	Codec.Serialise.Decoding

   Decode a bool.

4. TkBool :: Bool -> Tokens -> Tokens

   serialise	Codec.Serialise.Encoding

   No documentation available.

5. encodeBool :: Bool -> Encoding

   serialise	Codec.Serialise.Encoding

   Encode a Bool.

6. class KnownBool (b :: Bool)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   No documentation available.

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

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

9. data SBool (b :: Bool)

   ghc-typelits-knownnat	GHC.TypeLits.KnownNat

   Singleton version of Bool

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

Page 83 of many | Previous | Next