Data.Bifunctor.Monoidal.Specialized

mux :: forall p a b c d. Semigroupal Function Tuple Tuple Tuple p => p a b -> p c d -> p (a /\ c) (b /\ d)

Operator alias for Data.Bifunctor.Monoidal.Specialized.mux (right-associative / precedence 5)

zip :: forall p x a b. Profunctor p => Semigroupal Function Tuple Tuple Tuple p => p x a -> p x b -> p x (a /\ b)

demux :: forall p a b c d. Semigroupal Function Either Either Tuple p => p a b -> p c d -> p (a \/ c) (b \/ d)

Operator alias for Data.Bifunctor.Monoidal.Specialized.demux (right-associative / precedence 4)

fanin :: forall p x a b. Profunctor p => Semigroupal Function Either Either Tuple p => p a x -> p b x -> p (a \/ b) x

switch :: forall p a b c d. Semigroupal Function Tuple Either Tuple p => p a b -> p c d -> p (a /\ c) (b \/ d)

Operator alias for Data.Bifunctor.Monoidal.Specialized.switch (right-associative / precedence 5)

union :: forall p x a b. Profunctor p => Semigroupal Function Tuple Either Tuple p => p x a -> p x b -> p x (a \/ b)

divide :: forall p x a b. Profunctor p => Semigroupal Function Tuple Either Tuple p => p a x -> p b x -> p (a /\ b) x

splice :: forall p a b c d. Semigroupal Function Either Tuple Tuple p => p a b -> p c d -> p (a \/ c) (b /\ d)

Operator alias for Data.Bifunctor.Monoidal.Specialized.splice (right-associative / precedence 5)

diverge :: forall p a b c d. Semigroupal Function Either Either Either p => (p a b) \/ (p c d) -> p (a \/ c) (b \/ d)

contramapMaybe :: forall p a b x. Profunctor p => Semigroupal Function Either Either Either p => (a -> Maybe b) -> p b x -> p a x

zig :: forall p t a b x. Profunctor p => Semigroupal Function Tuple t Either p => (p x a) \/ (p x b) -> p x (t a b)

zag :: forall p t a b x. Profunctor p => Semigroupal Function t Either Either p => (p a x) \/ (p b x) -> p (t a b) x

ultrafirst :: forall p a b x y. Profunctor p => Semigroupal Function Tuple Tuple Either p => p a b -> p (a /\ x) (b /\ y)

ultrasecond :: forall p a b x y. Profunctor p => Semigroupal Function Tuple Tuple Either p => p a b -> p (x /\ a) (y /\ b)

ultraleft :: forall p a b x y. Profunctor p => Semigroupal Function Either Either Either p => p a b -> p (a \/ x) (b \/ y)

ultraright :: forall p a b x y. Profunctor p => Semigroupal Function Either Either Either p => p a b -> p (x \/ a) (y \/ b)

comux :: forall p a b c d. Semigroupal Op Tuple Tuple Tuple p => p (a /\ c) (b /\ d) -> (p a b) /\ (p c d)

undivide :: forall p x a b. Profunctor p => Semigroupal Op Tuple Tuple Tuple p => p (a /\ b) x -> (p a x) /\ (p b x)

codemux :: forall p a b c d. Semigroupal Op Either Either Tuple p => p (a \/ c) (b \/ d) -> (p a b) /\ (p c d)

partition :: forall p x a b. Profunctor p => Semigroupal Op Either Either Tuple p => p x (a \/ b) -> (p x a) /\ (p x b)

coswitch :: forall p a b c d. Semigroupal Op Either Tuple Tuple p => p (a \/ c) (b /\ d) -> (p a b) /\ (p c d)

unfanin :: forall p x a b. Profunctor p => Semigroupal Op Either Tuple Tuple p => p (a \/ b) x -> (p a x) /\ (p b x)

unzip :: forall p x a b. Profunctor p => Semigroupal Op Either Tuple Tuple p => p x (a /\ b) -> (p x a) /\ (p x b)

cosplice :: forall p a b c d. Semigroupal Op Tuple Either Tuple p => p (a /\ c) (b \/ d) -> (p a b) /\ (p c d)

terminal :: forall p a. Profunctor p => Unital Function Unit Unit Unit p => p a Unit

ppure :: forall p a. Profunctor p => Unital Function Unit Unit Unit p => Strong p => p a a

initial :: forall p a. Profunctor p => Unital Function Void Void Unit p => p Void a

poly :: forall p a b. Profunctor p => Unital Function Unit Void Unit p => p a b

mono :: forall p. Unital Function Void Unit Unit p => p Void Unit