Conjure.TypeBinding

Some type binding operators that are useful when defining Conjurable instances.

Documentation

arg1 :: (a -> b) -> a

arg2 :: (a -> b -> c) -> b

arg3 :: (a -> b -> c -> d) -> c

arg4 :: (a -> b -> c -> d -> e) -> d

arg5 :: (a -> b -> c -> d -> e -> f) -> e

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

(==:) :: (a -> b -> c -> d) -> a -> b

argTy1of1 :: con a -> a

argTy1of2 :: con a b -> a

argTy2of2 :: con a b -> b

argTy1of3 :: con a b c -> a

argTy2of3 :: con a b c -> b

argTy3of3 :: con a b c -> c

argTy1of4 :: con a b c d -> a

argTy2of4 :: con a b c d -> b

argTy3of4 :: con a b c d -> c

argTy4of4 :: con a b c d -> d

argTy1of5 :: con a b c d e -> a

argTy2of5 :: con a b c d e -> b

argTy3of5 :: con a b c d e -> c

argTy4of5 :: con a b c d e -> d

argTy5of5 :: con a b c d e -> e

argTy1of6 :: con a b c d e f -> a

argTy2of6 :: con a b c d e f -> b

argTy3of6 :: con a b c d e f -> c

argTy4of6 :: con a b c d e f -> d

argTy5of6 :: con a b c d e f -> e

argTy6of6 :: con a b c d e f -> f

module Test.LeanCheck.Utils.TypeBinding