Module

Data.Functor.Product.Nested

#Product1 

type Product1 :: forall k. (k -> Type) -> k -> Typetype Product1 a = T2 a (Const Unit)

#Product2 

type Product2 :: forall k. (k -> Type) -> (k -> Type) -> k -> Typetype Product2 a b = T3 a b (Const Unit)

#Product3 

type Product3 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product3 a b c = T4 a b c (Const Unit)

#Product4 

type Product4 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product4 a b c d = T5 a b c d (Const Unit)

#Product5 

type Product5 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product5 a b c d e = T6 a b c d e (Const Unit)

#Product6 

type Product6 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product6 a b c d e f = T7 a b c d e f (Const Unit)

#Product7 

type Product7 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product7 a b c d e f g = T8 a b c d e f g (Const Unit)

#Product8 

type Product8 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product8 a b c d e f g h = T9 a b c d e f g h (Const Unit)

#Product9 

type Product9 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product9 a b c d e f g h i = T10 a b c d e f g h i (Const Unit)

#Product10 

type Product10 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Product10 a b c d e f g h i j = T11 a b c d e f g h i j (Const Unit)

#T2 

type T2 :: forall k. (k -> Type) -> (k -> Type) -> k -> Typetype T2 a z = Product a z

#T3 

type T3 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T3 a b z = Product a (T2 b z)

#T4 

type T4 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T4 a b c z = Product a (T3 b c z)

#T5 

type T5 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T5 a b c d z = Product a (T4 b c d z)

#T6 

type T6 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T6 a b c d e z = Product a (T5 b c d e z)

#T7 

type T7 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T7 a b c d e f z = Product a (T6 b c d e f z)

#T8 

type T8 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T8 a b c d e f g z = Product a (T7 b c d e f g z)

#T9 

type T9 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T9 a b c d e f g h z = Product a (T8 b c d e f g h z)

#T10 

type T10 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype T10 a b c d e f g h i z = Product a (T9 b c d e f g h i z)

#T11 

type T11 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype 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)

#type (</\>)

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

#product1 

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

#product2 

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

#product3 

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

#product4 

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

#product5 

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

#product6 

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

#product7 

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

#product8 

product8 :: forall a b c d e f g h x. 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 

product9 :: forall a b c d e f g h i x. 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 

product10 :: forall a b c d e f g h i j x. 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 

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

#get2 

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

#get3 

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

#get4 

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

#get5 

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

#get6 

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

#get7 

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

#get8 

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

#get9 

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

#get10 

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

Modules