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 -> 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.

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

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

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

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

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

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

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the type of the 10th argument.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 10-argument function.

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

    leancheck	Test.LeanCheck.Utils.TypeBinding

    Forces the type of the 11th argument.

Page 80 of many | Previous | Next