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. caseBool :: Expr -> Expr -> Expr -> Expr

   code-conjure	Conjure.Expr

   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.

2. consBool :: Expr

   code-conjure	Conjure.Expr

   The list constructor : encoded as an Expr.

3. idBool :: Expr

   code-conjure	Conjure.Expr

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

4. idBools :: Expr

   code-conjure	Conjure.Expr

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

5. justBool :: Expr

   code-conjure	Conjure.Expr

   The Just constructor of the Bool element type encoded as an Expr.

6. nilBool :: Expr

   code-conjure	Conjure.Expr

   The empty list '[]' encoded as an Expr.

7. nothingBool :: Expr

   code-conjure	Conjure.Expr

   Nothing bound to the Maybe Bool type encoded as an Expr.

8. data Erlang'is_boolean

   codec-beam	Codec.Beam.Bifs

   No documentation available.

9. Erlang'is_boolean :: Erlang'is_boolean

   codec-beam	Codec.Beam.Bifs

   No documentation available.

10. is_boolean :: IsSource a2 => Label -> a2 -> Op

    codec-beam	Codec.Beam.Instructions

    Test the type of source and jump to label if it is not a boolean.

Page 149 of many | Previous | Next