| Portability | MPTCs, GADTs |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Data.Semifunctor.Associative
Description
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) | |
| (Extend m, 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) | |
| (Extend m, 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))