| Portability | MPTCs, GADTs |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Data.Semifunctor.Braided
Description
Documentation
class Associative k p => Braided k p whereSource
Instances
| Braided (->) (Bi Either) | |
| Braided (->) (Bi (,)) | |
| (Associative (Kleisli m) (Bi (,)), Bind m, Monad m) => Braided (Kleisli m) (Bi (,)) | |
| (Associative (Kleisli m) (Bi Either), Bind m, Monad m) => Braided (Kleisli m) (Bi Either) | |
| (Associative (Cokleisli w) (Bi (,)), Extend w, Comonad w) => Braided (Cokleisli w) (Bi (,)) |
kleisliBraid :: (Monad m, Semifunctor p (Product (Kleisli m) (Kleisli m)) (Kleisli m), Braided (->) p) => Kleisli m (p (a, b)) (p (b, a))Source
cokleisliBraid :: (Extend w, Comonad w, Semifunctor p (Product (Cokleisli w) (Cokleisli w)) (Cokleisli w), Braided (->) p) => Cokleisli w (p (a, b)) (p (b, a))Source
class Braided k p => Symmetric k p Source
Instances
| Symmetric (->) (Bi Either) | |
| Symmetric (->) (Bi (,)) | |
| (Braided (Kleisli m) (Bi (,)), Bind m, Monad m) => Symmetric (Kleisli m) (Bi (,)) | |
| (Braided (Kleisli m) (Bi Either), Bind m, Monad m) => Symmetric (Kleisli m) (Bi Either) | |
| (Braided (Cokleisli w) (Bi (,)), Extend w, Comonad w) => Symmetric (Cokleisli w) (Bi (,)) |