Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

Exact lookup

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 5th argument type.

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

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

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 6-argument function.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 7th argument type.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 7-argument function.

7. (->>>>>>>:>) :: (a -> b -> c -> d -> e -> f -> g -> h -> i) -> h -> a -> b -> c -> d -> e -> f -> g -> h -> i

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 8th argument type.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 8-argument function.

9. (->>>>>>>>:>) :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> i -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 9th argument type.

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

    leancheck	Test.LeanCheck.Utils.TypeBinding

    Forces the result type of a 9-argument function.

Page 3 of many | Previous | Next