Copyright	(C) 2011-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	MPTCs, GADTs
Safe Haskell	Safe
Language	Haskell98

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

(Bind m, Monad m) => Associative (Kleisli m :: Type -> Type -> Type) (Bi (,)) #
Instance details Defined in Data.Semifunctor.Associative Methods associate :: Kleisli m (Bi (,) (Bi (,) (a, b), c)) (Bi (,) (a, Bi (,) (b, c))) #
(Bind m, Monad m) => Associative (Kleisli m :: Type -> Type -> Type) (Bi Either) #
Instance details Defined in Data.Semifunctor.Associative Methods associate :: Kleisli m (Bi Either (Bi Either (a, b), c)) (Bi Either (a, Bi Either (b, c))) #
Associative ((->) :: Type -> Type -> Type) (Bi Either) #
Instance details Defined in Data.Semifunctor.Associative Methods associate :: Bi Either (Bi Either (a, b), c) -> Bi Either (a, Bi Either (b, c)) #
Associative ((->) :: Type -> Type -> Type) (Bi (,)) #
Instance details Defined in Data.Semifunctor.Associative Methods associate :: Bi (,) (Bi (,) (a, b), c) -> Bi (,) (a, Bi (,) (b, c)) #

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

Methods

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

Instances

(Bind m, Monad m) => Disassociative (Kleisli m :: Type -> Type -> Type) (Bi (,)) #
Instance details Defined in Data.Semifunctor.Associative Methods disassociate :: Kleisli m (Bi (,) (a, Bi (,) (b, c))) (Bi (,) (Bi (,) (a, b), c)) #
(Bind m, Monad m) => Disassociative (Kleisli m :: Type -> Type -> Type) (Bi Either) #
Instance details Defined in Data.Semifunctor.Associative Methods disassociate :: Kleisli m (Bi Either (a, Bi Either (b, c))) (Bi Either (Bi Either (a, b), c)) #
Disassociative ((->) :: Type -> Type -> Type) (Bi Either) #
Instance details Defined in Data.Semifunctor.Associative Methods disassociate :: Bi Either (a, Bi Either (b, c)) -> Bi Either (Bi Either (a, b), c) #
Disassociative ((->) :: Type -> Type -> Type) (Bi (,)) #
Instance details Defined in Data.Semifunctor.Associative Methods disassociate :: Bi (,) (a, Bi (,) (b, c)) -> Bi (,) (Bi (,) (a, b), c) #

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