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. (->:) :: (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
   

2. (->:>) :: (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
   

3. (->>:) :: (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
   

4. (->>:>) :: (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.

5. (->>>:) :: (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.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 4th argument type.

7. (->>>>:) :: (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.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 5th argument type.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 5-argument function.

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

    leancheck	Test.LeanCheck.Utils.TypeBinding

    Forces the 6th argument type.

Page 79 of many | Previous | Next