Data.Semifunctor.Braided

Documentation

class Associative k p => Braided k p where

Methods

braid :: k (p (a, b)) (p (b, a))

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))

cokleisliBraid :: (Extend w, Comonad w, Semifunctor p (Product (Cokleisli w) (Cokleisli w)) (Cokleisli w), Braided (->) p) => Cokleisli w (p (a, b)) (p (b, a))

class Braided k p => Symmetric k p

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 (,))

swap :: Symmetric k p => k (p (a, b)) (p (b, a))