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

(Bind m, Monad m) => Braided * (Kleisli m) (Bi * * (,))

(Bind m, Monad m) => Braided * (Kleisli m) (Bi * * Either)

kleisliBraid :: (Monad m, Semifunctor p (Product (Kleisli m) (Kleisli m)) (Kleisli m), Braided (->) p) => Kleisli m (p `(a, b)`) (p `(b, a)`)

class Braided k p => Symmetric k p

Instances

Symmetric * (->) (Bi * * Either)

Symmetric * (->) (Bi * * (,))

(Bind m, Monad m) => Symmetric * (Kleisli m) (Bi * * (,))

(Bind m, Monad m) => Symmetric * (Kleisli m) (Bi * * Either)

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