Module

Data.Functor.Coproduct.Nested

Package
functors
Repository
purescript/purescript-functors

#Coproduct1 Source

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

#Coproduct2 Source

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

#Coproduct3 Source

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

#Coproduct4 Source

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)

#Coproduct5 Source

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)

#Coproduct6 Source

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)

#Coproduct7 Source

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)

#Coproduct8 Source

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)

#Coproduct9 Source

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)

#Coproduct10 Source

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)

#C2 Source

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

#C3 Source

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

#C4 Source

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)

#C5 Source

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)

#C6 Source

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)

#C7 Source

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)

#C8 Source

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)

#C9 Source

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)

#C10 Source

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)

#C11 Source

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)

#(<\/>) Source

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

#type (<\/>) Source

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

#in1 Source

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

#in2 Source

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

#in3 Source

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

#in4 Source

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

#in5 Source

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

#in6 Source

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

#in7 Source

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

#in8 Source

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

#in9 Source

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 Source

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 Source

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

#at2 Source

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

#at3 Source

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

#at4 Source

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

#at5 Source

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

#at6 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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

#coproduct2 Source

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

#coproduct3 Source

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

#coproduct4 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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