semigroupoid-extras-5: Semigroupoids that depend on PolyKinds

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
PortabilityMPTCs, GADTs
Safe HaskellSafe
LanguageHaskell98

Data.Semifunctor.Associative

Description

 

Documentation

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

Minimal complete definition

associate

Methods

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

Instances

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

Methods

associate :: Bi * * (,) (p ((Kleisli m, Kleisli m) (p ((Kleisli m, Kleisli m) a b)) c)) (p ((Kleisli m, Kleisli m) a (p ((Kleisli m, Kleisli m) b c)))) #

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

Methods

associate :: Bi * * Either (p ((Kleisli m, Kleisli m) (p ((Kleisli m, Kleisli m) a b)) c)) (p ((Kleisli m, Kleisli m) a (p ((Kleisli m, Kleisli m) b c)))) #

Associative * ((->) LiftedRep LiftedRep) (Bi * * Either) # 
Associative * ((->) LiftedRep LiftedRep) (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))) #

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

Minimal complete definition

disassociate

Methods

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

Instances

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

Methods

disassociate :: Bi * * (,) (p ((Kleisli m, Kleisli m) a (p ((Kleisli m, Kleisli m) b c)))) (p ((Kleisli m, Kleisli m) (p ((Kleisli m, Kleisli m) a b)) c)) #

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

Methods

disassociate :: Bi * * Either (p ((Kleisli m, Kleisli m) a (p ((Kleisli m, Kleisli m) b c)))) (p ((Kleisli m, Kleisli m) (p ((Kleisli m, Kleisli m) a b)) c)) #

Disassociative * ((->) LiftedRep LiftedRep) (Bi * * Either) # 
Disassociative * ((->) LiftedRep LiftedRep) (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)) #