Control.Monad.Graph

Documentation

class GApplicative m => GMonad m where

Minimal complete definition

gbind

Associated Types

type Bind m (i :: p) (j :: p) :: p

type Join m (i :: p) (j :: p) :: p

Methods

gbind :: Inv m i j => m i a -> (a -> m j b) -> m (Bind m i j) b

gjoin :: Inv m i j => m i (m j b) -> m (Join m i j) b

gjoin :: (Bind m i j ~ Join m i j, Inv m i j) => m i (m j b) -> m (Join m i j) b

Instances

Monad m => GMonad * (GWrapped m)

Associated Types

type Bind (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

type Join (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

Methods

gbind :: Inv (GWrapped m) m i j => m i a -> (a -> m j b) -> m (Bind (GWrapped m) m i j) b

gjoin :: Inv (GWrapped m) m i j => m i (m j b) -> m (Join (GWrapped m) m i j) b