>>>>> -package:express

(->>>>>:) :: (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.
(->>>>>:>) :: (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.
(->>>>>>:) :: (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.
(->>>>>>:>) :: (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.
(->>>>>>>:) :: (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.
(->>>>>>>:>) :: (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.
(->>>>>>>>:) :: (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.
(->>>>>>>>:>) :: (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.
(->>>>>>>>>:) :: (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.
(->>>>>>>>>:>) :: (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.
(->>>>>>>>>>:) :: (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.
(->>>>>>>>>>:>) :: (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.
(->>>>>>>>>>>:) :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l) -> l -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l
leancheck Test.LeanCheck.Utils.TypeBinding
Forces the result type of a 11-argument function.
(->>>>>>>>>>>:>) :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m) -> m -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m
leancheck Test.LeanCheck.Utils.TypeBinding
Forces the type of the 12th argument.
(->>>>>>>>>>>>:) :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m) -> m -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m
leancheck Test.LeanCheck.Utils.TypeBinding
Forces the result type of a 12-argument function.