Data.Functor.Product.Nested

type Product1 a = T2 a (Const Unit)

type Product2 a b = T3 a b (Const Unit)

type Product3 a b c = T4 a b c (Const Unit)

type Product4 a b c d = T5 a b c d (Const Unit)

type Product5 a b c d e = T6 a b c d e (Const Unit)

type Product6 a b c d e f = T7 a b c d e f (Const Unit)

type Product7 a b c d e f g = T8 a b c d e f g (Const Unit)

type Product8 a b c d e f g h = T9 a b c d e f g h (Const Unit)

type Product9 a b c d e f g h i = T10 a b c d e f g h i (Const Unit)

type Product10 a b c d e f g h i j = T11 a b c d e f g h i j (Const Unit)

type T2 a z = Product a z

type T3 a b z = Product a (T2 b z)

type T4 a b c z = Product a (T3 b c z)

type T5 a b c d z = Product a (T4 b c d z)

type T6 a b c d e z = Product a (T5 b c d e z)

type T7 a b c d e f z = Product a (T6 b c d e f z)

type T8 a b c d e f g z = Product a (T7 b c d e f g z)

type T9 a b c d e f g h z = Product a (T8 b c d e f g h z)

type T10 a b c d e f g h i z = Product a (T9 b c d e f g h i z)

type T11 a b c d e f g h i j z = Product a (T10 b c d e f g h i j z)

Operator alias for Data.Functor.Product.product (right-associative / precedence 6)

Operator alias for Data.Functor.Product.Product (right-associative / precedence 6)

product1 :: forall a. a ~> (Product1 a)

product2 :: forall x b a. a x -> b x -> Product2 a b x

product3 :: forall x c b a. a x -> b x -> c x -> Product3 a b c x

product4 :: forall x d c b a. a x -> b x -> c x -> d x -> Product4 a b c d x

product5 :: forall x e d c b a. a x -> b x -> c x -> d x -> e x -> Product5 a b c d e x

product6 :: forall x f e d c b a. a x -> b x -> c x -> d x -> e x -> f x -> Product6 a b c d e f x

product7 :: forall x g f e d c b a. a x -> b x -> c x -> d x -> e x -> f x -> g x -> Product7 a b c d e f g x

product8 :: forall x h g f e d c b a. a x -> b x -> c x -> d x -> e x -> f x -> g x -> h x -> Product8 a b c d e f g h x

product9 :: forall x i h g f e d c b a. a x -> b x -> c x -> d x -> e x -> f x -> g x -> h x -> i x -> Product9 a b c d e f g h i x

product10 :: forall x j i h g f e d c b a. a x -> b x -> c x -> d x -> e x -> f x -> g x -> h x -> i x -> j x -> Product10 a b c d e f g h i j x

get1 :: forall z a. (T2 a z) ~> a

get2 :: forall z b a. (T3 a b z) ~> b

get3 :: forall z c b a. (T4 a b c z) ~> c

get4 :: forall z d c b a. (T5 a b c d z) ~> d

get5 :: forall z e d c b a. (T6 a b c d e z) ~> e

get6 :: forall z f e d c b a. (T7 a b c d e f z) ~> f

get7 :: forall z g f e d c b a. (T8 a b c d e f g z) ~> g

get8 :: forall z h g f e d c b a. (T9 a b c d e f g h z) ~> h

get9 :: forall z i h g f e d c b a. (T10 a b c d e f g h i z) ~> i

get10 :: forall z j i h g f e d c b a. (T11 a b c d e f g h i j z) ~> j