Module
Data.Functor.Coproduct.Nested
- Package
- functors
- Repository
- purescript/purescript-functors
#Coproduct1 Source
type Coproduct1 :: forall k. (k -> Type) -> k -> Type
type Coproduct1 a = C2 a (Const Void)
#Coproduct2 Source
type Coproduct2 :: forall k. (k -> Type) -> (k -> Type) -> k -> Type
type Coproduct2 a b = C3 a b (Const Void)
#Coproduct3 Source
type Coproduct3 :: forall k. (k -> Type) -> (k -> Type) -> (k -> Type) -> k -> Type
type 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 -> Type
type Coproduct4 a b c d = C5 a b c d (Const Void)
#(<\/>) 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)
#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