Data.Semifunctor.Associative

Documentation

class Semifunctor p (Product k k) k => Associative k p where

Methods

associate :: k (p (p (a, b), c)) (p (a, p (b, c)))

Instances

Associative (->) (Bi Either)

Associative (->) (Bi (,))

(Bind m, Monad m) => Associative (Kleisli m) (Bi (,))

(Bind m, Monad m) => Associative (Kleisli m) (Bi Either)

Comonad m => Associative (Cokleisli m) (Bi (,))

kleisliAssociate :: (Monad m, Semifunctor p (Product (Kleisli m) (Kleisli m)) (Kleisli m), Associative (->) p) => Kleisli m (p (p (a, b), c)) (p (a, p (b, c)))

cokleisliAssociate :: (Comonad m, Semifunctor p (Product (Cokleisli m) (Cokleisli m)) (Cokleisli m), Associative (->) p) => Cokleisli m (p (p (a, b), c)) (p (a, p (b, c)))

class Semifunctor p (Product k k) k => Disassociative k p where

Methods

disassociate :: k (p (a, p (b, c))) (p (p (a, b), c))

Instances

Disassociative (->) (Bi Either)

Disassociative (->) (Bi (,))

(Bind m, Monad m) => Disassociative (Kleisli m) (Bi (,))

(Bind m, Monad m) => Disassociative (Kleisli m) (Bi Either)

Comonad m => Disassociative (Cokleisli m) (Bi (,))

kleisliDisassociate :: (Monad m, Semifunctor p (Product (Kleisli m) (Kleisli m)) (Kleisli m), Disassociative (->) p) => Kleisli m (p (a, p (b, c))) (p (p (a, b), c))

cokleisliDisassociate :: (Comonad m, Semifunctor p (Product (Cokleisli m) (Cokleisli m)) (Cokleisli m), Disassociative (->) p) => Cokleisli m (p (a, p (b, c))) (p (p (a, b), c))