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

   code-conjure	Conjure.Engine

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

2. idChar :: Expr

   code-conjure	Conjure.Engine

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

3. idE :: Expr

   code-conjure	Conjure.Engine

   The function id for the Int type encoded as an Expr. (See also id'.)

   > idE :$ xx
   id x :: Int
   

   > idE :$ zero
   id 0 :: Int
   

   > evaluate $ idE :$ zero :: Maybe Int
   Just 0
   

4. idInt :: Expr

   code-conjure	Conjure.Engine

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

5. idInts :: Expr

   code-conjure	Conjure.Engine

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

6. idString :: Expr

   code-conjure	Conjure.Engine

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

7. id' :: Expr -> Expr

   code-conjure	Conjure.Expr

   Constructs an application of id as an Expr. Only works for Int, Bool, Char, String, [Int], [Bool].

   > id' yy
   id yy :: Int
   

   > id' one
   id 1 :: Int
   

   > evl (id' one) :: Int
   1
   

   > id' pp
   id p :: Bool
   

   > id' false
   id' False :: Bool
   

   > evl (id' true) :: Bool
   True :: Bool
   

8. idBool :: Expr

   code-conjure	Conjure.Expr

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

9. idBools :: Expr

   code-conjure	Conjure.Expr

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

10. idChar :: Expr

    code-conjure	Conjure.Expr

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

Page 314 of many | Previous | Next