Data.Functor.Coproduct.Nested

type Coproduct1 :: forall k. (k -> Type) -> k -> Typetype Coproduct1 a = C2 a (Const Void)

type Coproduct2 :: forall k. (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct2 a b = C3 a b (Const Void)

type Coproduct3 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct3 a b c = C4 a b c (Const Void)

type Coproduct4 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct4 a b c d = C5 a b c d (Const Void)

type Coproduct5 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct5 a b c d e = C6 a b c d e (Const Void)

type Coproduct6 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct6 a b c d e f = C7 a b c d e f (Const Void)

type Coproduct7 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct7 a b c d e f g = C8 a b c d e f g (Const Void)

type Coproduct8 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct8 a b c d e f g h = C9 a b c d e f g h (Const Void)

type Coproduct9 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct9 a b c d e f g h i = C10 a b c d e f g h i (Const Void)

type Coproduct10 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype Coproduct10 a b c d e f g h i j = C11 a b c d e f g h i j (Const Void)

type C2 :: forall k. (k -> Type) -> (k -> Type) -> k -> Typetype C2 a z = Coproduct a z

type C3 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C3 a b z = Coproduct a (C2 b z)

type C4 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C4 a b c z = Coproduct a (C3 b c z)

type C5 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C5 a b c d z = Coproduct a (C4 b c d z)

type C6 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C6 a b c d e z = Coproduct a (C5 b c d e z)

type C7 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C7 a b c d e f z = Coproduct a (C6 b c d e f z)

type C8 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C8 a b c d e f g z = Coproduct a (C7 b c d e f g z)

type C9 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C9 a b c d e f g h z = Coproduct a (C8 b c d e f g h z)

type C10 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Typetype C10 a b c d e f g h i z = Coproduct a (C9 b c d e f g h i z)

type C11 :: 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 C11 a b c d e f g h i j z = Coproduct a (C10 b c d e f g h i j z)

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

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

in1 :: forall a z. a ~> (C2 a z)

in2 :: forall a b z. b ~> (C3 a b z)

in3 :: forall a b c z. c ~> (C4 a b c z)

in4 :: forall a b c d z. d ~> (C5 a b c d z)

in5 :: forall a b c d e z. e ~> (C6 a b c d e z)

in6 :: forall a b c d e f z. f ~> (C7 a b c d e f z)

in7 :: forall a b c d e f g z. g ~> (C8 a b c d e f g z)

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

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

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

at1 :: forall r x a z. r -> (a x -> r) -> C2 a z x -> r

at2 :: forall r x a b z. r -> (b x -> r) -> C3 a b z x -> r

at3 :: forall r x a b c z. r -> (c x -> r) -> C4 a b c z x -> r

at4 :: forall r x a b c d z. r -> (d x -> r) -> C5 a b c d z x -> r

at5 :: forall r x a b c d e z. r -> (e x -> r) -> C6 a b c d e z x -> r

at6 :: forall r x a b c d e f z. r -> (f x -> r) -> C7 a b c d e f z x -> r

at7 :: forall r x a b c d e f g z. r -> (g x -> r) -> C8 a b c d e f g z x -> r

at8 :: forall r x a b c d e f g h z. r -> (h x -> r) -> C9 a b c d e f g h z x -> r

at9 :: forall r x a b c d e f g h i z. r -> (i x -> r) -> C10 a b c d e f g h i z x -> r

at10 :: forall r x a b c d e f g h i j z. r -> (j x -> r) -> C11 a b c d e f g h i j z x -> r

coproduct1 :: forall a. (Coproduct1 a) ~> a

coproduct2 :: forall r x a b. (a x -> r) -> (b x -> r) -> Coproduct2 a b x -> r

coproduct3 :: forall r x a b c. (a x -> r) -> (b x -> r) -> (c x -> r) -> Coproduct3 a b c x -> r

coproduct4 :: forall r x a b c d. (a x -> r) -> (b x -> r) -> (c x -> r) -> (d x -> r) -> Coproduct4 a b c d x -> r

coproduct5 :: forall r x a b c d e. (a x -> r) -> (b x -> r) -> (c x -> r) -> (d x -> r) -> (e x -> r) -> Coproduct5 a b c d e x -> r

coproduct6 :: forall r x a b c d e f. (a x -> r) -> (b x -> r) -> (c x -> r) -> (d x -> r) -> (e x -> r) -> (f x -> r) -> Coproduct6 a b c d e f x -> r

coproduct7 :: forall r x a b c d e f g. (a x -> r) -> (b x -> r) -> (c x -> r) -> (d x -> r) -> (e x -> r) -> (f x -> r) -> (g x -> r) -> Coproduct7 a b c d e f g x -> r

coproduct8 :: forall r x a b c d e f g h. (a x -> r) -> (b x -> r) -> (c x -> r) -> (d x -> r) -> (e x -> r) -> (f x -> r) -> (g x -> r) -> (h x -> r) -> Coproduct8 a b c d e f g h x -> r

coproduct9 :: forall r x a b c d e f g h i. (a x -> r) -> (b x -> r) -> (c x -> r) -> (d x -> r) -> (e x -> r) -> (f x -> r) -> (g x -> r) -> (h x -> r) -> (i x -> r) -> Coproduct9 a b c d e f g h i x -> r

coproduct10 :: forall r x a b c d e f g h i j. (a x -> r) -> (b x -> r) -> (c x -> r) -> (d x -> r) -> (e x -> r) -> (f x -> r) -> (g x -> r) -> (h x -> r) -> (i x -> r) -> (j x -> r) -> Coproduct10 a b c d e f g h i j x -> r