Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. (-:) :: a -> a -> a

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces its first argument to have the same type as the second. A symnonym to asTypeOf:

   value -: ty  =  value :: Ty
   

   Examples:

   10 -: int   =  10 :: Int
   undefined -: 'a' >- 'b'  =  undefined :: Char -> Char
   

2. (-:>) :: (a -> b) -> a -> a -> b

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces the argument of its first argument to have the same type as the second:

   f -:> ty  =  f -: ty >- und  =  f :: Ty -> a
   

   Example:

   abs -:> int   =  abs -: int >- und  =  abs :: Int -> Int
   

3. (->:) :: (a -> b) -> b -> a -> b

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces the result of its first argument to have the same type as the second.

   f ->: ty  =  f -: und >- ty  =  f :: a -> Ty
   

4. (->:>) :: (a -> b -> c) -> b -> a -> b -> c

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces the second argument of its first argument to have the same type as the second.

   f ->:> ty   =  f -: und -> ty -> und  =  f :: a -> Ty -> b
   

5. (->>:) :: (a -> b -> c) -> c -> a -> b -> c

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces the result of the result of its first argument to have the same type as the second.

   f ->>: ty   =  f -: und -> und -> ty  =  f :: a -> b -> Ty
   

6. (->>:>) :: (a -> b -> c -> d) -> c -> a -> b -> c -> d

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces the third argument of its first argument to have the same type as the second.

7. (->>>:) :: (a -> b -> c -> d) -> d -> a -> b -> c -> d

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces the result of the result of the result of its first argument to have the same type as the second.

8. (->>>:>) :: (a -> b -> c -> d -> e) -> d -> a -> b -> c -> d -> e

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 4th argument type.

9. (->>>>:) :: (a -> b -> c -> d -> e) -> e -> a -> b -> c -> d -> e

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 4-argument function.

10. (->>>>:>) :: (a -> b -> c -> d -> e -> f) -> e -> a -> b -> c -> d -> e -> f

    leancheck	Test.LeanCheck.Utils.TypeBinding

    Forces the 5th argument type.

Page 79 of many | Previous | Next