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. TkBool :: Bool -> TermToken

   cborg	Codec.CBOR.FlatTerm

   No documentation available.

2. TBool :: Bool -> Term

   cborg	Codec.CBOR.Term

   No documentation available.

3. TypeBoolean :: Type

   dbus	DBus

   No documentation available.

4. AtomBool :: Bool -> Atom

   dbus	DBus.Internal.Types

   No documentation available.

5. TypeBoolean :: Type

   dbus	DBus.Internal.Types

   No documentation available.

6. _Bool :: Parser ()

   dhall	Dhall.Parser.Token

   Parse the Bool built-in This corresponds to the Bool rule from the official grammar

7. fromBool :: (Enum a, Bits w) => a -> Bool -> T w a

   enumset	Data.EnumBitSet

   No documentation available.

8. caseBool :: Expr -> Expr -> Expr -> Expr

   express	Data.Express.Fixtures

   A function case :: Bool -> a -> a -> a lifted over the Expr type that encodes case-of-False-True functionality. This is properly displayed as a case-of-False-True expression.

   > caseBool pp zero xx
   (case p of False -> 0; True -> x) :: Int
   

   > zz -*- caseBool pp xx yy
   z * (case p of False -> x; True -> y) :: Int
   

   > caseBool pp false true -||- caseBool qq true false
   (caseBool p of False -> False; True -> True) || (caseBool q of False -> True; True -> False) :: Bool
   

   > evl $ caseBool true (val 'f') (val 't') :: Char
   't'
   

   By convention, the False case comes before True as False < True and data Bool = False | True. When evaluating, this is equivalent to if with arguments reversed. Instead of using this, you are perhaps better of using if encoded as an expression. This is just here to be consistent with caseOrdering.

9. consBool :: Expr

   express	Data.Express.Fixtures

   The list constructor : encoded as an Expr.

10. idBool :: Expr

    express	Data.Express.Fixtures

    The function id encoded as an Expr. (cf. id')

Page 117 of many | Previous | Next